Cs-Se
협업 기반 요구 모델 변환 기법
주기 제어 시스템을 위한 모드 다이어그램 모델링 프레임워크 MDM
마이크로커널 검증에서 배운 교훈 사양이 새로운 병목
SOA 솔루션 재사용을 위한 모델 기반 가변성 관리 방법
현대 시맨틱 웹 서비스 프레임워크 총괄 및 비교
함수형 프로그래밍이 보안에 미치는 영향
엑셀에서 사용자 정의 스프레드시트 함수 만들기
초기 단계 소프트웨어 개발 노력 예측 퍼지와 신경망의 대결
모듈형 무선 센서 설계의 새로운 조합 접근법
SOA 입문자를 위한 핵심 가이드
소프트웨어 팩토리를 활용한 빠른 애플리케이션 개발
시스템 모델에 상태를 입히다 SYSLAB의 새로운 접근
데이터 흐름 아키텍처 단계적 정제
계층형 익스트림 프로그래밍: 대규모 프로젝트를 위한 확장 전략
ET플러스플러스 이벤트 처리 메커니즘의 대수적 명세 연구
UMLF 프레임워크 변이점 표현을 위한 새로운 UML 확장
민첩한 SOA 개발을 위한 새로운 접근법
신뢰성 복합시스템 설계를 위한 SysML 지식베이스
메시지 기반 디바이스 드라이버 자동 검증
사용자 시나리오 기반 시스템 테스트 혁신
코드 가시성 확대와 재사용 촉진
프로세스 대수와 행동 기반 CTL의 통합
