564 search results - page 7 / 113 » Do interactive systems need specifications |
EOR
2007
13 years 10 months ago
2007
The Mobile Emergency Triage (MET) system is a clinical triage support system that aids physicians in making triage decisions as to whether a child presenting in the Emergency Depa...
ATAL
2008
Springer
14 years 27 days ago
2008
Springer
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...
OPODIS
2004
14 years 8 days ago
2004
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
FASE
2004
Springer
14 years 2 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
BIRTHDAY
2007
Springer
14 years 2 months ago
2007
Springer
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...