The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - May (1993 vol.19)
pp: 425-435
ABSTRACT
<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>
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
21 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool