Automated deductive requirements analysis of critical systems.

Angelo Gargantini Angelo Morzenti

Published in: ACM Trans. Softw. Eng. Methodol. (2001)

Keyphrases

requirements analysis
object oriented
goal oriented
data model
management system
machine learning
expert systems
distributed systems
access control
life cycle