[기술해설]Standard ML 프로그래밍

이광근 ,  류석영

정보과학회지

1997 .01

[기술해설]소프트웨어 재사용을 위한 CASE 구축

이경환

정보과학회지

1994 .03

[기술해설]제한 논리 프로그래밍언어

신동하 ,  창병모

정보과학회지

1997 .01

[기술해설]실시간 소프트웨어 모델링

전태웅 ,  이승룡

정보과학회지

1995 .09

[기술해설]Rewriting 기반 프로그래밍

변석우

정보과학회지

1997 .01

[특집/기술해설] 국내 교환 소프트웨어 현황 및 소프트웨어 종합기술

김영일 ,  이성근

텔레콤

1994 .06

[기술해설]타입 시스템에 의한 체계적인 복합형 프로그래밍

도경구 ,  곽노건

정보과학회지

1997 .01

[기술해설]프로그래밍언어에서의 타입 시스템의 역할

이욱세 ,  편기현 ,  이광근

정보과학회지

1997 .01

[기술해설]차세대 지능망의 서비스소프트웨어 개발기술

조세형

정보과학회지

1995 .08

[특집/기술해설] 소프트웨어 신뢰도와 응용

유재년 ,  이용균

텔레콤

1994 .06

[기술해설]소프트웨어 공학을 위한 시각 환경

김지인

정보과학회지

1995 .09

소프트웨어 기술

김봉일

전자공학회지

1987 .04

[특집/기술해설] 교환 소프트웨어 특징과 과제

김대식

텔레콤

1994 .06

[기술해설]분석적 학습

이수원

정보과학회지

1995 .05

[특집/기술해설]차세대 광 네트워크 기술

박진우 ,  이명문

텔레콤

2002 .06

[기술해설]분산 개발 환경에서의 객체지향 시각 프로그래밍

김상욱 ,  진윤숙

정보과학회지

1996 .10

[특집/기술해설]광 인터넷 네트워크 기술 동향

이순석 ,  김영부 ,  전경표

텔레콤

2001 .06

[기술해설]범구조적 병렬 계산 모델

차호정 ,  김동승 ,  홍만표

정보과학회지

1996 .06

[기술해설]초고속 정보화를 위한 보안 소프트웨어 기술개발 계획

최덕규 ,  윤기송

정보과학회지

1995 .02

[특집:기술해설_시스템 소프트웨어 기술 연구] 소프트웨어 다운로드를 위한 통신 프로파일 관리 방안

이영석 ,  정종률 ,  정승도 외 1명

텔레콤

2005 .12