Formal Automated Analysis of Object Oriented Software Models

A. Tircuit (USA)

Keywords

Objectoriented design, design analysis, formal design, formal analysis

Abstract

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