Cs-Se
소프트웨어 품질 모델 리뷰와 현황 분석
스크럼과 PRINCE2 기반 위험 관리 모델
스프레드시트에서 비즈니스 규칙 자동 추출
약한 메모리 모델 검증을 위한 프로그램 변환 기법
엑셀 2013 인콰이어 도구 분석과 개선 방안
웹 개발 프로젝트를 위한 PRINCE2와 Scrum 통합 프레임워크
프로세스 모델 차이 분석을 통한 프로세스 진화 지원
해시 컴포넌트 모델 기반 병렬 프로그램의 조정 레벨을 위한 페트리넷 분석
Accord.NET으로 배우는 주성분 분석 튜토리얼
BMW 차량 소프트웨어를 위한 객체지향 실시간 개발 방법 BROOM
CD2Alloy 클래스 다이어그램 Alloy 분석
DMARF와 GIPSY 리팩터링 연구
DMARF와 GIPSY 리팩터링 연구
DMARF와 GIPSY 리팩터링 연구 보고서
DMARF와 GIPSY 리팩터링을 향한 설계 분석
DMARF와 GIPSY 아키텍처 품질 분석
ERP 도입 성공을 위한 핵심 성과 지표와 보안 관리 방안
HL7 임상 데이터 포털 설계와 구현
JMS 토크 기반 워크플로우 관리 시스템
MARF와 GIPSY 품질 속성 측정 사례 연구
Matita 웹 인터페이스 구현 및 활용
NSF 소프트웨어 지속가능성과 생산성 도전 과제