Applying Software Metrics to Formal Specifications: A Cognitive Approach.

Rick Vinter Martin J. Loomes Diana Kornbrot

Published in: IEEE METRICS (1998)

Keyphrases

formal specification
software metrics
reverse engineering
object oriented design
model checking
software systems
software projects
formal methods
software components
software maintenance
software quality
threshold values
software engineering
object oriented
temporal logic
software testing
cooperative