아키텍쳐 기반 소프트웨어 개발을 지원하는 효과적인 소프트웨어 아키텍쳐 평가 방법

최희석 ,  염근혁

정보과학회논문지 : 소프트웨어 및 응용

2002 .06

아키텍처에 기반한 소프트웨어 프로세스 모델 연구

최미숙 ,  심우곤 ,  백인섭

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

1999 .04

LOTOS를 이용한 소프트웨어 아키텍쳐의 설계

김영익 ,  이성은 ,  류성열

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

1998 .10

국가 ITS 아키텍쳐 정비방안에 관한 연구

이시복

대한토목학회논문집 D

2009 .03

마이크로프로세서 검증을 위한 가상 컴퓨터 시스템의 개발 ( The Development of the Virtual Computer for a Verification of Microprocessor Architecture )

김영완 ,  이정엽 ,  서광수 외 2명

대한전자공학회 학술대회

1994 .11

다중 사용자 환경에서의 에이전트를 이용한 소프트웨어 아키텍쳐 재구성

김상길 ,  안치돈 ,  왕창종

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

2000 .10

소프트웨어 아키텍쳐를 이용한 역공학모델

이문근 ,  정창신 ,  정명선

정보과학회논문지(B)

1998 .11

DO-178C 인증규격에 따른 소프트웨어 검증계획 수립에 대한 연구

최인호 ,  장재원

한국항공우주학회 학술발표회 초록집

2016 .11

가상 기업을 위한 네트워크 기반 가상 생산 시스템에 관한 연구

공상훈 ,  한영근 ,  이교일

산업공학 (IE interfaces)

2000 .12

가상생산기술 적용을 위한 자동차 가상플랜트 구축에 관한 연구 ( A Study on the Virtual Automotive Plant for a Virtual Manufacturing )

노상도 ,  홍성원 ,  김덕영 외 5명

대한기계학회 춘추학술대회

2000 .01

“소프트웨어 검증” 특집을 내면서

배경민 ,  이선아

정보과학회지

2019 .04

차량용 멀티미디어 시스템의 재사용 가능한 소프트웨어 아키텍쳐 설계

이종근 ,  이승일 ,  서윤준 외 1명

한국자동차공학회 추계학술대회 및 전시회

2009 .11

다중 에이전트 시스템 구축을 위한 아키텍쳐 개발방법 및 지능형 교통 시스템에의 응용

이승연 ,  박수용 ,  정성원

정보과학회논문지 : 소프트웨어 및 응용

2001 .07

마이크로프로세서 검증을 위한 가상 컴퓨터 시스템의 개발

김영완 ,  이정엽 ,  서광수 외 2명

대한전자공학회 학술대회

1994 .11

가상생산기술 적용을 위한 자동차 가상플랜트 구축 및 활용 ( Construction and Applications of the Virtual Automotive Plant for a Virtual Manufacturing )

노상도 ,  이교일 ,  손창영 외 2명

대한기계학회 논문집 A권

2001 .10

임베디드 소프트웨어의 검증에 관한 연구

이상용 ,  장중순 ,  최경희 외 3명

대한산업공학회 추계학술대회 논문집

2004 .11

컴퍼넌트 재사용에 의한 소프트웨어 아키텍쳐 생성 프레임워크

황하진 ,  손이경 ,  김행곤

한국정보시스템학회 추계 학술발표논문집

1997 .01

가상이미징 시스템

박성춘

방송과 미디어

2002 .12

가상생산 시스템을 위한 인터넷 환경의 가상공장 개발 ( Development of a Virtual Factory on Internet for a Virtual Manufacturing System )

공상훈 ,  이성도 ,  노상도 외 1명

대한기계학회 춘추학술대회

1997 .01

[특집 ②]바이오 아키텍쳐

정인하

건축

2005 .08