통신 소프트웨어의 정형적 명세 방안

김태연

한국통신학회 학술대회 및 강연회

1997 .01

Bandera Toolset 을 이용한 객체지향형 소프트웨어 모델 체킹

방기석 ,  이주용 ,  최진영

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

2001 .10

소프트웨어 개발 방법론 지원 시스템에 관한 연구 ( A Study on System for Supporting Software Development Environment

이숙희

한국통신학회논문지

1990 .10

소프트웨어 개발 방법론 지원 시스템에 관한 연구

이종석 ,  이숙희

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

1989 .11

소프트웨어 설계지원 시스템개발에 관한 연구 ( Software Design Supporting System Development )

조영화 ,  이영남 ,  김철홍 외 4명

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

1990 .01

An Integrated Toolset for Distributed Real-Time Systems Based on Computational Grid

Lichen Zhang

ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications

2002 .07

소프트웨어 구조 설계 지원 도구 개발에 관한 연구

강병도 ,  이미경

한국산업정보학회논문지

2002 .09

정형 검증 도구를 이용한 보안 소프트웨어 개발 방안

장승주

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

2006 .04

통신소프트웨어

이규대

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

1998 .01

이종 표준과 통신기술을 지원하는 통합형 V2X 통신 프로토콜 소프트웨어

정한균 ,  진성근 ,  장수현 외 3명

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

2019 .11

정형 검증과 시험에 의한 원전 계측제어용 임베디드 소프트웨어의 개발

이나영 ,  김진현 ,  안영아 외 4명

정보과학회지

2004 .06

정형기법을 이용한 Safety - Critical System 개발 방법론

성창훈 ,  이나영 ,  오승록 외 1명

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

2000 .10

PVS를 이용한 SCR 스타일의 소프트웨어 요구사항 명세에서 기능 요구 사항의 정형 검증

김태호 ,  차성덕

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

2002 .02

소프트웨어 성능공학과 소프트웨어 개발도구 및 방법과의 관계

변진식

한국컴퓨터정보학회논문지

1998 .12

소프트웨어 종합 방법 및 지원환경 ( Software Integration Methodology and Supporting Environment )

김기재 ,  박영식 ,  김해숙 외 1명

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

1993 .01

소프트웨어 종합 방법 및 지원 환경

김기재 ,  박영식 ,  김해숙 외 1명

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

1993 .11

이동 내장형 미들웨어와 개발 툴셋

이승룡 ,  허서경 ,  서영준 외 1명

정보과학회지

2002 .07

μCRL: A Computer Science based Approach for Specification and Verification of Hardware Circuits

K.L. Man

대한전자공학회 ISOCC

2008 .11

공개 software 개발 도구들의 단계적 활용

안일수

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

2011 .06