4919 search results - page 459 / 984 » A Process-Ontological Model for Software Engineering |
173
click to vote
KBSE
2006
IEEE
16 years 1 months ago
2006
IEEE
Hierarchical diagrams are well-suited for visualizing the structure and decomposition of complex systems. However, the current tools poorly support modeling, visualization and nav...
202
click to vote
APSEC
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
182
click to vote
SIGSOFT
2000
ACM
16 years 2 days ago
2000
ACM
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
237
click to vote
FOSSACS
1998
Springer
15 years 12 months ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...
208
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper discusses our approach to the problem of refining high-level simulation specifications. Our domain is simulated combat training for tank platoon members. Our input is a...