ELEKTRA - ELectrical Enterprise Knowledge for TRansforming Applications
Structured Specification of Information Systems Requirements
SML
- Software Maintenance Laboratory
Completed
Electrical Knowledge Development (ELKD)
ESPRIT III Project 6621 F3 - From Fuzzy to Formal
ESPRIT
II Project (2424) KIWIS - Advanced Knowledge Based Environments for
Large
Database Systems
TEMPORA
(E2469) - Integrating Database Technology, Rule-Based Systems and
Temporal
Reasoning for Effective Software