The Community for Technology Leaders
Green Image
<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, M. Azuma, "An Empirical Study of Evaluating Software Development Environment Quality", IEEE Transactions on Software Engineering, vol. 19, no. , pp. 425-435, May 1993, doi:10.1109/32.232010
96 ms
(Ver 3.3 (11022016))