Gentzen-Type System for Verification in Conceptual Modeling.
Cristina SernadasPaula GouveiaAntónia LopesPublished in: FMLDO (1991)
Keyphrases
- conceptual modeling
- conceptual models
- information systems development
- data abstraction
- object oriented
- information systems
- software engineering
- database technology
- data model
- conceptual model
- domain specific
- management system
- conceptual schema
- knowledge representation
- end users
- linear time temporal logic
- semantic data models