4890 search results - page 5 / 978 » From system specifications to component behavioral models |
TROB
2002
13 years 7 months ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...
SOSYM
2010
13 years 6 months ago
2010
: The specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema c...
ICCSA
2007
Springer
13 years 11 months ago
2007
Springer
Coupled systems comprise multiple interacting subsystems and are an increasingly common computational science application, most notably as multiscale and multiphysics models. Paral...
CBSE
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
ACMSE
2004
ACM
14 years 1 months ago
2004
ACM
Component-based software development has become an important approach to building complex software systems. Much research focuses on component specification to achieve the advanta...