Communicating sequential processes
Communicating sequential processes
Defining and Validating Measures for Object-Based High-Level Design
IEEE Transactions on Software Engineering
An open graph visualization system and its applications to software engineering
Software—Practice & Experience - Special issue on discrete algorithm engineering
Behavior-consistent specialization of object life cycles
ACM Transactions on Software Engineering and Methodology (TOSEM)
Testing Computer Software
Inconsistency Handling in Multi-Perspective Specifications
ESEC '93 Proceedings of the 4th European Software Engineering Conference on Software Engineering
The UML as a Formal Modeling Notation
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
Reasoning with UML Class Diagrams
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Heterogeneous view integration and its automation
Heterogeneous view integration and its automation
Formal object oriented design and analysis
Formal object oriented design and analysis
| Hi-index | 0.00 |
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.