Applying Software Metrics to Formal Specifications: A Cognitive Approach

Abstract

It is generally accepted that failure to reason correctly during the early stages of software development causes developers to make incorrect decisions which can lead to the introduction of faults or anomalies in systems. Most key development decisions are usually made at the early system speci cation stage of a software project and developers do not… (More)
DOI: 10.1109/METRIC.1998.731248

Topics

7 Figures and Tables

Cite this paper

@inproceedings{Vinter1998ApplyingSM, title={Applying Software Metrics to Formal Specifications: A Cognitive Approach}, author={Rick Vinter and Martin Loomes and Diana Kornbrot}, booktitle={IEEE METRICS}, year={1998} }