A theory of classes from the theoretical foundations of LePUS 3

Nicholson, Jonathan (2011) A theory of classes from the theoretical foundations of LePUS 3 In: Proceedings of the 13th International Conference on Formal Engineering Methods, Durham, UK, 25-28 October 2011.

Full text not available from this repository.


LePUS3 is a formal design description language for specifying decidable (i.e. automatically verifiable) properties of object-oriented design. LePUS3 has been successfully applied to both design verification and reverse engineering applications. However, LePUS3 is becoming over zealously pragmatic. Its current definition is inflexible, limiting is expressivity, extensibility and reasoning capabilities. We present a new theory of classes derived from the theoretical foundations of LePUS3, and defined in the Typed Predicate Logic. The expressive power of our theory is demonstrated by specifying and reasoning over design patterns.

Item Type: Contribution to conference proceedings in the public domain ( Full Paper)
Uncontrolled Keywords: Formal Specification and Modelling; LePUS3; Typed Predicate Logic; Design Patterns
Subjects: G000 Computing and Mathematical Sciences > G100 Mathematics
DOI (a stable link to the resource): 10.1007/978-3-642-24559-6_35
Faculties: Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
Depositing User: Converis
Date Deposited: 02 Apr 2012 13:49
Last Modified: 21 May 2015 15:43
URI: http://eprints.brighton.ac.uk/id/eprint/10173

Actions (login required)

View Item View Item


Downloads per month over past year