Miyoshi, T Azuma, Motoei <br/><br/>
An Empirical Study of Evaluating Software Development Environment Quality 

 - 425-435 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Evaluation Techniques<br/> Formal Specification<br/>Software Quality in Power Applications