Deriving Formal Specifications from Informal Requirements.

Published in: COMPSAC (1) (2007)

Keyphrases

formal specification
object oriented design
specification languages
model checking
specification language
reverse engineering
concurrent systems
formal methods
process algebra
artificial intelligence
high level
multi agent
object oriented