Formal Specification Techniques for Object-Oriented Programs.

Peter Müller Arnd Poetzsch-Heffter

Published in: GI Jahrestagung (1997)

Keyphrases

formal specification
specification languages
object oriented programs
model checking
specification language
object oriented design
reverse engineering
formal methods
process algebra
concurrent systems
databases
temporal logic
database
artificial intelligence
expert systems
fine grained