Cs-Se
신뢰성 높은 빌드 시스템을 위한 모델과 프레임워크
소프트웨어 제품 라인 개발·관리 규칙
결합도와 응집도가 설계 품질에 미치는 영향
우주 시스템 자동 테스트 생성
멀티에이전트 로봇 시스템의 형식 요구사항 및 아키텍처 설계
모델 합성 추적성의 형식적 정의
산업 4.0을 위한 의미 단계
소프트웨어 사용 품질 측정 난관 해소 방안
소프트웨어 품질 모델 리뷰와 현황 분석
스크럼과 PRINCE2 기반 위험 관리 모델
스프레드시트에서 비즈니스 규칙 자동 추출
약한 메모리 모델 검증을 위한 프로그램 변환 기법
엑셀 2013 인콰이어 도구 분석과 개선 방안
웹 개발 프로젝트를 위한 PRINCE2와 Scrum 통합 프레임워크
프로세스 모델 차이 분석을 통한 프로세스 진화 지원
해시 컴포넌트 모델 기반 병렬 프로그램의 조정 레벨을 위한 페트리넷 분석
Accord.NET으로 배우는 주성분 분석 튜토리얼
BMW 차량 소프트웨어를 위한 객체지향 실시간 개발 방법 BROOM
CD2Alloy 클래스 다이어그램 Alloy 분석
DMARF와 GIPSY 리팩터링 연구
DMARF와 GIPSY 리팩터링 연구
DMARF와 GIPSY 리팩터링 연구 보고서
