Analyzing Consistency of Formal Requirements.

Jan Steffen Becker

Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2018)

Keyphrases

requirements specification
software requirements
decision trees
artificial intelligence
decision making
e learning
formal model
design principles
application specific
formal methods
formal analysis
requirements engineering
mathematical theory