Project Details
Description
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.
| Status | Finished |
|---|---|
| Effective start/end date | 01/01/1995 → 31/12/1998 |
Collaborative partners
- Technical University of Denmark (lead)
- Utrecht University (Project partner)
- University of Groningen (Project partner)
- Trinity College Dublin (Project partner)
- University of Munich (Project partner)
- Philips Research (Project partner)
Funding
- Unknown
Fingerprint
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.