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

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