The Complexity of Formal Specifications - Assessments by alpha-Metric.

Peter Kokol Vili Podgorelec Henri Habrias Nassim Hadj Rabia

Published in: ACM SIGPLAN Notices (1999)

Keyphrases

formal specification
complexity measures
reverse engineering
specification language
object oriented design
specification languages
worst case
computational complexity
model checking
formal methods
real world
information systems
software systems