Browsing Work in progress by Author "Van Der Poll J.A."

Now showing items 1-2 of 2

From specification in UML and object-z through refinement to implementation into java: A study on the use of inheritance

Van Coppenhagen I.H.M.; Kotze P.; Van Der Poll J.A. (2004)

This paper provides an example that illustrates parts of the software life cycle processes of specification, refinement and implementation for the use of inheritance in an object-oriented environment. Some background on ...
Validating reasoning heuristics using next-generation theorem-provers

Steyn P.S.; Van Der Poll J.A. (2007)

The specification of enterprise information systems using formal specification languages enables the formal verification of these systems. Reasoning about the properties of a formal specification is a tedious task that can ...

Now showing items 1-2 of 2

Search UnisaIR