227 search results - page 38 / 46 » Quantitative verification: models techniques and tools |
135
Voted
HCI
2009
14 years 11 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
125
Voted
TSE
2002
15 years 1 months ago
2002
A number of papers have investigated the relationships between design metrics and the detection of faults in object-oriented software. Several of these studies have shown that suc...
104
Voted
BCSHCI
2007
15 years 3 months ago
2007
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...
108
click to vote
EMSOFT
2008
Springer
15 years 3 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
106
click to vote
ICS
2005
Tsinghua U.
15 years 7 months ago
2005
Tsinghua U.
Performance simulation tools must be validated during the design process as functional models and early hardware are developed, so that designers can be sure of the performance of...