Formal Specification and Proof Techniques for Mixed Systems.

Jean-Claude Royer

Published in: IPDPS (2001)

Keyphrases

formal specification
formal methods
specification language
object oriented design
specification languages
case study
reverse engineering
real world
machine learning
data warehouse
open source
knowledge based systems
building blocks