This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
An Empirical Study of Evaluating Software Development Environment Quality
May 1993 (vol. 19 no. 5)
pp. 425-435

A study that evaluates new-paradigm-oriented software development environments which have been developed in the five-year formal approach to software environment technology (FASET) project is reviewed. For this study, a software environment evaluation technology based on a software quality evaluation process model defined in ISO/IEC 9126 has been developed. The evaluation technology has been applied to the R&D; project at the middle and final phase of development. The evaluation results provide useful information to develop a widely acceptable evaluation technology and to improve the new-paradigm-oriented software development environments that are based on various specification methods: the algebraic specification method, function-oriented specification method, declarative specification method, natural-language-oriented specification method, diagrammatic specification method, state-transition-oriented specification method, and model-based specification method.

[1] ISO/IEC 9126 Information Technology--Software Product Evaluation-Quality Characteristics and Guidelines for Their Use, ISO, 1991.
[2] B.W. Boehm, J.R. Brown, and M. Lipow, "Quantitative Evaluation of Software Quality,"Proc. Second Int'l Conf. Software Eng., IEEE CS Press, Los Alamitos, Calif., Order No. 104 (microfiche only), 1976, pp. 592-605.
[3] J. A. McCallet al., "Factors in sotfware quality," RADC TR-77369, 1977.
[4] G. E. Murineet al., "Applying software quality metrics," presented at the ASQC Quality Congress.
[5] M. Azuma and T. Sunazuka, "Software quality measurement and assurance technology (SQMAT),"The Quality, pp. 79-84, 1986.
[6] T. Sunazuka, M. Azuma, and N. Yamagishi, "Software quality assessment technology," inProc. 8th ICSE, 1585, pp. 142-148.
[7] L. J. Peterset al., "Comparing software design methodologies," Datamation, 1978.
[8] V. R. Basili, "Quantitative evaluation of software engineering methodology," inProc. 1st Pan Pacific Comput. Conf., Melbourne, Australia, Sept. 1985.
[9] V. R. Basili, "Can we measure software technology: Lessons learned from 8 years of trying," inProc. 10th Annu. Software Eng. Workshop, NASA Goddard Space Flight Center, Greenbelt, MD, Dec. 1985.
[10] Proc. 1st Int Workshop Software Quality Improvement, Joint System Development Corp., 1989.
[11] Proc. 2nd Int. Workshop Software Quality Improvement, Joint System Development Corp., 1990.
[12] Proc. 3rd Int. Workshop Software Quality Improvement, Joint System Development Corp., 1991.
[13] Annu. Rep., JSA/INSTAC/STD, Japanese Standards Ass., Mar. 1989.
[14] Annu. Rep., JSA/INSTAC/STD, Japanese Standards Ass., Mar. 1990.
[15] FASET Project Tech. Rep. 1, Joint System Development Corp., 1987.
[16] FASET Project Tech. Rep. 2, Joint System Development Corp., 1989.
[17] FASET Project Tech. Rep. 3, Joint System Development Corp., 1989.
[18] R. Balzer, T. E. Cheatham, and C. Green, "Software technology in the 1990's: Using a new paradigm,"Computer, vol. 16, no. 11, pp. 39-45, 1983.
[19] M. Azuma, T. Miyoshi, and Y. Togashi, "Evaluating software development environment quality," inProc. IEEE COMPSAC'89, Orlando, FL, Sept. 1989, pp. 501-508.

Index Terms:
software development environment quality; FASET; software quality evaluation process model; ISO/IEC 9126; algebraic specification method; function-oriented specification; declarative specification; natural-language-oriented specification; diagrammatic specification; state-transition-oriented; specification; model-based specification; formal specification; programming environments; software quality
Citation:
T. Miyoshi, M. Azuma, "An Empirical Study of Evaluating Software Development Environment Quality," IEEE Transactions on Software Engineering, vol. 19, no. 5, pp. 425-435, May 1993, doi:10.1109/32.232010
Usage of this product signifies your acceptance of the Terms of Use.