2009년 12월호 (Vol.22, No.4)

• 헤밀턴 경로를 CTL 모델 검증으로 찾기 … 홍승안, 권기현
• 메모리 모델 적용을 통한 심볼릭 포인터 참조의 구현 … 이지훈, 김윤호, 김문주
• 자가 적응형 소프트웨어 기술의 서비스 로봇 응용 … 김황욱, 김종훈, 박수용
• 소프트웨어 재사용 지원을 위한 사용자상황정보 통합 방법 연구 … 허휸, 최호진

2009년 09월호 (Vol.22, No.3)

• 비기능 요구사항 중심 객체 지향 설계 … 강동민, 조동석, 배두환
• MC/DC 커버리지를 위한 테스트 요구 사항 … 권령구, 홍승안, 권기현
• 소프트웨어 컴포넌트 검색을 위한 사례기반 추론 … 허윤, 최호진

2009년 06월호 (Vol.22, No.2)

• 소프트웨어 보안취약점별 테스팅 기법 분류 … 이은표, 최보윤, 이병걸
• 표준 개발프레임워크 평가 접근법 연구 – 전자 정부 표준프레임워크 사례분석 … 정치영, 배두환
• 국지화된 웹 서비스 대상의 TPC-App 확장 적용 … 서보국, 이상현, 정종하, 고인영, 이단형
• 서비스 연결 테스트를 위한 모델 기반 테스트 설계 … 윤회진

2009년 03월호 (Vol.22, No.1)

• 품질 향상을 위한 소프트웨어 산출물의 추적성 확대 … 서광익, 최은만
• 적응적 소프트웨어 아키텍처의 다이너미즘 설계 방법 … 성열웅, 배두환
• 서비스 지향 기반 혈압 관리 시스템 설계 … 박선영, 김남현, 안성현, 김종옥
• 국방 소프트웨어 자산의 재사용성 증대를 위한 웹2.0 기반의 재사용 지원 환경 … 구현민, 조혜경, 최선태, 고인영
• MultiCharts의 포트폴리오를 위한 다중 진입 전략의 시그널 변환 시스템 설계 … 고영훈