Science and substance: A challenge to software engineers

IEEE Software

Volumn 11, Issue 4, 1994, Pages 86-95

  Fenton, Norman ^a   Pfleeger, Shari Lawrence ^a   Glass, Robert L ^b  

^a CITY UNIVERSITY   (United Kingdom)

^b Computing Trends ^*  (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER APPLICATIONS; COMPUTER SOFTWARE; PRODUCTION ENGINEERING;

CASE TOOLS; FORMAL METHODS; SOFTWARE METRICS; STRUCTURED FLOWCHARTS;

SOFTWARE ENGINEERING;

EID: 0028464552     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/52.300094     Document Type: Article

References (24)

1. V.R. Basili, R.W. Selby, and D.H. Hutchens, “Experimentation in Software Engineering,” IEEE Trans: Software Eng., June 1986, pp. 758-773.
2. S. Gerhart, D. Craigen, and A. Ralston, “Observation on Industrial Practice Using Formal Methods,” Proc. Int'l Conf, Software Eng., IEEE CS Press, Los Alamitos, Calif., 1993, pp, 24-33.
3. I. Houston and S. King, “CICS Project Report Experiences and Results from the use of Z,” Lecture Notes in Computer Science, Vol. 551, 1991.
4. P. Naur, “Understanding Turing's Universal Machine Personal Style in Program Description,” Computer J., No. 4, 1993, pp. 351-371.
5. J.A. McDermid, “Safety-Critical Software:A Vignette,” IEE Eng. J., No.1, 1993, pp. 2-3.
6. Interim Defence Standard 00-55: The Procurement of Safety-Critical Software in Defence Equipment. Ministry of Defence Directorate of Standardization, Glasgow, Scotland 1991.
7. R. Grady, Practical Software Metrics for Proiect Management and Process Improvement, Prentice-Hall, Englewood Cliffs, NJ, 1992.
8. B. Shneiderman et al. “Experimental Investigations of the Utility of Detailed Flowcharts in Programming.” Comm. ACM, June 1977. pp. 373-381.
9. D.A. Scanlan, “Structured Flowcharts Outperform Pseudocode; An Experimental Comparison” IEEE Software, Sept. 1989. no, 28-36.
10. H. Mills, “Structured Programming: Retrospect and Prospect IEEE Software. Nov. 1986. pp. 58–66.
11. I. Vessey and R. Weber, “Research on Structured Programming: An Empiricist's Evaluation,” IEEE Trans. Software Eng., July 1984, pp. 397–407.
12. G. Weinberg and E. Schulman, “Goals and Performance in Computer Programming.” Human Factors, No. 1, 1974, pp, 70-77.
13. W.-E. Mohamed, C.J. Sadler, and D. Law, “Experimentation in Software Engineering: A New Framework,” Proc. Software Quality Management ‘93, Elsevier Science, Essex, U.K. and Computational Mechanics Publications, Southampton, U.K., 1993.
14. I. Vessey and S. Conger, “Requirements Specification: Learning Object, Process and Data Methodologies,” Comm. ACM, May 1994.
15. E. Soloway, J. Bonar; and K. Ehrlich, “Cognitive Strategies and Looping Constructs: An Empirical Survey,” Comm. ACM, Nov. 1983, pp. 853–860.
16. J. Mitchell, J.E. Urban, and R. McDonald, “The Effect of Abstract Data Types on Program Development.” Computer Aug. 1987. pp. 85–88.
17. V.R. Gibson and J.A. Senn, “System Structure and Software Maintenance Performance Comm. ACM, Mar. 1989, pp. 347–358.
18. E. Adams, “Optimizing Preventive Service of Software Products,” IBM Research and Development, No. 1, 1984, pp. 2–14.
19. CASE Research Group The Second Annual Report on CASE. Bellevue. Wash., 1990.
20. A. Kouchakdjian and V.R. Basili, “Evaluation of the Cleanroom Methodology in the SEL,” Proc. Software Eng. Workshop, NASA Goddard, Greenbelt, MD. 1989.
21. M. Stark, “Impacts of Object-Oriented Technologies: Seven Years of Software Engineering,” 7. Systems and Software, Nov. 1993.
22. S.K. Misra and P.J.Jalics, “Third-Generation versus Fourth-Generation Software Development,” IEEE Software, July 1988, pp. 8–14.
23. V. Matos and P.J. Jalics, “An Experimental Analysis of the Performance of Fourth-Generation Tools on PCs,” Comm. ACM, Nov. 1989.
24. J. Verner and G. Tate, “Estimating Size and Effort in Fourth-Generation Development,” IEEE Software, July 1988, pp. 15–22.