Formal Requirements Analysis of an Avionics Control System.

Bruno Dutertre Victoria Stavridou

Published in: IEEE Trans. Software Eng. (1997)

Keyphrases

requirements analysis
control system
goal oriented
requirements elicitation
real time
software development
development process
grounded theory
business intelligence
knowledge intensive
class diagram
knowledge acquisition
information systems
requirements engineering
collaborative learning
data mining
real world