Professional Documents
Culture Documents
Lepus3: Presentation by Aden Bin Farrukh & Syed Mohammad Sohaib Abbass
Lepus3: Presentation by Aden Bin Farrukh & Syed Mohammad Sohaib Abbass
PRESENTATION BY
ADEN BIN FARRUKH & SYED MOHAMMAD SOHAIB ABBASS
LePUS3
• LEPUS3 IS A LANGUAGE FOR MODELLING AND VISUALIZING OBJECT-
ORIENTED (JAVA, C++, C#) PROGRAMS AND DESIGN PATTERNS.
Scalability: To model large-scale programs using small Codecharts with only few symbols
A diagram in LePUS3 is also called a Codechart.
Rigour: To allow software designers to be sure exactly what Codecharts represent and
reason rigorously about them
01 02 03
Create LePUS3 Automatically verify the Reverse-
specifications consistency of LePUS3 Engineer Codecharts from
(Codecharts) Codecharts with Java 1.4 Java source code.
programs
Advantages
It is both a formal specification language (like Z Spec) and a visual modelling language
(like UML).
Models in LeSUP3 i.e. Codecharts can be reverse engineered from Java code
It is easier and less complex to use since it has only 15 tokens in its vocabulary
References
Eden, A.H., Gasparis, E., Nicholson, J.: LePUS3 and Class-Z Reference Manual.
University of Essex, Tech. Rep. CSM-474, ISSN 1744-8050 (2007)