A methodology for certification of modeling and simulation applications
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Programming Rule Static Verification for Reliable Software
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Quality assessment of knowledge-based software: some certification considerations
ISESS '97 Proceedings of the 3rd International Software Engineering Standards Symposium (ISESS '97)
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Proceedings of the 35th conference on Winter simulation: driving innovation
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Verification of instrumentation techniques for resource management of real-time systems
Journal of Systems and Software
Hi-index | 0.00 |
From the Publisher:With the increasing focus on software quality and standards such as ISO 9000, achieving certification is now crucial for all software products. This book, derived from the ESPRIT project Software Certification Programme in Europe (SCOPE), aims to apply software engineering techniques to software assessment and certification, based on "state of the art" research and practice. It is a comprehensive reference to the issues, techniques and standards involved in software assessment, as well as the associated legal issues. Lists of standards and contact addresses are also included.