Towards the formal specification of a simple programming support environment.

Bernard Sufrin Jim Woodcock

Published in: Softw. Eng. J. (1987)

Keyphrases

formal specification
support environment
object oriented design
model checking
specification language
process algebra
specification languages
reverse engineering
highly reliable
programming language
formal methods
high level
source code
temporal logic
object oriented systems