HP Labs Technical Reports

A Report on GIO - Graphical Interface for Objectcharts

Goutet, Mathieu

HPL-90-203

Keyword(s):

Abstract: This report describes a student project in the Software Engineering department on the application of formal specification to object oriented design. The aim of the project was to develop a graphical interface for Objectcharts - an object oriented specification language designed at HP Labs. The software was written in C++ and was developed using HP-SL, a formal specification language based on VDM.

Back to Index