LePUS3: An Object-Oriented Design Description Language

  • Epameinondas Gasparis
  • Jonathan Nicholson
  • Amnon H. Eden
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5223)


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 that can specify effectively and precisely design patterns and the design of JavaTM (C++, Smalltalk, etc.) programs at any level of abstraction.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Eden, A.H., Gasparis, E., Nicholson, J.: LePUS3 and Class-Z Reference Manual. University of Essex, Tech. Rep. CSM-474, ISSN 1744-8050 (2007)Google Scholar
  2. 2.
    Nicholson, J., Eden, A.H., Gasparis, E.: Verification of LePUS3/Class-Z Specifications: Sample models and Abstract Semantics for Java 1.4. University of Essex, Tech. Rep. CSM-471, ISSN 1744-8050 (2007)Google Scholar
  3. 3.
    Gasparis, E., Eden, A.H., Nicholson, J., Kazman, R.: The Design Navigator: Charting Java Programs. In: 30th Int’l Conf. Software Engineering, Leipzig, Germany, May 10–18 (2008)Google Scholar
  4. 4.
  5. 5.
    Gasparis, E., Eden, A.H.: Design mining in LePUS3/Class-Z: search space and abstraction/concretization operators. University of Essex, Tech. Rep. CSM-473, ISSN 1744-8050 (2007)Google Scholar
  6. 6.
    Gamma, E., et al.: Design patterns: elements of reusable object-oriented software. Addison-Wesley, Boston (1995)Google Scholar
  7. 7.
    Wing, J.M.: A Specifier’s Introduction to Formal Methods. Computer 23(8), 8–24 (1990)MathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Epameinondas Gasparis
    • 1
  • Jonathan Nicholson
    • 1
  • Amnon H. Eden
    • 1
    • 2
  1. 1.The Two-Tier Programming Project, Department of Computing & Electronic SystemsUniversity of EssexUnited Kingdom
  2. 2.Centre for Inquiry, AmherstNYUSA

Personalised recommendations