Applying software metrics to formal specifications : a cognitive approach.

R.J. Vinter; M.J. Loomes; D. Kornbrot

doi:10.1109/METRIC.1998.731248

Applying software metrics to formal specifications : a cognitive approach.

R.J. Vinter, M.J. Loomes, D. Kornbrot

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

20 Citations (Scopus)

126 Downloads (Pure)

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 pro- ject and developers do not receive feedback on their ac- curacy until near its completion. Software metrics are generally aimed at the coding or testing stages of devel- opment, however, when the repercussions of erroneous work have already been incurred. This paper presents a tentative model for predicting those parts of formal speci cations which are most likely to admit erroneous inferences, in order that potential sources of human er- ror may be reduced. The empirical data populating the model was generated during a series of cognitive experi- ments aimed at identifying linguistic properties of the Z notation which are prone to admit non-logical reasoning errors and biases in trained users.

Original language	English
Title of host publication	In: Proceedingss of the 5th International Software Metrics Symposium (Metrics 1998)
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	216-223
ISBN (Print)	0-8186-9201-4
DOIs	https://doi.org/10.1109/METRIC.1998.731248
Publication status	Published - 1998

Access to Document

10.1109/METRIC.1998.731248

901884.pdf
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.---- Copyright IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Final published version, 195 KB

Cite this

@inproceedings{4cf053d66b6647f5bd28988dcbac137f,

title = "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 pro- ject and developers do not receive feedback on their ac- curacy until near its completion. Software metrics are generally aimed at the coding or testing stages of devel- opment, however, when the repercussions of erroneous work have already been incurred. This paper presents a tentative model for predicting those parts of formal speci cations which are most likely to admit erroneous inferences, in order that potential sources of human er- ror may be reduced. The empirical data populating the model was generated during a series of cognitive experi- ments aimed at identifying linguistic properties of the Z notation which are prone to admit non-logical reasoning errors and biases in trained users.",

author = "R.J. Vinter and M.J. Loomes and D. Kornbrot",

note = "This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.---- Copyright IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. DOI : 10.1109/METRIC.1998.731248",

year = "1998",

doi = "10.1109/METRIC.1998.731248",

language = "English",

isbn = "0-8186-9201-4",

pages = "216--223",

booktitle = "In: Proceedingss of the 5th International Software Metrics Symposium (Metrics 1998)",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

address = "United States",

}

TY - GEN

T1 - Applying software metrics to formal specifications : a cognitive approach.

AU - Vinter, R.J.

AU - Loomes, M.J.

AU - Kornbrot, D.

N1 - This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.---- Copyright IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. DOI : 10.1109/METRIC.1998.731248

PY - 1998

Y1 - 1998

N2 - 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 pro- ject and developers do not receive feedback on their ac- curacy until near its completion. Software metrics are generally aimed at the coding or testing stages of devel- opment, however, when the repercussions of erroneous work have already been incurred. This paper presents a tentative model for predicting those parts of formal speci cations which are most likely to admit erroneous inferences, in order that potential sources of human er- ror may be reduced. The empirical data populating the model was generated during a series of cognitive experi- ments aimed at identifying linguistic properties of the Z notation which are prone to admit non-logical reasoning errors and biases in trained users.

AB - 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 pro- ject and developers do not receive feedback on their ac- curacy until near its completion. Software metrics are generally aimed at the coding or testing stages of devel- opment, however, when the repercussions of erroneous work have already been incurred. This paper presents a tentative model for predicting those parts of formal speci cations which are most likely to admit erroneous inferences, in order that potential sources of human er- ror may be reduced. The empirical data populating the model was generated during a series of cognitive experi- ments aimed at identifying linguistic properties of the Z notation which are prone to admit non-logical reasoning errors and biases in trained users.

U2 - 10.1109/METRIC.1998.731248

DO - 10.1109/METRIC.1998.731248

M3 - Conference contribution

SN - 0-8186-9201-4

SP - 216

EP - 223

BT - In: Proceedingss of the 5th International Software Metrics Symposium (Metrics 1998)

PB - Institute of Electrical and Electronics Engineers (IEEE)

ER -

Applying software metrics to formal specifications : a cognitive approach.

Abstract

Access to Document

Fingerprint

Cite this