DSpace at KOASAS
Browsing DSpace

Browse by Author 홍형석

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 6 of 6

1
SCR 요구사항 명세의 정형적인 의미론

홍형석; 차성덕; 권용래, 정보과학회논문지 : 소프트웨어 및 응용, v.26, no.8, pp.988 - 999, 1999-08

2
Verification and testing methods for Statecharts = Statecharts를 위한 검증 및 테스팅 방법link

Hong, Hyoung-Seok; 홍형석; et al, 한국과학기술원, 2001

3
스테이트차트의 실시간 검증을 위한 모델체커의 확장

방호정; 홍형석; 김태효; 차성덕, 정보과학회논문지 : 소프트웨어 및 응용, v.31, no.6, pp.773 - 783, 2004-06

4
요구분석 단계에서의 원영화를 위한 CASE도구

권용래; 홍형석; 배현섭; 차신; 이완권, 한국정보과학회 학술발표, 1994

5
유한 상태 기계를 기반으로 하는 객체 지향 프로그램의 테스팅 = Testing of object-oriented programs based on finite state machinelink

홍형석; Hong, Hyoung-Seok; et al, 한국과학기술원, 1995

6
클래스의 상태기반 테스팅 방법

홍형석; 권용래; 차성덕, 정보과학회논문지 : 소프트웨어 및 응용, v.23, no.11, pp.1145 - 1154, 1996-11

Discover

rss_1.0 rss_2.0 atom_1.0