Cs-Se
UML 사양으로부터 성능 확률 모델 자동 생성
WS 정책 의미 비기능 속성 정의를 위한 MDA 접근법
서비스 지향형 쿼리 식별 및 솔루션 개발을 위한 시맨틱 웹 멀티에이전트 모델
MIDI‑LAB: 초보자를 위한 직관적 MIDI 제작 도구
비기능 요구사항 분석을 위한 4단계 계층 접근법
EventB 상태기계 코드생성과 사이버물리 시스템 공동시뮬레이션
클래스다이어그램 의미 차이 분석기
객체지향 시스템 모델 기반 테스트
UML을 정형 모델링 표기법으로 발전시키다
맥락 기반 기본 요구사항 도출 실증 검증
핸드코드와 자동생성코드 통합 메커니즘 비교
협업 프로세스 런타임에서 이벤트 기반 민첩성
이기종 모델링 언어 통합을 위한 확장 가능하고 조합 가능한 언어 컴포넌트
복잡도 상승이 노력 감소를 초래한다 소프트웨어 개발 노력 예측의 역설적 관계 탐구
메트로마닐라 기업을 위한 사전산업 시스템 개발자 서비스 분야 분석
상태 전이 다이어그램을 이용한 기능 명세와 정제
다중 플랫폼을 위한 모델·코드 라이브러리 기반 컴포넌트·커넥터 시스템 자동 생성
소프트웨어 프로젝트 관리 불확실성 체계적 고찰
디지털 생태계 통신 언어 사양
터키 소프트웨어 엔지니어링 실천 현황 조사
자바 소스 코드 클러스터링 구문과 의미 통합 기법
사용자 중심 프라이버시 강제 구현을 위한 클라우드 기반 사물인터넷 서비스
