Building Models through Formal Specification.

Gerrit Renker Hatem Ahriz

Published in: CPAIOR (2004)

Keyphrases

formal specification
specification languages
probabilistic model
model checking
reverse engineering
object oriented design
database
high level
real world
artificial intelligence
database systems
fine grained
specification language