Issue No. 05 - May (1993 vol. 19)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.232010
<p>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.</p>
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
T. Miyoshi and M. Azuma, "An Empirical Study of Evaluating Software Development Environment Quality," in IEEE Transactions on Software Engineering, vol. 19, no. , pp. 425-435, 1993.