Completeness and Consistency of the System Requirement Specification.

Jaroslaw Kuchta

Published in: FedCSIS (Position Papers) (2016)

Keyphrases

high level
consistency checking
neural network
formal verification
maintaining consistency
real time
data mining
machine learning
genetic algorithm
artificial intelligence
web services
user defined
formal specification
constraint networks
formal methods
global consistency