Abstract
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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
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.
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)
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)
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)
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)
Gamma, E., et al.: Design patterns: elements of reusable object-oriented software. Addison-Wesley, Boston (1995)
Wing, J.M.: A Specifier’s Introduction to Formal Methods. Computer 23(8), 8–24 (1990)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gasparis, E., Nicholson, J., Eden, A.H. (2008). LePUS3: An Object-Oriented Design Description Language. In: Stapleton, G., Howse, J., Lee, J. (eds) Diagrammatic Representation and Inference. Diagrams 2008. Lecture Notes in Computer Science(), vol 5223. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87730-1_37
Download citation
DOI: https://doi.org/10.1007/978-3-540-87730-1_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87729-5
Online ISBN: 978-3-540-87730-1
eBook Packages: Computer ScienceComputer Science (R0)