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.
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.
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.
Abstract
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 |
URI: | http://repository.essex.ac.uk/id/eprint/10658 |
Available files
Filename: CSM-474.pdf