A formal specification of a visual language editor.

Jeannette M. Wing Amy Moormann Zaremski

Published in: IWSSD (1991)

Keyphrases

formal specification
model checking
object oriented design
specification languages
specification language
formal methods
reverse engineering
data abstraction
concurrent systems
process algebra
software components
artificial intelligence
information systems
key features