17 search results - page 2 / 4 » rCOS: Refinement of Component and Object Systems |
CBSE
2008
Springer
13 years 7 months ago
2008
Springer
Efficiency with respect to energy consumption has increasingly been recognized as an important quality attribute for distributed software systems in embedded and pervasive environm...
OMER
2001
13 years 6 months ago
2001
: This paper shows how architecture description languages can be tailored to the design of embedded automotive control software. Furthermore, graphical modeling means are put in an...
ECOOPW
1999
Springer
13 years 9 months ago
1999
Springer
As the properties of components have gradually become clearer, attention has started to turn to the architectural issues which govern their interaction and composition. In this pa...
IWFM
1998
13 years 6 months ago
1998
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
WSC
1997
13 years 6 months ago
1997
Creating comprehensive simulation models can be expensive and time consuming. This paper discusses our efforts to develop a general methodology that will allow users to quickly an...