1308 search results - page 102 / 262 » Application of Hazard Analysis to Software Quality Modelling |
153
Voted
KBSE
2005
IEEE
15 years 9 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...
136
Voted
ICDAR
2005
IEEE
15 years 9 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 ...
149
Voted
SEW
2005
IEEE
15 years 9 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...
128
Voted
COMPSAC
2008
IEEE
15 years 3 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...
138
Voted
CODES
2000
IEEE
15 years 8 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...