2810 search results - page 15 / 562 » Contract-Based Component System Design |
ENTCS
2007
14 years 10 months 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 ...
SEFM
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper, we introduce a component-based design methodology and present a practical analysis approach that makes use of the modular nature of component-based designs to allev...
EDOC
2003
IEEE
15 years 4 months ago
2003
IEEE
Distributed systems are inherently complex, and therefore difficult to design and develop. Experience shows that new technologies—such as components, aspects, and application f...
101
click to vote
EMSOFT
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
EURODAC
1990
IEEE
15 years 2 months ago
1990
IEEE
This paper discusses the selection of available components during high-level synthesis. We stress the importance of describing the behaviour of available components in some langua...