16725 search results - page 306 / 3345 » Engineering Software Correctness |
197
click to vote
COMPSAC
2002
IEEE
16 years 6 days 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...
180
click to vote
SIGSOFT
2003
ACM
16 years 8 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)....
241
click to vote
ADAEUROPE
2007
Springer
16 years 1 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...
150
click to vote
ICSE
2003
IEEE-ACM
16 years 7 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 ...