An experimental evaluation of the assumption of independence in multiversion programming
IEEE Transactions on Software Engineering
Specifying operational profiles for modules
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Precise Documentation of Well-Structured Programs
IEEE Transactions on Software Engineering
Functional documents for computer systems
Science of Computer Programming
Tabular representations in relational documents
Relational methods in computer science
Using Test Oracles Generated from Program Documentation
IEEE Transactions on Software Engineering
Active design reviews: principles and practices
ICSE '85 Proceedings of the 8th international conference on Software engineering
Software fundamentals: collected papers by David L. Parnas
Software fundamentals: collected papers by David L. Parnas
Requirements-Based Monitors for Real-Time Systems
IEEE Transactions on Software Engineering
A Discipline of Programming
Using information about functions in selecting test cases
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Communications of the ACM
Specifying Software Requirements for Complex Systems: New Techniques and Their Application
IEEE Transactions on Software Engineering
The N-Version Approach to Fault-Tolerant Software
IEEE Transactions on Software Engineering
Really Rethinking 'Formal Methods'
Computer
Defining the meaning of tabular mathematical expressions
Science of Computer Programming
From Requirements to Architecture
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
One Graph to Rule Them All Software Measurement and Management
Fundamenta Informaticae - Concurrency, Specification and Programming
| Hi-index | 0.00 |
The use of mathematics for documenting, inspecting, and testing software is explained and illustrated. Three measures of software quality are described and discussed. Then three distinct complementary approaches to software quality assurance are presented. A case study, the testing and inspection of a safety-critical system, is discussed in detail.