지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
1988
등록된 정보가 없습니다.
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
시스템 요구 명세의 자동화 도구 개발을 위한 설계 연구 ( Prototype Tool 연구 중 ) ( Design for Development a Computer Aided Tool of System Requirement and Specification )
한국통신학회 학술대회논문집
1988 .01
소프트웨어 요구명세와 설계 명세간의 부합성 검사
한국정보과학회 학술발표논문집
2004 .10
요구명세언어 및 요구분석 지원시스템 개발 ( Development of Software Specification Language and Software Requirements Analysis System )
특정연구 결과 발표회 논문집
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 프레임워크
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2012 .02
내장형 시스템의 명세를 위한 컴포넌트 지원 Statechart 도구 구현
한국정보과학회 학술발표논문집
2000 .04
대수명세기법의 새로운 접근방법
한국정보과학회 학술발표논문집
1990 .04
도구 호출 추상화에 의한 객체 지향 도구 통합 모델
(구)정보과학회논문지
1993 .01
자동 프로그램 축소를 위한 명세 기술 언어
한국정보과학회 학술발표논문집
2019 .06
도시 교통관제 시스템의 정형 명세
한국정보과학회 학술발표논문집
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
한국정보과학회 학술발표논문집
2013 .06
추상자료형 기술을 위한 대수명세의 새로운 접근 방법
(구)정보과학회논문지
1990 .06
정형적 방법을 이용하는 사용자 인터페이스 명세 시스템의 설계
한국정보과학회 학술발표논문집
1992 .10
0