147 search results - page 13 / 30 » Interface Grammars for Modular Software Model Checking |
SLE
2009
Springer
14 years 2 months ago
2009
Springer
As domain-specific modeling begins to attract widespread acceptance, pressure is increasing for the development of new domainspecific languages. Unfortunately these DSLs typicall...
EMSOFT
2001
Springer
14 years 1 days 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...
FASE
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
APPINF
2003
13 years 9 months ago
2003
Evolution of existing large telecommunications software currently became an important issue. Efficient methods are needed to componentize existing software identify existing compo...
WSC
2000
13 years 9 months ago
2000
An advanced processing machine interacts with the material handling system, personnel and cell or shop floor controller in real-time via messaging and control. However, current si...