HP Labs Technical Reports

A Report on GIO - Graphical Interface for Objectcharts

Goutet, Mathieu



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

[Research] [News] [Tech Reports] [Palo Alto] [Bristol] [Japan] [Israel] [Site Map][Home] [Hewlett-Packard]