Invariants for Specifications.

Jeff Kramer Jim Cunningham

Published in: ICSE (1979)

Keyphrases

high level
delay insensitive
functional requirements
reactive systems
moment invariants
projective invariants
case study
image segmentation
software engineering
multi view
invariant features
control flow