Concept Management: Identification and Storage of Concepts in the Focus of Formal Z Specifications.
Daniela PohlAndreas BollinPublished in: ENASE (Selected Papers) (2009)
Keyphrases
- formal concept analysis
- mass storage
- formal specification
- mathematical theory
- concept learning
- management system
- formal descriptions
- storage and retrieval
- key concepts
- relevant concepts
- target concept
- decision support
- concept hierarchy
- formal language
- storage management
- visual concepts
- information systems
- knowledge management
- data storage
- information management
- decision making
- formal ontologies
- intermediate concepts
- reactive systems
- metadata management
- formal model
- related concepts
- concept lattice
- query processing
- conceptual structures
- operational semantics
- semantic mapping
- requirements specification
- cloud storage
- storage requirements
- high level
- project management