Enhancing Competitiveness via a Public Fault & Failure Data Repository
HASE '98 The 3rd IEEE International Symposium on High-Assurance Systems Engineering
Using Model Checking to Generate Tests from Specifications
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
A methodology for certification of modeling and simulation applications
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Bringing J2ME industry practice into the classroom
Proceedings of the 35th SIGCSE technical symposium on Computer science education
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Hi-index | 0.00 |
Accessible, rigorous measurement and test methods are key to creating quality software and increasing IT market competition. At the US National Institute of Standards and Technology's Information Technology Laboratory, work focuses on establishing comprehensive certification capability for the IT industry. This article describes NIST's work and how it can be applied