M.H. Halstead's Software Science - a critical examination
International Conference on Software EngineeringPublished 13 September 1982
Peter G. Hamer, Gillian D. Frewin
Citations69
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
Tests made on the validity of the relationships and interpretations which form the foundations of Software Science indicate that the majority of them represent neither natural laws nor useful engineering approximations.
Abstract
Karl Popper has described the scientific method as “the method of bold conjectures and ingenious and severe attempts to refute them”. Software Science has made “bold conjectures” in postulating specific relationships between various 'metrics' of software code and in ascribing psychological interpretations to some of these metrics.This paper describes tests made on the validity of the relationships and interpretations which form the foundations of Software Science. The results indicate that the majority of them represent neither natural laws nor useful engineering approximations.
Keywords
Computer Science
Principles of program design
904 Citations1975Michael Jackson
This book is about programming for data processing applications, and its purpose is to present a coherent method and procedure for designing systems, programs, and components that are transparently simple and self-evidently correct.
IBM Systems JournalA method of programming measurement and estimation
465 Citations1977Claude E Walston, Carlos Félix
A method of programming project productivity estimation is discussed and preliminary results of research into methods of measuring and estimating programming project duration, staff size, and computer cost are presented.
ACM Computing SurveysA Review and Evaluation of Software Science
182 Citations1978Ann Fitzsimmons, Tom Love
The primary purpose of this paper is to review Halstead's theory of software science and to evaluate the major studies and experiments relating to that theory.
ACM SIGPLAN NoticesNatural laws controlling algorithm structure?
94 Citations1972M. H. Halstead
It is proposed that algorithms, considered as distrillations of thought, may possess a general structure which obeys physical laws, and testing the hypothesis against measurements of published algorithms does not disprove it.
American Journal of PhysicsErrors of Observation and Their Treatment
69 Citations1957J Topping, Francis T. Worrell
Journal of Systems and SoftwarePrediction of software failures
56 Citations1979M. Lipow
Reduction in computer software errors by use of preventive and detective tools and techniques is illustrated using data from three large software projects.
IEEE Transactions on Software EngineeringCorrection to "toward a theory of test data selection"
56 Citations1975John B. Goodenough, Susan L. Gerhart
In the above paper' the program in Fig. 3 should read "then begin" on line 7, "bufpos := 0 end end" on lines 20, and the semicolon on line 23 should be omitted.
IEEE Transactions on Software EngineeringQuantitative Estimates of Debugging Requirements
51 Citations1979Linda M. Ottenstein
A model to estimate the number of bugs remaining in a system at the beginning of the testing and integration phases of development, based on software science metrics, is presented.
Communications of the ACMSelf-assessment procedure IX
35 Citations1982Donn B. Parker
This procedure deals with ethics, in particular with the special ethical considerations in the computer field that arise from the unique characteristics of computers and their use.
An experiment comparing Fortran programming times with the software physics hypothesis
28 Citations1976Ronald Gordon, M. H. Halstead
This paper will present the results of a second set of experiments, having the advantages of being conducted in a single implementation language, Fortran, from problem specifications readily available in computer textbooks.
IEEE Transactions on Software EngineeringA Simple Experiment in Top-Down Design
13 Citations1979Douglas E. Comer, M. H. Halstead
The design and writing of tutorial papers as a suitably general and inexpensive vehicle is proposed and the software science parameters as appropriate metrics are suggested.
Lecture notes in computer scienceAn experiment in software science
12 Citations1980D. B. Johnston, A. M. Lister
The results suggest that software science offers little in the area studied, and possible reasons for this are discussed.
Australian Computer JournalSoftware Physics and Program Analysis.
8 Citations1978Johan van der Knijff
This work suggests methods, with origins in nuclear and molecular (electronic) quantum mechanics, that should be useful for the accurate analysis of the local anharmonic motions of hydrogen, and perhaps other atoms or small molecular fragments, residing in molecularly complicated but otherwise harmonic environments.
IEEE Transactions on Software EngineeringA Contrast Between Language Level Measures
4 Citations1977R. R. Oldehoeft
It is shown here that when an inappropriate language is applied to some problems, L may reflect an inaccurately large value for language level, and can sometimes be made to yield an arbitrary value.