지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
등록된 정보가 없습니다.
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
소프트웨어 요구명세와 설계 명세간의 부합성 검사
한국정보과학회 학술발표논문집
2004 .10
Extended Mind Map for Software Requirement Specification
한국정보과학회 학술발표논문집
2013 .06
결함허용 실시간 소프트웨어 설계를 위한 명세언어
한국산업정보학회 학술대회논문집
1997 .11
[特輯]소프트웨어 요구 정의 및 명세를 위한 언어
정보과학회지
1984 .06
PVS를 이용한 SCR 스타일의 소프트웨어 요구사항 명세에서 기능 요구 사항의 정형 검증
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2002 .02
소프트웨어사업 요구사항 명세화 표준지침 개발
정보과학회논문지 : 소프트웨어 및 응용
2009 .07
시스템 요구 명세의 자동화 도구 개발을 위한 설계 연구 ( Prototype Tool 연구 중 ) ( Design for Development a Computer Aided Tool of System Requirement and Specification )
한국통신학회 학술대회논문집
1988 .01
요구사양 설계 플랫폼 적용을 통한 확장형 차량 어플리케이션 소프트웨어 개발에 대한 연구
대한전자공학회 학술대회
2020 .08
Requirements for Software Evaluation for Software Quality Certification
한국전자거래학회 학술대회 발표집
2002 .09
시스템 요구 명세의 자동화 도구 개발을 위한 설계 연구 ( Prototype Tool 연구 중 ) ( Design for Developing a Computer Aided Tool of System Requirement and Specification )
특정연구 결과 발표회 논문집
1988 .01
통신 소프트웨어의 정형적 명세 방안
한국통신학회 학술대회 및 강연회
1997 .01
소프트웨어 아키텍처 기술 언어의 요구 조건
한국산업정보학회논문지
2002 .12
네트워크 시스템 명세를 위한 Z 기반 프레임워크
한국정보과학회 학술발표논문집
2011 .06
A Specifying Method for Real-Time Software Requirement
한국산업정보학회논문지
1999 .03
자동 프로그램 축소를 위한 명세 기술 언어
한국정보과학회 학술발표논문집
2019 .06
네트워크 기반 시스템 명세 및 검증을 위한 Z 프레임워크
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2012 .02
A Process Interaction Specification Method for Communication Software
JC-CNSS : Joint Conference on Communications, Networks and Switching Systems
1988 .01
Development of an integration method of model-based software with a standard software architecture
한국자동차공학회 추계학술대회 및 전시회
2011 .11
Computer Software Reliability - Software Engineering -
(구)정보과학회논문지
1979 .11
계층형 명세 언어의 정의 및 검사
프로그래밍언어논문지
2002 .06
0