1202 search results - page 9 / 241 » Sortings for Reactive Systems |
163
click to vote
ACSD
2001
IEEE
15 years 9 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...
184
click to vote
COMPSAC
2006
IEEE
15 years 12 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...
164
click to vote
B
1998
Springer
15 years 10 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...
121
click to vote
WSC
1997
15 years 7 months 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 ...