Completeness and Consistency in Hierarchical State-Based Requirements.

Mats Per Erik Heimdahl Nancy G. Leveson

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

Keyphrases

state space
information systems
real world
social networks
e learning
hierarchical clustering
user requirements