Requirements Verification in the Industry.

Gauthier Fanmuy Anabel Fraga Juan Lloréns

Published in: CSDM (2011)

Keyphrases

model checking
case study
user requirements
world wide
fastest growing
artificial intelligence
metadata
information technology
database
artificial neural networks
concurrent systems
asynchronous circuits
functional requirements
application specific
data mining
neural network
databases