Cs-Se
구성 요소 업그레이드 정렬
ATL 기반 MDA 변환으로 MVC2 웹 모델 자동 생성
자바와 객체팀의 모듈성 지원 비교
스토리 관리용 사가 게임 개발 생산성 혁신
증명 가능한 안전 흐름 네트워크를 위한 도메인 특화 언어
법률 초안을 위한 형식화 도구와 모델 검증
현대 소프트웨어 위기를 극복하는 BRIDGE 프로세스 모델
현대 오픈소스 소프트웨어 기술의 핵심 요소와 새로운 수요 지원 방안
소프트웨어 컴포넌트 재사용성 평가를 위한 메트릭 기반 접근법 총정리
대규모 복합 IT 시스템 설계·운용의 새로운 패러다임
QoS 온톨로지를 활용한 컴포넌트 선택
특징 인식 검증으로 인터랙션 자동 탐지
CPU 모델 자동 생성 의사형식 매뉴얼에서 고속 ISS까지
시간 트리거형 시스템온칩 시뮬레이션을 위한 BIP 모델링
제약 기반 무한대기 검사와 ProB의 산업 적용
요구사항 명세 자동화 도구 SRS Builder 1.0 소개
연합형 ERP 시스템 개발 가능성 종합 평가
DSL 평가, 실천에서 사라진가?
센서 관측 서비스(SOS) 실제 구현 현황: 서버 인스턴스 56개 종합 분석
조건부 모델 검증 새로운 패러다임 실패에도 결과를 남기다
DiaSpec 로 로봇 시스템 설계와 구현: 장점과 한계
시각 자동자를 이용한 시각적 전자 계약 의미론
