Proving Behavioral Refinements of COL-specifications.

Michel Bidoit Rolf Hennicker

Published in: Essays Dedicated to Joseph A. Goguen (2006)

Keyphrases

real world
reactive systems
high level
written in natural language
transition systems
formal specification
similarity measure
functional requirements
object oriented
hidden markov models
multi agent systems
bayesian networks
real time
case study
search engine
genetic algorithm
data mining
neural network
data sets