Cleanroom Software Development: An Empirical Evaluation
IEEE Transactions on Software Engineering
Active design reviews: principles and practices
Journal of Systems and Software
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
IEEE Software
The ASTOOT approach to testing object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS
IEEE Transactions on Software Engineering
Completeness and Consistency in Hierarchical State-Based Requirements
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
Evolving and packaging reading technologies
Journal of Systems and Software - Special issue on achieving quality in software
Experiences Using Lightweight Formal Methods for Requirements Modeling
IEEE Transactions on Software Engineering
Exploring the semantics of UML type structures with Z
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
The Rational Unified Process: an introduction
The Rational Unified Process: an introduction
The UML as a formal modeling notation
Computer Standards & Interfaces - Special issue on semantics in specifications
An experimental comparison of reading techniques for defect detection in UML design documents
Journal of Systems and Software
Systematic object-oriented inspection — an empirical study
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A general framework for formalizing UML with formal languages
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Software Inspection
Hierarchical Automata as Model for Statecharts
ASIAN '97 Proceedings of the Third Asian Computing Science Conference on Advances in Computing Science
LSCs: Breathing Life into Message Sequence Charts
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Towards a Formal Operational Semantics of UML Statechart Diagrams
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
A UML-Based Approach to System Testing
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Reasoning with UML Class Diagrams
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
An Integrated V&V Environment for Critical Systems Development
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Java Quality Assurance by Detecting Code Smells
WCRE '02 Proceedings of the Ninth Working Conference on Reverse Engineering (WCRE'02)
The Development and Evaluation of Three Diverse Techniques for Object-Oriented Code Inspection
IEEE Transactions on Software Engineering
A transition-based strategy for object-oriented software testing
Proceedings of the 2003 ACM symposium on Applied computing
An integrated framework for formal development of open distributed systems
Proceedings of the 2003 ACM symposium on Applied computing
Information and Software Technology
Hi-index | 0.00 |
In this paper, we propose a development framework that extends the scope of structured review by supplementing the structured review with model-based verification. The proposed approach uses the Unified Modeling Language (UML) as a modeling notation. We discuss a set of correctness arguments that can be used in conjunction with formal verification and validation (V&V) in order to improve the quality and dependability of systems in a cost-effective way. Formal methods can be esoteric; consequently, their large scale application is hindered. We propose a framework based on the integration of lightweight formal methods and structured reviews. Moreover, we show that structured reviews enable us to handle aspects of V&V that cannot be fully automated. To demonstrate the feasibility of our approach, we have conducted a study on a security-critical system驴a patient document service (PDS) system.