시스템 요구 명세의 자동화 도구 개발을 위한 설계 연구 ( Prototype Tool 연구 중 ) ( Design for Development a Computer Aided Tool of System Requirement and Specification )

김종현 ,  오해영 ,  김봉일

한국통신학회 학술대회논문집

1988 .01

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

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

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

2004 .10

요구명세언어 및 요구분석 지원시스템 개발 ( Development of Software Specification Language and Software Requirements Analysis System )

권혁호 ,  김진삼 ,  이문기 외 6명

특정연구 결과 발표회 논문집

1990 .01

자동 정리 증명을 이용한 요구 명세 검증 ( Verification of Requirement Specifications using Automated Theorem Proving )

권기현

한국지능정보시스템학회 학술대회논문집

1997 .06

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

윤주인 ,  장문석 ,  장덕철

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

1987 .10

객체 지향 명세화 시스템 설계에 관한 연구 ( A Study on Object-Oriented Specification System Design )

조윤기 ,  김영란 ,  구연설

한국통신학회 학술대회논문집

1994 .01

객체 지향 명세화 시스템 설계에 관한 연구

조윤기 ,  김영란 ,  구연설

한국통신학회 학술대회논문집

1994 .11

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

신지훈 ,  최진영

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

2011 .06

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

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

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

2012 .02

내장형 시스템의 명세를 위한 컴포넌트 지원 Statechart 도구 구현

박홍진 ,  김남규 ,  천경아 외 1명

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

2000 .04

대수명세기법의 새로운 접근방법

김규년 ,  우치수

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

1990 .04

도구 호출 추상화에 의한 객체 지향 도구 통합 모델

홍봉희 ,  양세양

(구)정보과학회논문지

1993 .01

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

전가빈 ,  이형창 ,  이우석

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

2019 .06

도시 교통관제 시스템의 정형 명세

김태호 ,  조승모 ,  차성덕 외 4명

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

1998 .04

위험분석 도구를 이용한 안전한 시스템 요구사항 분석 ( A Study on Requirements Analysis for Secure System using Risk Analysis Tool )

김영길 ,  안금혁 ,  장청룡

대한전자공학회 학술대회

1996 .01

위험분석 도구를 이용한 안전한 시스템 요구사항 분석 ( A Study on Requirements Analysis for Secure System using Risk Analysis Tool )

김영길 ,  안금혁 ,  장청룡

한국통신학회 학술대회논문집

1996 .01

Extended Mind Map for Software Requirement Specification

Jiang Hua ,  Scott Uk-Jin Lee

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

2013 .06

추상자료형 기술을 위한 대수명세의 새로운 접근 방법

김규년 ,  우치수

(구)정보과학회논문지

1990 .06

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

신재승 ,  이금석

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

1992 .10