Proving the Shalls: Requirements, Proofs, and Model-Based Development.

Steven P. Miller

Published in: RE (2006)

Keyphrases

customer requirements
case study
knowledge based systems
theorem proving
requirements engineering
database
data sets
neural network
decision making
web services
database systems
information processing
rapid development