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.>

An evaluation technology for software development environments based on a software quality evaluation process model was developed. This evaluation technology was applied to a software development environments project, FASET (formal approach to software environment technology), to evaluate prototype environments. The quality evaluation process model and its concept are presented, the technology for evaluating a software development environment is described, and the experimental process and results of the FASET project are shown.>