소프트웨어 공학을 위한 시각 환경

References

1. Computer-Aided Software 공학 우치수
2. Ph.D. dissertation, University of Pennsylvania An Environment for visualization, reliability and knowledge acquisition in equational programming Kim,J.I.
3. Proceedings of CSESAW Design structuring for system engineering Kim,J.I.;Lock,E.
4. Proceedings of CSESAW An environment to support design structuring Kim,J.I.;Lock,E.
5. 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.
6. Proceedings of NCOSE Strengthening the systems engineering process Alford,M.
7. IEEE Software Graspin : a structured development environment for analysis and design Mannucci,S.(et al.)
8. Software Productivity Consortium Technical Report, SPC-TR-88021 ADARTS-an Ada based design approach for real time systems, version 1.0 Gomma,H.
9. 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.
10. University of Pennsylvania Automation of analysis, simulation and understanding of real time large Ada software Lee,M.;Prywes,N.;Lee,I.S.
11. Visual Programming Environments : Paradigms and Systems Glinert,E.P.
12. Visual Programming Environments : Applications and Issues Glinert,E.P.