A Requirements Modeling Language and Its Logic.
Sol J. GreenspanAlexander BorgidaJohn MylopoulosPublished in: On Knowledge Base Management Systems (Islamorada) (1985)
Keyphrases
- modeling language
- metamodel
- software development process
- constraint language
- formal semantics
- model driven development
- uml profile
- design rationale
- code generation
- information technology
- logic programming
- artificial intelligence
- formal methods
- declarative language
- requirements engineering
- modal logic
- software systems
- data model
- information systems