HP Labs Technical Reports
A Report on GIO - Graphical Interface for Objectcharts
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