An approach to the generation of software life cycle support systems

The kernel of a generic software development environment

SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments

Introducing formal specification methods in industrial practice

ICSE '97 Proceedings of the 19th international conference on Software engineering

The Metaview System for Many Specification Environments

IEEE Software

Generic Lifecycle Support in the ALMA Environment

IEEE Transactions on Software Engineering