자료흐름도로부터 실행가능한 명세를 작성하기 위한 명세 언어의 설계 및 구현

함경수 ,  권용래

한국정보과학회 학술발표논문집

1988 .10

계층형 명세 언어의 정의 및 검사

박사천 ,  권기현

프로그래밍언어논문지

2002 .06

EXECUTABLE SPECIFICATIONS IN MULTI-MEDIA SYSTEM DESIGN ENVIRONMENT

Matthias Deegene ,  So ,  in A. Huss

ICVC : International Conference on VLSI and CAD

1995 .01

Vienna Definition Language를 이용하여 자료 흐름도로부터 실행 가능한 Specification을 구성하는 방법

이종희 ,  임은기 ,  권용래

한국정보과학회 학술발표논문집

1987 .04

RAPID PROTOTYPING을 위한 실행가능 명세 언어와 분석기 설계에 관한 연구

윤주인 ,  장문석 ,  장덕철

한국정보과학회 학술발표논문집

1987 .10

네트워크 시스템 명세를 위한 Z 기반 프레임워크

신지훈 ,  최진영

한국정보과학회 학술발표논문집

2011 .06

소프트웨어 요구명세와 설계 명세간의 부합성 검사

이수영 ,  김진현 ,  안영아 외 5명

한국정보과학회 학술발표논문집

2004 .10

자동 프로그램 축소를 위한 명세 기술 언어

전가빈 ,  이형창 ,  이우석

한국정보과학회 학술발표논문집

2019 .06

XML 기반의 컴포넌트 명세 언어

김원기 ,  안치돈 ,  이윤수 외 1명

한국정보과학회 학술발표논문집

1999 .10

Parameterized Specification 의 Actualization 에 사용가능한 Colimit 계산을 위한 알고리즘 및 구현

김규년 ,  김태공 ,  우치수

한국정보과학회 학술발표논문집

1989 .04

네트워크 기반 시스템 명세 및 검증을 위한 Z 프레임워크

신지훈 ,  최진영 ,  강인혜 외 1명

정보과학회논문지 : 컴퓨팅의 실제 및 레터

2012 .02

Vienna Definition Language를 이용한 실행 가능한 Specification 구성 방법

이종희 ,  임은기 ,  권용래

(구)정보과학회논문지

1988 .12

시스템 명세화 기법 기반의 개인정보보호 모바일 알람 시스템 설계 및 구현

장은영 ,  김형종

정보보호학회논문지

2010 .02

대수명세의 단계적 구현과 증분식 테스팅

김규년 ,  우치수

(구)정보과학회논문지

1991 .02

결함허용 실시간 소프트웨어 설계를 위한 명세언어

김정술 ,  강병욱

한국산업정보학회 학술대회논문집

1997 .11

대수명세의 구현과 증분식 테스팅

김규년 ,  우치수

한국정보과학회 학술발표논문집

1990 .10

정형적 방법을 이용하는 사용자 인터페이스 명세 시스템의 설계

신재승 ,  이금석

한국정보과학회 학술발표논문집

1992 .10

프롤로그를 중간언어로 이용한 자료흐름도로부터 C 코드의 생성

남영광 ,  이공선 ,  김진삼 외 1명

(구)정보과학회논문지

1994 .01

AN EXECUTABLE SPECIFICATION LANGUAGE-ChiSL

Chuang Xu ,  Yong Sen Xu

대한전자공학회 기타 간행물

1992 .01