Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Software testing based on formal specifications: a theory and a tool
Software Engineering Journal
Precise Documentation of Well-Structured Programs
IEEE Transactions on Software Engineering
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
Component-based development for enterprise systems: applying the SELECT perspective
Component-based development for enterprise systems: applying the SELECT perspective
Generating test data from SOFL specifications
Journal of Systems and Software
Large-Scale, Component Based Development
Large-Scale, Component Based Development
Software Inspection: An Industry Best Practice for Defect Detection and Removal
Software Inspection: An Industry Best Practice for Defect Detection and Removal
Interacting Frameworks in Catalysis
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
Component-based Software Testing With Uml
Component-based Software Testing With Uml
Realising the benefits of formal methods
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
An automated approach to specification-based program inspection
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Optimizing cost and quality by integrating inspection and test processes
Proceedings of the 2011 International Conference on Software and Systems Process
A systematic mapping study on the combination of static and dynamic quality assurance techniques
Information and Software Technology
| Hi-index | 0.00 |
The reliability of software components is the most important quality required for software systems constructed using component-based development paradigm. This paper describes an approach to integrating formal specification, review, and testing for software component quality assurance. In this approach, requirements errors can be removed and missing requirements can be identified by formalizing requirements into a formal specification, and the resulting specification can then be used as a firm foundation for a rigorous review and testing of the program that is intended to provide a correct implementation. We discuss how formalization, review, and testing work together at different levels of software development for improving software quality through detecting and removing errors in documentation.