LePUS3 [1] (lepus.org.uk) is a logic, visual, object-oriented Design Description Language: a formal specification language designed to capture and convey the building-blocks of object-oriented design. LePUS3 minimal vocabulary constitutes of abstraction mechanisms...

2010年6月5日 · The LePus3 is the only diagram language that is formalized and simultaneously adapted for metathinking. On the other hand, using of LePus3 requires very much greater intellect. The level difference between them is great.

2008年9月19日 · 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.

building-blocks of object-oriented design. LePUS3 minimal vocabulary constitutes of abstraction mechanisms that can specify effectively and precisely design patterns and the design of JavaTM (C++, Smalltalk, etc.) programs at any level of abstraction. LePUS3 was tailored to integrate the strength of other specification and modelling

LePUS3: An Object-Oriented Design Description Language Authors : Epameinondas Gasparis , Jonathan Nicholson , Amnon H. Eden Authors Info & Claims Diagrams '08: Proceedings of the 5th international conference on Diagrammatic Representation and Inference

2010年6月24日 · LePUS3 is a specification and modelling language designed to capture the building blocks of O-O design at different levels of abstraction.

Class-Z and LePUS3 are equivalent: Every specification in LePUS3 is equivalent to one encoded in Class-Z and vice versa, the difference being that LePUS3 is a visual language (a specification...

2008年9月19日 · LePUS3 is a specification and modelling language designed to capture the building blocks of O-O design at different levels of abstraction.

We demonstrate how LePUS3 is used to formally specify a structural design pattern and prove (`verify') whether any JavaTM1.4 program satises that specication. We also show how LePUS3 specications (charts) are composed and how they are veried fully automatically in the Two-Tier Programming Toolkit.

LePUS3 is a promising formal and visual design description language for the decidable aspects of object-oriented design. Our theory fixes many of the criticisms of LePUS3 and is also more expressive, rigorous, and extensible.