8587 search results - page 1515 / 1718 » Interactive dynamic abstraction |
141
Voted
FMCO
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
129
Voted
FTRTFT
2000
Springer
15 years 7 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
126
Voted
HYBRID
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
130
click to vote
ICSR
2000
Springer
15 years 7 months ago
2000
Springer
Often product line engineering is treated similar to the waterfall model in traditional software engineering, i.e., the different phases (scoping, analysis, architecting, implemen...
137
click to vote
PRICAI
2000
Springer
15 years 7 months ago
2000
Springer
Current research identifying architectures for a virtual enterprise has moved from information modelling to role modelling. Thus, a high level of autonomy results from the distribu...