Cs-Se
형식 안전 메시징을 위한 최신 발전
Matlab Simulink에서 첫 번째 클래스 변이 모델링
객체지향 소프트웨어 테스트 자동생성 및 최적화 방법
생성기 라이선스가 생성물에 미치는 영향
로봇 개발을 위한 MontiArcAutomaton ADL 맞춤화
수요 기반 비정확 비행 궤적 식별 및 필터링
하이브리드 모바일 개발의 현주소와 기업 적용 전략
객체 실행을 위한 동시 모델
효율적인 컴포넌트 재사용을 위한 프레임워크 스튜디오
분산 시스템 보안 정책 테스트 차량 네트워크 사례 연구
자율주행 소프트웨어 엔지니어링: 시뮬레이트 퍼스트 접근법
ICT 민첩한 거버넌스로 비즈니스 혁신
BPM 애자일 가상화가 만드는 효과적인 솔루션
객체 행동을 기술하는 자동자 모델
모달 객체 다이어그램을 통한 구조 요구사항 표현
경량 로봇 스킬 프로그래밍 언어
모듈형 웹 시스템 개발을 위한 MontiWeb
레거시 소프트웨어 제품 라인 잠재력 평가
게임 사용성 평가 감정 측정 센서 비교 연구
로봇 시스템을 위한 요구사항 기반 컴포넌트 행동 모델링 언어
Eclipse에서 조합형 DSL을 위한 효율적인 에디터 생성
비즈니스 서비스 추적성 향상을 위한 온톨로지 기반 프레임워크
