LePUS3: An object-oriented design description language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5223 LNAI, Issue , 2008, Pages 364-367

  Gasparis, Epameinondas ^a   Nicholson, Jonathan ^a   Eden, Amnon H ^a,b  

^a UNIVERSITY OF ESSEX   (United Kingdom)

^b Center for Inquiry   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTER PROGRAMMING LANGUAGES; DESIGN; LINGUISTICS; MACHINE DESIGN; SYSTEMS ANALYSIS;

ABSTRACTION MECHANISMS; DESCRIPTION LANGUAGES; DESIGN PATTERNS; FORMAL SPECIFICATION LANGUAGES; LEVEL OF ABSTRACTIONS; OBJECT-ORIENTED; SMALLTALK;

OBJECT ORIENTED PROGRAMMING;

EID: 56549125848     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87730-1_37     Document Type: Conference Paper

References (7)

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)
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)
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)
4. http://ttp.essex.ac.uk/
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)
6. Gamma, E., et al.: Design patterns: elements of reusable object-oriented software. Addison-Wesley, Boston (1995)
7. Wing, J.M.: A Specifier's Introduction to Formal Methods. Computer 23(8), 8-24 (1990)