Login / Signup
Crossing the Borderline - From Formal to Semi-Formal Specifications.
Andreas Bollin
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