Preliminary guidelines for empirical research in software engineering
IEEE Transactions on Software Engineering
Does object coupling really affect the understanding and modifying of OCL expressions?
Proceedings of the 2006 ACM symposium on Applied computing
A Systematic Review of Theory Use in Software Engineering Experiments
IEEE Transactions on Software Engineering
Information Sciences: an International Journal
Is there evolution before birth? deterioration effects of formal Z specifications
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Realising software development as a lived experience
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
A mapping study to investigate component-based software system metrics
Journal of Systems and Software
Hi-index | 0.00 |
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 specification stage of a software project and developers do not receive feedback on their accuracy until near its completion. Software metrics are generally aimed at the coding or testing stages of development, however, when the repercussions of erroneous work have already been incurred. This paper presents a tentative model for predicting those parts of formal specifications which are most likely to admit erroneous inferences, in order that potential sources of human error may be reduced. The empirical data populating the model was generated during a series of cognitive experiments aimed at identifying linguistic properties of the Z notation which are prone to admit non-logical reasoning errors and biases in trained users.