Pages in this site

• About LePUS3 and Class-Z
• Legend: Key to LePUS3 and Class-Z Symbols [.pdf]
• Reference Manual for LePUS3 & Class-Z [.pdf]
• Tutorial: Object-Oriented Modelling with LePUS3 and Class-Z [.pdf][.ppt]
• The 'Gang of Four' Companion: Formal specification of design patterns in LePUS3 and Class-Z [.pdf]
• Verification of LePUS3/Class-Z Specifications: Sample models and Abstract Semantics for Java 1.4 [.pdf]
  • Part I: Abstract Semantics for Java 1.4 Programs
  • Part II: Sample Models
  • Complete verification case study: The Iterator pattern

Publications and technical reports

Book (forthcoming)

• Amnon H. Eden, Jonathan Nicholson (in press). “Codecharts: Roadmaps and Blueprints for Object-Oriented Programs.” Hoboken, NJ: Wiley/Blackwell.

Papers

Most recent publications:

• Jonathan Nicholson, Epameinondas Gasparis, Amnon H. Eden, Rick Kazman. “Automated Verification of Design Patterns with LePUS3.” 1st NASA Formal Methods Symposium, Moffett Field, California, 6–8 April 2009
.
• Epameinondas Gasparis, Amnon H. Eden, Jonathan Nicholson, Rick Kazman. “The Design Navigator: Charting Java Programs.” Companion, 30th Int’l Conf. on Software Engineering—ICSE (10–18 May 2008), Leipzig, Germany, pp. 945–946.
• Epameinondas Gasparis, Jonathan Nicholson, Amnon H. Eden, Rick Kazman. “Navigating Through the Design of Object-Oriented Programs”. Tool demonstration, 15th Working Conf. on Reverse Engineering—WCRE (15–18 Oct. 2008), Antwerp, Belgium.
• Epameinondas Gasparis, Jonathan Nicholson, Amnon H. Eden. “LePUS3: An Object-Oriented Design Description Language”. In: Gem Stapleton et al. (eds.) DIAGRAMS 2008. LNAI 5223, pp. 364–367. Berlin: Springer, 2008.
• Gasparis, Epameinondas. “LePUS: A Formal Language for Modelling Design Patterns.” In: Toufic Taibi (ed.) Design Patterns Formalization Techniques. Hershey, USA: Idea Group Inc., 2007, pp. 357–372.

Dissertations:

• Jonathan Nicholson. “On the Theoretical Foundations of LePUS3 and its Application to Object-Oriented Design Verification.” PhD dissertation, School of Computer Science and Electronic Engineering, University of Essex (forthcoming).
• Epameinondas Gasparis. “Design Navigation: Recovering Design Charts from Object-Oriented Programs.” PhD dissertation, School of Computer Science and Electronic Engineering, University of Essex, 2010.
• Epameinondas Gasparis. “Visual Specification in LePUS.” MSc dissertation, Department of Computer Science, University of Essex, 2004.
• Amnon H. Eden. “Precise Specification of Design Patterns and Tool Support in Their Application.” PhD Dissertation, Department of Computer Science, Tel Aviv University, 2000.

Technical reports on the theoretical underpinnings

• Amnon H Eden, Epameinondas Gasparis, Jonathan Nicholson. “LePUS3 and Class-Z Reference Manual” Department of Computer Science, University of Essex, Tech. Rep. CSM-474, ISSN 1744-8050 (2007). [.pdf]
• Amnon H Eden, Epameinondas Gasparis, Jonathan Nicholson. “The 'Gang of Four' Companion: Formal specification of design patterns in LePUS3 and Class-Z.” Department of Computer Science, University of Essex, Tech. Rep. CSM-472, ISSN 1744-8050 (2007). [.pdf]
• Jonathan Nicholson, Amnon H Eden, Epameinondas Gasparis. “Verification of LePUS3/Class-Z Specifications: Sample models and Abstract Semantics for Java 1.4 (Part I; Part II).” Department of Computer Science, University of Essex, Tech. Rep. CSM-471, ISSN 1744-8050 (2007). [.pdf]
• Epameinondas Gasparis, Amnon H. Eden. “Design mining in LePUS3/Class-Z: search space and abstraction/concretization operators”. Department of Computer Science, University of Essex, Tech. Rep. CSM-473, ISSN 1744-8050 (2007).

Previous versions (LePUS, LePUS2)

