1537 search results - page 62 / 308 » Domain-Specific Software Component Models |
134
click to vote
TSE
2008
15 years 2 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
117
click to vote
IFIPTCS
2000
15 years 6 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
107
Voted
PEPM
2004
ACM
15 years 8 months ago
2004
ACM
To our point of view, adaptability is a key characteristic of components and should be at the heart of any proper component model. However, contrarily to the object crystal-box mod...
119
Voted
EDOC
2002
IEEE
15 years 7 months ago
2002
IEEE
The EC funded COMBINE Project has the objective of dramatically improving software development productivity by providing a holistic approach to component-based development of Ente...
112
Voted
WISE
2007
Springer
15 years 8 months ago
2007
Springer
Nowadays information systems are increasingly distributed and deployed within the Internet platform. Without any doubt, the World Wide Web represents the de facto standard platform...