16725 search results - page 306 / 3345 » Engineering Software Correctness |
130
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
135
click to vote
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Real-time, reactive, and embedded systems are increasingly used throughout society (e.g., flight control, railway signaling, vehicle management, medical devices, and many others)....
185
click to vote
ADAEUROPE
2007
Springer
15 years 10 months ago
2007
Springer
The testing of programs in wireless sensor networks (WSN) is an important means to assure quality but is a challenging process. As pervasive computing has been identified as a not...
102
Voted
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
In this paper we argue that the gap between Software Engineering and Human-Computer Interaction should be closed through the integration of usability engineering and requirements ...