Research Repository

CSM-474: LePUS3 and Class-Z Reference Manual

Eden, Amnon H and Nicholson, Jonathan and Gasparis, Epameinondas (2007) CSM-474: LePUS3 and Class-Z Reference Manual. Technical Report. CSM-474, University of Essex, Colchester.


Download (816kB) | Preview


This document formally defines the elements in the syntax and the semantics of LePUS3 and the Class-Z specification languages. It was designed to satisfy the rigid requirements of mathematical logic, and it is therefore unsuitable for learning LePUS3 and Class-Z. More suitable for this purpose will be the book "Object-Oriented Modelling" [Eden under preparation]. A legend offering a key to the language's symbols is also available.

Item Type: Monograph (Technical Report)
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: Faculty of Science and Health > Computer Science and Electronic Engineering, School of
Depositing User: Julie Poole
Date Deposited: 24 Oct 2014 10:51
Last Modified: 24 Oct 2014 10:51

Actions (login required)

View Item View Item