Completeness and Consistency Analysis of State-Based Requirements.

Mats Per Erik Heimdahl Nancy G. Leveson

Published in: ICSE (1995)

Keyphrases

statistical analysis
real time
quantitative analysis
image segmentation
user requirements
application specific
data model
information technology
lower bound
digital libraries
website
metadata
knowledge base
artificial intelligence
information retrieval
data mining
databases
data sets