Object-oriented software engineering
Object-oriented software engineering
The Z notation: a reference manual
The Z notation: a reference manual
Object-oriented modeling and design
Object-oriented modeling and design
Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented development process and metrics
Object-oriented development process and metrics
Verification of object-oriented designs
Verification of object-oriented designs
The Unified Modeling Language user guide
The Unified Modeling Language user guide
The unified software development process
The unified software development process
Object Orientation in Z
PVS: A Prototype Verification System
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Unification and Consistency Verification of Object-Oriented Analysis Models
APSEC '98 Proceedings of the Fifth Asia Pacific Software Engineering Conference
Hi-index | 0.00 |
Validation entails methods to ascertain that the system built is the right one, whereas verification implies reaching a certain level of confidence in the correctness of the software system. Although there is substantial grey area in-between, validating a software system reduces to determining whether it meets the specified requirements. On the other hand, verification involves establishing that the software will work properly, both in terms of functionalities and in terms of satisfying certain properties, such as safety properties. Object-oriented software development brings about a new set of concepts, such as inheritance, polymorphism, and dynamic binding, calling for the emergence of a new set of analytical methodologies.