References
- Ian Sommerville. Software Engineering, Addison-Wesley, 2001
- Stephan Romahn, Annette Kaster. 'Creating intelligent user interfaces using prototyping and knowledge based support technologies: the rapid prototyping tool MacEMSIG,' Proceedings of the international workshop on Intelligent user interfaces, 1993, Pages 259-262
- Jonathan Knudsen, Java 2D Graphics, O'Reilly, 1999
- Ken Arnold, James Gosling. The Java Programming Language, Javasoft, 1996
- Kyo C. Kang, et. al., 'FORM: A Feature-Oriented Reuse Method with Domain-Specific Reference Architectures,' Annals of Software Engineering, 5, 143-168(1998) https://doi.org/10.1023/A:1018980625587
- Kyo C. Kang, Kwan W. Lee, Ji Y. Lee, Gerard J. Kim, and Hye J. Kim, 'Refinement and Validation of Software Requirements using Incremental Simulation,' IEICE(The Institute of Electronics, Information and Communication Engineering) Trans. on Information and Systems, Vol. E81-D, No. 2, pp. 171-182, February 1998
- K. C. Kang, K. W. Lee, J. Y. Lee, and G. J. Kim, 'ASADAL/SIM: An Incremental Multi-level Simulation and Analysis Tool for Real-Time Software Specifications,' Software: Practice and Experience, Vol. 28, Issue 4, pp. 445-462, April 1998 https://doi.org/10.1002/(SICI)1097-024X(19980410)28:4<445::AID-SPE166>3.0.CO;2-J
- Kwang I. Ko, Kyo C. Kang, 'ASADAL/PROVER: A Toolset for Verifying Temporal Properties of Real- Time System Specifications in Statechart, 'The Institute of Electronics, Information and Communication Engineering(IEICE) Transactions on Information and Systems, Vol. E82-D, No. 2, 1999, pp. 398-411
- K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak and A. S. Peterson, 'Feature-Oriented Domain Analysis( FODA) Feasibility Study', Technical Report CMU/SEI-90-TR-21, Pittsburgh, Pa., Software Engineering Institute, Cargegie Mellon University, 1990
- K. Kang, S. Kim, J. Lee, K. Kim, E. Shin and M. Huh, FORM: A Feature-Oriented Reuse Method with Domain-Specific Reference Architectures, Annals of Software Engineering, Vol.5, 143-168, 1998
- Statemate 4.5 User Reference Manual, I-Logix Inc., Burlington. MA, 1992
- Statemate MAGNUM(ver. 1.2) User Reference Mannual, I-Logix Inc., 1997
- http://selab.postech.ac.kr/realtime/public_html/index.html