Mathematical Notation in Formal Specification: Too Difficult for the Masses?

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

Keyphrases

formal specification
model checking
specification languages
specification language
object oriented design
reverse engineering
formal methods
process algebra
data abstraction
software components
computation tree logic
database systems
concurrent systems
model checker
service oriented
expert systems
natural language