Login / Signup
Slice-based Formal Specification Measures - Mapping Coupling and Cohesion Measures to Formal Z.
Andreas Bollin
Published in:
NASA Formal Methods (2010)
Keyphrases
</>
formal specification
formal methods
specification languages
real world
cooperative
model checking
reverse engineering
databases
knowledge base
high level
data sources
specification language
process algebra