Cs-Se
경량 서비스 지향 아키텍처 기반 퍼베이시브 컴퓨팅
테스트와 정리 증명을 결합한 자동 반례 생성 시스템
복잡소프트웨어의 커뮤니티 구조: 클래스 의존성 네트워크 분석과 활용
자동 바이너리 CFG와 타임드 오토마타를 이용한 WCET 정확도 향상
클라우드 기반 스프레드시트 프레임워크와 교육·보건 관리 시스템
런타임 웹 서비스 통합을 위한 계산 가능성 평가 모델
SpinJa 모델 검사기에서 분산 MAP 구현
소셜 서비스 브로커 UDDI와 사회적 요구 기반 서비스 선택 강화
Henshin을 활용한 TTC 2011 리엔지니어링 사례 해결
재무 기능을 위한 사용자 프로파일 기반 실용 스프레드시트 통제 설계
모델과 구현의 동시 진화: 실무 적용과 교훈
코드 기반 자동 프로그램 수정
범위 이름이 스프레드시트 공식 개발에 미치는 영향: 신뢰성 및 시간 분석
퍼지 아이디쓰리 의사결정트리 기반 소프트웨어 노력 추정
GROOVE로 툴 콘테스트 컴파일러 최적화 사례 해결
스마트 스웜 탐색을 위한 HIVE 도구
스프레드시트 합성을 위한 플랫폼
분산 시스템을 위한 LTL 모니터링: 현장 적용을 위한 효율적 알고리즘
재구성을 위한 상태머신 추출 변환 사례 연구
진화하는 모듈형 소프트웨어 네트워크: 데비안 시스템 사례
소프트웨어 회귀 테스트 비용 절감을 위한 의사결정 트리 기반 자동화 선택 기법
정부 부처의 소셜 네트워크 사이트 관리와 활용
