A requirements modeling language and its logic.
Sol J. GreenspanAlexander BorgidaJohn MylopoulosPublished in: Inf. Syst. (1986)
Keyphrases
- modeling language
- metamodel
- software development process
- constraint language
- formal semantics
- modal logic
- model driven development
- uml profile
- code generation
- databases
- declarative language
- open source
- logic programming
- educational modeling languages
- database
- business process modeling
- language constructs
- design rationale
- formal methods
- service oriented
- information systems
- learning algorithm
- machine learning