LePUS3: An Object-Oriented Design Description Language

Authors:
Epameinondas Gasparis;Jonathan Nicholson;Amnon H. Eden
Affiliations:
The Two-Tier Programming Project, Department of Computing & Electronic Systems, University of Essex, United Kingdom;The Two-Tier Programming Project, Department of Computing & Electronic Systems, University of Essex, United Kingdom;The Two-Tier Programming Project, Department of Computing & Electronic Systems, University of Essex, United Kingdom and Centre for Inquiry, Amherst, NY, USA
Venue:
Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
Year:
2008

Citing 3
Cited 6

A Specifier's Introduction to Formal Methods

Computer
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
The design navigator: charting java programs

Companion of the 30th international conference on Software engineering

Software architecture awareness in long-term software product evolution

Journal of Systems and Software
Model-based security and dependability patterns in RCES: the TERESA approach

Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems
Laws of pattern composition

ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Enforcing S&D pattern design in RCES with modeling and formal approaches

Proceedings of the 14th international conference on Model driven engineering languages and systems
An institution theory of formal meta-modelling in graphically extended BNF

Frontiers of Computer Science in China
Modular specification and checking of structural dependencies

Proceedings of the 12th annual international conference on Aspect-oriented software development

Quantified Score

Hi-index	0.00

Visualization

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.