Cs-Se
페트리넷 모델체크 콘테스트 2012 실험보고서
무료 몬테카를로 시뮬레이터 Archimedes 소개
자동증명 생성기 모델링을 위한 컬러드 페트리넷 기반 함수 종속성 규칙 연구
상태도 기반 최소 테스트케이스 생성 기법
Event B 모델을 위한 증명 힌트 활용 방안
그래프 의미 기반 반구조 데이터베이스 설계
이벤트비 정제 전략 계획 새로운 방법
GUI 애플리케이션 검증을 위한 블랙박스 모델 활용
스크립트형 컴퓨터 비전 라이브러리 마호타스
Boost.Build 빌드 시스템의 혁신
시간 제약 사양 이론의 재조명 선형 시간 관점
동적 온톨로지를 위한 버전그래프 통합 가이드
검사 깊이와 검사 성과 지표를 활용한 결함 관리
온라인 소매 애플리케이션 통합 테스트 전략
와일드파이어 시뮬레이션을 위한 데이터 관리와 분석 도구
런타임 불확실성을 다루는 자기 적응 시스템 성능 향상 프레임워크
전략과 측정을 연결하는 GQM+Strategies 방법론
다중 역할 요구사항 포착을 위한 PAR와 i 모델링 연계 프레임워크
무선 인터넷 서비스 소프트웨어 개발 프로세스 설계의 실증적 접근
분산 소프트웨어 개발을 위한 체계적 작업 할당 평가 프로세스
시뮬레이션 기반 코드 검사 위험 감소
신경영상 분석을 위한 추적성 제공 시스템
