Login / Signup
Formal Specification and Simulation of Software through Graph Grammars: A General but Minimal Approach.
Rudolf Freund
Christian Stary
Herbert Pötzl
Tatjana Svizensky
Published in:
COMPSAC (1998)
Keyphrases
</>
formal specification
object oriented design
graph grammars
formal methods
model checking
software systems
software components
reverse engineering
formal specification language
source code
process algebra
object oriented
concurrent systems