2810 search results - page 127 / 562 » Contract-Based Component System Design |
125
click to vote
RISE
2005
Springer
15 years 8 months ago
2005
Springer
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...
115
click to vote
FBT
1998
15 years 4 months ago
1998
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
167
click to vote
KBSE
2002
IEEE
15 years 8 months ago
2002
IEEE
Engineering individual components of a multi-agent system and their interactions is a complex and error-prone task in urgent need of methods and tools. Prototyping is a valuable t...
126
click to vote
COORDINATION
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
114
click to vote
CAISE
2001
Springer
15 years 7 months ago
2001
Springer
Information System Engineering has become under increasing pressure to come up with software solutions that endow systems with the agility that is required to evolve in a continual...