1202 search results - page 9 / 241 » Sortings for Reactive Systems |
ACSD
2001
IEEE
14 years 2 months ago
2001
IEEE
This paper describes a new way of testing reactive systems as investigated by the RATE-project at the Tampere University of Technology. We abandon the idea of systematically using...
RTCSA
1996
IEEE
14 years 3 months ago
1996
IEEE
COMPSAC
2006
IEEE
14 years 5 months ago
2006
IEEE
The Sage development method and associated tool set support an incremental, iterative, model-driven process to build and maintain high assurance, reactive multi-agent systems. A s...
B
1998
Springer
14 years 3 months ago
1998
Springer
Reactive systems can be designed graphically using statecharts. This paper presents a scheme for the translation of statecharts into the Abstract Machine Notation (AMN) of the B me...
WSC
1997
14 years 6 days ago
1997
At a parcel delivery company, the items being shipped must be sorted by destination. However, the company typically serves more destinations than there are distinct positions for ...