Development graphs - Proof management for structured specifications.
Till MossakowskiSerge AutexierDieter HutterPublished in: J. Log. Algebraic Methods Program. (2006)
Keyphrases
- decision support
- knowledge management
- management system
- information systems
- systems development
- knowledge based systems
- decision making
- high level
- data management
- case study
- development process
- information management
- graph theory
- configuration management
- data processing
- graph structure
- theorem proving
- virtual organization
- real world
- specification language
- business management