Cs-Se
기업 비즈니스 솔루션 아키텍처 분석을 위한 개념적 프레임워크
기초 경로 테스트를 위한 유전 알고리즘 기반 테스트 데이터 생성 방법
논리웹의 상호 배타적 규칙 구현
다중 에이전트 로봇 시스템의 형식 사양 및 검증 접근법
다중기준 순위화 복합 전략 설계와 적용
다학제 스프레드시트 모델 분석 및 최적화 방법론
단일 창 통합 개발 환경
대여형 페트리넷과 계약 모델
동아프리카 소프트웨어 개발 산업의 지식관리와 가치제안
동적 웹 서비스 조합을 위한 고수준 페트리넷 기반 QoS 지원 모델
런타임 모델을 활용한 자기 적응 시스템 보증
로봇 소프트웨어를 위한 코드 생성기 조합 모델
로봇 시스템을 위한 통합 아키텍처와 행동 모델링 프레임워크 MontiArcAutomaton
로봇 원격수술 시스템의 시스템 이론 기반 안전성 평가
모델 기반 위험 및 영향 분석
모델 라이브러리 진화를 위한 사전 품질 가이드
모델 합성 의미론의 대수적 접근
모델링 언어 품질 평가와 도구 분석
모듈러 시스템 설계 위한 형태학적 방법 조사
모바일 클라우드 컴퓨팅을 위한 시장 지향 서비스 지향 아키텍처
모바일 폰 운영체제용 온톨로지
무선 인터넷 서비스 개발에서 증거 포착 방법론
