Formal Automated Analysis of Object Oriented Software Models

A. Tircuit (USA)


Object-oriented design, design analysis, formal design, formal analysis


This paper presents a method of formally representing and analyzing object-oriented software designs. The framework for formal design analysis uses set notation to represent the design and properties constructed from set operations to analyze the design. The method is implemented via an automated analysis program.

Important Links:

Go Back