TY  - SER
AU  - Miyoshi, T
AU  - Azuma, Motoei
TI  - An Empirical Study of Evaluating Software Development Environment Quality
KW  - Evaluation Techniques
KW  -  Formal Specification
KW  - Software Quality in Power Applications
ER  -