The project fits into the framework of formal language engineering and aims at fundamental theoretical results relating features of existing languages for software specification and design. The scientific results should be applicable in the integration and improvement of specification and design methods.
|Effective start/end date||01/01/1995 → 31/12/1998|
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.