• Epameinondas Gasparis. “LePUS2 User Guide.” Department of Computer Science, University of Essex, Tech. Rep. CSM-436, ISSN 1744-8050 (2006).
• Amnon H. Eden. “A Theory of Object-Oriented Design.” Information Systems Frontiers, Vol. 4, No. 4 (Nov.–Dec. 2002), pp. 379–391. Amsterdam, The Netherlands: Kluwer Academic Publishers [.pdf]
• Amnon H. Eden. “Formal Specification of Object-Oriented Design.” Proc. Int'l Conf. Multidisciplinary Design in Engineering CSME-MDE 2001 (21–22 Nov. 2001), Montreal, Canada [.pdf]
• Amnon H. Eden, Jens Jahnke. “Coordinating Software Evolution Via Two-Tier Programming”. In: Farhad Arbab, Carolyn L. Talcott (eds.), Lecture Notes in Computer Science 2315 (COORDINATION 2002), pp. 149–159. London, UK: Springer-Verlag, 2002.  
• Amnon H. Eden. “Visualization of Object Oriented Architectures.” Proc. Workshop on Software Visualization, Int'l Conf. Software Engineering—ICSE (13–14 May 2001), Toronto, Canada, pp. 5–10.
• Amnon H. Eden, Yoram Hirshfeld. “LePUS—Symbolic-Logic Modelling of Object Oriented Architectures: A Case Study.” Proc. 2nd Nordic Workshop on Software Architecture—NOSA (12–13 Aug. 1999), Ronneby, Sweden.
• Amnon H. Eden, Yoram Hirshfeld, Amiram Yehudai. “Multicast – Observer ≠ Typed Message.” C++ Report, Vol. 10, No. 9 (Oct. 1998), pp. 33–39. New York, USA: SIGS Publications.
• Amnon H. Eden, Joseph Gil, Amiram Yehudai. “A Formal Language for Design Patterns.” Proc. 3rd Annual Conf. on the Pattern Languages of Programs—PLoP (4–6 Sep. 1996), Washington University technical report WUCS-97-07, Monticello, IL, USA.

Tool support in LePUS3 and Class-Z

The TTP Toolkit: Tool support in specification and Java program visualization

• Epameinondas Gasparis, Amnon H. Eden, Jonathan Nicholson, Rick Kazman. “The Design Navigator: Charting Java Programs.” Companion, 30th Int’l Conf. on Software Engineering—ICSE (10–18 May 2008), Leipzig, Germany, pp. 945–946 [.pdf]
• Epameinondas Gasparis, Jonathan Nicholson, Amnon H. Eden, Rick Kazman. “Navigating through the Design of Object-Oriented Programs.” Tool demonstration, 15th Working Conference on Reverse-Engineering—WCRE (15–18 Oct. 2008), Antwerp, Belgium.

Related bibliography

Related projects

• Theo D'Hondt, Kim DeVolder, Kim Mens, Roel Wuyts. "Co-evolution of Object-Oriented Software Design and Implementation." Proc. Int'l Symposium on Software Architectures and Component Technology— SACT 2000, pp. 207–224. Amsterdam, The Netherlands: Kluwer Academic Publishers.
• J.K.H. Mak, C.S.T. Choy; D.P.K. Lun. "Precise specification to compound patterns with ExLePUS." Proc. 27th Annual Int'l Computer Software and Applications Conf.—COMPSAC, Dallas, TX, USA (3–6 Nov. 2003), pp. 440–445.
• R.R. Raje, S. Chinnasamy. “eLePUS—A Language for Specification of Software Design Patterns”. Proc. 2001 ACM Symp. Applied Computing, pp. 600–604.
• Jie Yuan, Huaikou Miao, Liang Cai. “A Design Pattern Verifier in Two-Tier Programming Environment.” Proc. 4th Int’l Conf. Computer and Inf. Tech.—CIT (2004). Washington, USA: IEEE Computer Society Press, 2004, pp. 1081–1086.

Formal specifications

• J. Guttag, J. Horning, J. Wing. “Some notes on putting formal specifications to productive use”. Science of Computer Programming, Vol. 2, No. 1 (Oct. 1982), pp. 53–68.
• Raymond Turner. “The Foundations of Specification”. Journal of Logic and Computation, Vol. 15, No. 5 (Oct. 2005), pp. 623–663.

Other Bibliography

• Erich Gamma, Richard Helm, Ralph Johnson, John M. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Reading: Addison-Wesley, 1995.
• David Garlan, Mary Shaw. An Introduction to Software Architecture. In V. Ambriola and G. Tortora (ed.), Advances in Software Engineering and Knowledge Engineering, Series on Software Engineering and Knowledge Engineering, Vol. 2, World Scientific Publishing Company, Singapore, pp. 1–39, 1993.
• Michael R.A. Huth, Mark Ryan. Logic in Computer Science. Cambridge: Cambridge University Press, 2000.
• Clement A. Szyperski. Component Software—Beyond Object-Oriented Programming, 2nd Edition. Reading: Addison-Wesley, 2002.
• Douglas Schmidt, Ralph E. Johnson, Mohamed E. Fayad. "Software Patterns". Guest editorial, Communications of the ACM, Special Issue on Patterns and Pattern Languages, Vol. 39, No. 10 (Oct. 1996).