1308 search results - page 102 / 262 » Application of Hazard Analysis to Software Quality Modelling |
192
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
171
click to vote
ICDAR
2005
IEEE
15 years 12 months ago
2005
IEEE
Recently, high resolution digital cameras have made the digitization process more flexible and convenient than traditional scanning technology. Therefore, document image analysis ...
184
click to vote
SEW
2005
IEEE
15 years 12 months ago
2005
IEEE
Dealing with dependability requirements is a complex task for stakeholders and analysts as many different aspects of a system must be taken into account at the same time: services...
161
click to vote
COMPSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
Model-driven engineering proposes to develop software systems by first creating an executable model of the system design and then transforming this model into an implementation. T...
173
click to vote
CODES
2000
IEEE
15 years 10 months ago
2000
IEEE
The concept of system-on-a-chip is becoming increasingly popular for the integration of complex systems. New types of processor cores are now available that enable the designer to...