5668 search results - page 867 / 1134 » Overlaps in Requirements Engineering |
195
click to vote
ISORC
2006
IEEE
16 years 23 days ago
2006
IEEE
Many real-time applications, such as traffic control systems, surveillance systems and health monitoring systems, need to operate on continuous unbounded streams of data. These ap...
197
click to vote
ISSRE
2006
IEEE
16 years 23 days ago
2006
IEEE
—Graphical user interfaces (GUIs) are used as front ends to most of today’s software applications. The event-driven nature of GUIs presents new challenges for testing. One impo...
142
click to vote
SEW
2006
IEEE
16 years 23 days ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
158
click to vote
WISE
2006
Springer
16 years 23 days ago
2006
Springer
As the service-oriented computing paradigm and its related technologies mature, it is expected that electronic services will continue to grow in numbers. In such a setting, the cou...
180
click to vote
DAC
2006
ACM
16 years 22 days ago
2006
ACM
Several emerging Design-for-Debug (DFD) methodologies are addressing silicon debug by making internal signal values and other data observable. Most of these methodologies require ...