Formalization and completeness of evolving requirements using Contracts.

Leonardo Mangeruca Orlando Ferrante Alberto Ferrari

Published in: SIES (2013)

Keyphrases

supply chain
formal analysis
knowledge base
application specific
functional requirements
real time
neural network
genetic algorithm
search engine
database systems
multiresolution
knowledge representation
formal model
real time systems
operational semantics