An Integrated Approach to the Generation of Environments from Formal Specifications

Alan Dearle, M Oudshoorn, K Wyrwas

Research output: Chapter in Book/Report/Conference proceedingConference contribution


This paper describes an experiment in the use of a persistent object store to support the construction and execution of a software development environment. This development environment presents the user with language specific editors which provide access to incremental parsers. The editors and parsers are automatically generated from a formal language specification based on attribute grammars. This is facilitated through the persistent management of types and values and a dynamically callable compiler. We demonstrate that the provision of a persistent object store gives the system designer more freedom and that this leads to the construction of novel software architectures.
Original languageEnglish
Title of host publicationProceedings of the 17th Australian Computer Science Conference
Place of PublicationChristchurch, New Zealand
PublisherAustralian Computer Science Communications
Publication statusPublished - 1994


Dive into the research topics of 'An Integrated Approach to the Generation of Environments from Formal Specifications'. Together they form a unique fingerprint.

Cite this