367 search results - page 62 / 74 » Industrial validation of COVAMOF |
191
click to vote
ISSRE
2007
IEEE
15 years 7 months ago
2007
IEEE
In industrial practice, information on the software field quality of a product is available too late in the software lifecycle to guide affordable corrective action. An important ...
150
click to vote
CCE
2008
2008
A hierarchical decision procedure for productivity innovation in large-scale petrochemical processes
15 years 6 months ago
Maintaining the best quality is essential for the survival of a company in a globally competitive world. Six Sigma activity has been widely accepted as one of the most efficient a...
160
click to vote
DATE
2009
IEEE
16 years 18 days ago
2009
IEEE
As industry moves towards many-core chips, networks-on-chip (NoCs) are emerging as the scalable fabric for interconnecting the cores. With power now the first-order design constr...
161
click to vote
ICST
2008
IEEE
16 years 8 days ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
179
click to vote
VMCAI
2004
Springer
15 years 11 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...