Formal Understanding of Tradeoffs among Liveness and Safety Requirements.

Özgür Kafali Nirav Ajmeri Munindar P. Singh

Published in: RE Workshops (2016)

Keyphrases

artificial intelligence
databases
database systems
future development
requirements analysis
requirements specification
real time
data mining
machine learning
decision making
human beings
deeper understanding
dynamic aspects