16725 search results - page 2614 / 3345 » Engineering Software Correctness |
200
click to vote
EMSOFT
2004
Springer
16 years 25 days ago
2004
Springer
Mechatronic systems are embedded software systems with hard real-time requirements. Predictability is of paramount importance for these systems. Thus, their design has to take the...
195
click to vote
IUI
2003
ACM
16 years 21 days ago
2003
ACM
This paper describes lessons learned in developing the linguistic, cognitive, emotional, and gestural models underlying virtual human behavior in a training application designed t...
247
click to vote
ICSE
2003
IEEE-ACM
16 years 19 days ago
2003
IEEE-ACM
Functional requirements contain, and systems exhibit, the behavior summarized below.Despite the advances in software engineering since 1968, how to go from a set of functional req...
176
click to vote
COMPSAC
2002
IEEE
16 years 12 days ago
2002
IEEE
Architecture has been identified as a main tool for high quality system development. It encapsulates the earliest design decisions of the system under development. These decisions...
218
click to vote
ISSRE
2002
IEEE
16 years 10 days ago
2002
IEEE
A number of strategies have been proposed for state-based class testing. An important proposal was made by Chow [5] and adapted by Binder [3]: It consists in deriving test sequenc...