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] ( 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.


Design Pattern Java Program Visual Language Sign Navigation Program Visualization 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


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