The Z notation: a reference manual
The Z notation: a reference manual
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Communications of the ACM
ACM Computing Surveys (CSUR)
The Interpretation of Object-Oriented Programming Languages
The Interpretation of Object-Oriented Programming Languages
Logic in Computer Science: Modelling and Reasoning about Systems
Logic in Computer Science: Modelling and Reasoning about Systems
Automatic verification of design patterns in Java
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Software engineering and formal methods
Communications of the ACM - Enterprise information integration: and other tools for merging data
Design Pattern Formalization Techniques
Design Pattern Formalization Techniques
Computable Models
Codecharts: Roadmaps and blueprints for object-oriented programs
Codecharts: Roadmaps and blueprints for object-oriented programs
Hi-index | 0.00 |
LePUS3 is a formal design description language for specifying decidable (i.e. automatically verifiable) properties of object-oriented design. LePUS3 has been successfully applied to both design verification and reverse engineering applications. However, LePUS3 is becoming over zealously pragmatic. Its current definition is inflexible, limiting is expressivity, extensibility and reasoning capabilities. We present a new theory of classes derived from the theoretical foundations of LePUS3, and defined in the Typed Predicate Logic. The expressive power of our theory is demonstrated by specifying and reasoning over design patterns.