Showing results 1 to 5 of 5
SCR 요구사항 명세의 정형적인 의미론 홍형석; 차성덕; 권용래, 정보과학회논문지 : 소프트웨어 및 응용, v.26, no.8, pp.988 - 999, 1999-08 |
Verification and testing methods for Statecharts = Statecharts를 위한 검증 및 테스팅 방법link Hong, Hyoung-Seok; 홍형석; et al, 한국과학기술원, 2001 |
요구분석 단계에서의 원영화를 위한 CASE도구 권용래; 홍형석; 배현섭; 차신; 이완권, 한국정보과학회 학술발표, 1994 |
유한 상태 기계를 기반으로 하는 객체 지향 프로그램의 테스팅 = Testing of object-oriented programs based on finite state machinelink 홍형석; Hong, Hyoung-Seok; et al, 한국과학기술원, 1995 |
클래스의 상태기반 테스팅 방법 홍형석; 권용래; 차성덕, 정보과학회논문지 : 소프트웨어 및 응용, v.23, no.11, pp.1145 - 1154, 1996-11 |
Discover