Cs-Se
계약 위반 트레이스 간소화 기법
테스트 마이그레이션 문제를 SAT 솔버로 해결
규범 사양의 일치 검증을 위한 C‑O 다이어그램
다차원 메타그래프 기반 SaaS 다중 테넌트 맞춤형 모델링
분산 웹 환경 설정 취약점 탐지
가상천문관측소 분산 소프트웨어 개발 성공 전략
협업 위키 기반 연구 플랫폼
세밀한 구현을 추상화로 검증하는 선형가능성 증명
실패 복구 확률을 높이는 원자적 교체 접근법
구조 분석 포인트투 연산을 통한 형태 정보
Maple 프로그램의 형식 사양 및 검증
스마트폰에서 직접 수행하는 바이트코드 계측으로 안드로이드 프라이버시 강화
대규모 이기종 시스템을 위한 구성적 모델링 기반 확장형 모델 기반 개발
동적 알고리즘을 위한 청크와 태스크: 새로운 병렬 프로그래밍 모델
힙 추상화를 통한 논리적 연관 영역 인식
프로그래머 중심 프로그램 검증의 새로운 패러다임
예측 소프트웨어 측정과 Z 사양 사례 연구
데이터타임드 오토마타의 그래프 변환 기반 자동 테스트 도구
구조화된 스프레드시트 모델링과 구현
COTS 기반 개발을 위한 검색 엔진 성능 비교와 향후 과제
돌넷 분업 기반 분산 객체 지향 소프트웨어 프로세스 모델
인터랙티브 개미군집 최적화로 조기 소프트웨어 설계 지원
