Crossing the Borderline - From Formal to Semi-Formal Specifications.

Published in: SET (2006)

Keyphrases

formal specification
specification languages
model checking
formal methods
object oriented design
specification language
process algebra
reverse engineering
formal specification language
design methodology
concurrent systems
temporal logic
artificial intelligence
software components
information systems