Formal Specification of a Look Manager.

K. T. Narayana Sanjeev Dharap

Published in: IEEE Trans. Software Eng. (1990)

Keyphrases

formal specification
model checking
specification languages
object oriented design
reverse engineering
specification language
software components
formal methods
process algebra
concurrent systems
data abstraction
temporal logic
formal specification language
database
model checker
information systems
databases