Deontic Relevant Logic in Knowledge-based Requirements Engineering.
Jingde ChengPublished in: JCKBSE (2008)
Keyphrases
- requirements engineering
- deontic logic
- classical logic
- software engineering
- systems engineering
- goal oriented
- requirements specification
- software development
- life cycle
- requirements elicitation
- logic programming
- automotive industry
- requirements engineering process
- software intensive systems
- modal logic
- software systems
- development process
- business process
- security requirements
- systems development
- expert systems
- requirements analysis
- data sets
- security patterns
- user interface
- high level
- information systems