참고문헌
- S. L. Pfleeger, 'Investigating the Influence of Formal Methods,' Computer, pp. 33-43, Feb. 1997 https://doi.org/10.1109/2.566148
- ISO. Information Processing Systems - Open Systems Interconnection - LOTOS: A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, International Standard 8807. ISO, 1988
- H. Garavel, M. Jorgensen, R. Mateescu, C. Pecheur, M. Sighireanu, and B. Vivien, 'CADP'97 - Status, Applications, and Perspectives,' In I. Lovrek, editor, Proceedings of the 2nd COST 247 International Workshop on Applied Formal Methods in System Design, Zagreb, Croatia, June 1997
- E. H. Eertink, SMILE user manual (release 4.0), Tele-Informaics and Open Systems Group, 1993
- B. Ghribi and L. Logrippo, A Validation Environment for LOTOS, Protocol Specification, Testing and Verification, XIII, Elsevier Science publishers B. V., pp. 93-108, 1993
- D. Larrabeiti, S. Pavon and G. Rayvay, LOLA user manual (version 3R6), Department De Ingenieria Telematica, 1995
- M. Caneve and E. Salvatori, editors, LITE User Manual, LOTOSPhere Consortium, 1992
- J. A. Manas and T. de Miguel, 'From LOTOS to C,' In K.J. Turner, editor, Proceedings of the 1st International Conference on Formal Description Techniques (FORTE '88), University of Stirling, Scotland, pp. 247-261, North-Holland, September 1988
- H. Garavel, 'Compilation of LOTOS abstract data types,' In S.T. Vuong, editor, Proceedings of the 2nd International Conference on Formal Description Technique (FORTE '89), Vancouver, Canada, pp. 147-162, North-Holland, December 1989
- E. H. Eertink, Simulation Techniques for the Validation of LOTOS Specifications, University of Twente, The Netherlands, 1994
- S. Cho, K. Lee, Y. Oh and H. Kim, 'An Interactive LOTOS Toolset for Users in Industry,' Proceedings of International Computer Symposium '98, Tainan, Taiwan, December 17-19, 1998
- J. de Meer, R. Roth, and S. Vuong. 'Introduction to Algebraic Specification Based on the Language ACT ONE'. Computer Networks and ISDN Systems, 23(5), pp. 363-392, February 1992 https://doi.org/10.1016/0169-7552(92)90013-G
- Y. Cheon, K. Kim and Y. Oh, 'Automatic Generation of C++ Programs from LOTOS Data Type Specifications,' In Roger Lee, editor, Proceedings of the IASTED Conference on Software Engineering, Las Vegas, Nevada, USA, October 28-31, 1998, pp. 103-106. ACTA Press, 1998
- J. A. Manas, J. Salvachua, and T. de Miguel, 'The TOPO implementation of the LOTOS multiway Rendezvous'. Department Ingenieria Telematica Technical University of Madrid, 15 Jan. 1991
- E. E. Dubuis, 'Compiling the Behaviour Part of LOTOS,' Ph.D thesis, Swiss federal institute of technology ZURICH, 1993
- 조수선 외 4인, ForTIA 사용자 설명서, 기술문서 8MG4420-TDP-1017, 한국전자통신연구원, 1998년 11월
- 천윤식 외 3인, ForTIA 튜토리얼-LOTOS 기반의 정형기법 지원 도구, 기술문서 TM98-3400-36, 한국전자통신연구원, 1998년 6월
- 전진옥 외, 정보통신용 시스템 개발방법론 구축에 관한 연구(III), 연구보고서, 정보통신부, 1998
- 조수선, 이광용, 오영배, 'LOTOS 정형명세의 시각적 분석지원 도구', 정보처리논문지, 제5권, 제 12호, pp.3117-3126, 1998
- 김철홍, 천윤식, 김강호, 'LOTOS명세로부터 C++소스코드의 자동 생성', 정보처리논문지, 제5권, 제 12호, pp.3138-3150, 1998