Cs-Se
정확한 프로그래밍 속성 사고법
시각적 추론 설계와 규칙 모듈화 통합 방안
액터 연속 전달로 구현하는 효율적인 요청 라우팅
유전체 데이터베이스 차등 압축을 위한 손실 없는 차이 코드 알고리즘
GCC 플러그인 개발을 위한 고성능 DSL MELT
SLALOM 서비스 수준 계약 명세와 모니터링을 위한 도메인 언어
기업 아키텍처 선택을 위한 종합 측정 프레임워크
분산 시스템 계약 모니터링을 위한 mDPi 계산법
센서·컴퓨트·제어 애플리케이션을 위한 인터랙션 계약 기반 아키텍처 설계
시스템 설계에서 불확실성 분석의 필요성
시간 제약 비동기 시스템 모델링을 위한 타임드 Rebeca
상태 기반 테스트: 코드와 계약의 오류를 더 많이 찾아라
웹 브라우저 다중 컨텍스트 통신 분류 체계와 향후 연구 로드맵
애자일 방법론 적합성 평가를 위한 OPP 프레임워크
합류 하스 다이어그램의 새로운 접근법
비순환 프로세스 모델의 최대 구조화
SOA 보안 모델: 서비스 지향 아키텍처의 위협과 방어 전략
프로그램 슬라이싱 기법 및 응용
비즈니스‑소비자 전자상거래를 위한 도메인 패턴 종합 가이드
소프트웨어 요구변동 패턴이 프로젝트 역학에 미치는 영향
웹 애플리케이션 디버깅을 위한 역방향 트레이스 슬라이싱
함수 기반 비선형 최소제곱법과 Jelinski‑Moranda 신뢰도 모델 적용
