Cs-Se
고급 사용자 선호를 반영한 패키지 설치 최적화
증명 이론과 항 재작성 시스템 복잡도 분석
인터랙티브 구성 과정 완전성 확보
자동문서화: 딥러닝 기반 코드‑주석 생성 도구 Autodoc
분산 객체 의료 영상 모델
MAP 의도 모델 가이드 향상을 위한 그래프 이론 적용
대규모 임베디드 소프트웨어 연속 검증과 SMT 기반 경계 모델 검사
비동기 환경에서 행동 일관성 제약 검사와 전역 활동 순서 파악
GIPSY 환경의 다계층 아키텍처 설계 및 구현 최신 연구
워크플로우 예외와 실패에서 자원 사용 고려사항
UML 가이드라인과 일관성 규칙에 대한 언어 이론적 접근
워크플로우 기술로 구현하는 맞춤형 비즈니스 솔루션
소프트웨어 서비스 장애 복구와 상태 복제 기술
객체지향 시스템 버그 분포 분석
안전 요구사항 형식화와 제어 자동자
보안 정책 자동 배포를 위한 신뢰성 있는 프로세스
오픈소스 저장소 품질 분류기
대규모 블록 인코딩을 활용한 소프트웨어 모델 검증
비즈니스 프로세스 모델링 표기법 개요
보간자를 활용한 전이 관계 근사화
시티오브런던 스프레드시트 모델 감사의 실전 가이드
Eclipse용 프로로그 의미 인식 편집기
