참고문헌
- Computer-Aided Software 공학 우치수
- Ph.D. dissertation, University of Pennsylvania An Environment for visualization, reliability and knowledge acquisition in equational programming Kim,J.I.
- Proceedings of CSESAW Design structuring for system engineering Kim,J.I.;Lock,E.
- Proceedings of CSESAW An environment to support design structuring Kim,J.I.;Lock,E.
- Proceedings of CSESAW Software tools for formal specification and verification of distributed real-time systems Choi,J.Y.;Lee,I.S.;Kim,J.I.;Lock,E.
- Proceedings of NCOSE Strengthening the systems engineering process Alford,M.
- IEEE Software Graspin : a structured development environment for analysis and design Mannucci,S.(et al.)
- Software Productivity Consortium Technical Report, SPC-TR-88021 ADARTS-an Ada based design approach for real time systems, version 1.0 Gomma,H.
- University of Colorado at Boulder, Technical Report CU-CS-692-93 Escalante : an environment for the rapid construction of visual language applications McWhirter,J.D.;Nutt,G.J.
- University of Pennsylvania Automation of analysis, simulation and understanding of real time large Ada software Lee,M.;Prywes,N.;Lee,I.S.
- Visual Programming Environments : Paradigms and Systems Glinert,E.P.
- Visual Programming Environments : Applications and Issues Glinert,E.P.