Project Details
Description
The Working Group addresses the need for advanced modeling and specification techniques for developing information systems. Special emphasis is put on specification concepts for full concurrency
of sites, modes of interaction among sites, real-time constraints, and defaults.
The specification concepts are based on logics providing the necessary deductive capabilities for reasoning about system properties as used in building analysis, animation, implementation, validation, verification, and maintenance tools.
of sites, modes of interaction among sites, real-time constraints, and defaults.
The specification concepts are based on logics providing the necessary deductive capabilities for reasoning about system properties as used in building analysis, animation, implementation, validation, verification, and maintenance tools.
| Acronym | ASPIRE |
|---|---|
| Status | Finished |
| Effective start/end date | 1/02/97 → 31/03/00 |
Keywords
- real-time
- distribution
- default logic
- information systems
- concurrency
- specification
- modeling
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.