Cs-Se
프롤로그 기반 프로그래밍 언어 분석 환경 ECLAIR
객체지향 언어 구현·컴파일·최적화 워크숍 보고서
함수형 프로그램을 위한 힙 참조 분석
ER 사양을 선언형 프로그램으로 컴파일
동적 아키텍처를 갖는 그룹 통신 지원 애플리케이션을 위한 상황 인식 적응
프로그램 검증 도구 비교 연구
복잡도 기반 스프레드시트 시각화와 집중 유지보수 지원
타일 어셈블리 모델을 위한 도메인 특화 언어
HasCASL에서 귀납·공동귀납 타입 부트스트랩
서비스 통합을 위한 인터페이스 매칭 및 결합 기법
CUDF 포맷 통합 업그레이드 문제 기술 사양
스프레드시트 분석 입문
오픈소스 프로젝트 자동 회귀 테스트 도입기
계약 인식 컴포넌트 10년 뒤
제한 운동 학습을 위한 생산성 도구 전기공 접근법
언어 기술을 위한 문법적 측면
지속성 프로그래밍에서 반사와 하이퍼프로그래밍
ISO IEC 9126 기반 코드 품질 평가 방법론
ABAP 최적화 검증을 위한 재사용 가능한 소프트웨어 컴포넌트 구축
프리프로세싱 소스코드 기반 품질 향상 및 측정 분석
비즈니스 언어 기반 개발
파이썬 행동 주도 개발을 위한 도구 스택
