Communications of the Korean Institute of Information Scientists and Engineers (정보과학회지)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

ASADAL : 내장형 시스템의 객체 지향적인 개발 및 검증을 지원하는 CASE 도구

  • 안미영 (포항공과대학교 정보통신대학원) ;
  • 김혜정 (포항공과대학교 정보통신연구소) ;
  • 강교철 (포항공과대학교)
  • Published : 2007.08.01
Download PDF
⟨ Previous Next ⟩

Abstract

Keywords

References

  1. Ian Sommerville. Software Engineering, Addison-Wesley, 2001
  2. 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
  3. Jonathan Knudsen, Java 2D Graphics, O'Reilly, 1999
  4. Ken Arnold, James Gosling. The Java Programming Language, Javasoft, 1996
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. Statemate 4.5 User Reference Manual, I-Logix Inc., Burlington. MA, 1992
  12. Statemate MAGNUM(ver. 1.2) User Reference Mannual, I-Logix Inc., 1997
  13. http://selab.postech.ac.kr/realtime/public_html/index.html