525 search results - page 2 / 105 » Interface Theories for Component-Based Design |
ATVA
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
ENTCS
2002
13 years 4 months ago
2002
Component-oriented software development is becoming more and more important for the production of large-scale software applications. Today's systems are constructed by combin...
EUROMICRO
2006
IEEE
13 years 11 months ago
2006
IEEE
— We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method ...
DIAGRAMS
2004
Springer
13 years 10 months ago
2004
Springer
— Smart Diagram Environments (SDEs) are software applications that use structured diagrams to provide a natural visual interface that behaves as if the computer “understands”...
ICWE
2009
Springer
13 years 2 months ago
2009
Springer
Mashup applications combine pieces of functionality from several existing, heterogeneous sources to provide new integrated functionality. This paper presents the design of an enter...