1890 search results - page 108 / 378 » A component model for building systems software |
DICS
2006
15 years 2 months ago
2006
Abstract. Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simpliabstract model of the system which is ...
ENTCS
2007
15 years 18 days ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
94
Voted
COODBSE
1994
15 years 1 months ago
1994
Software engineering research has focused primarily on software construction, neglecting software maintenance and evolution. Observed is a shift in research from synthesis to anal...
97
Voted
JLP
2006
15 years 18 days ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
121
click to vote
KBSE
1999
IEEE
15 years 5 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...