Cs-Se
스마트폰 트레이스를 활용한 사이버물리 시스템 대규모 추정
신경 퍼지 모델을 이용한 기능점 보정
실시간 컴포넌트 시스템의 안전하고 시한 보장된 동적 관리 인프라
안전한 웹 서비스 회귀 테스트 기법
애자일 CI 혁신을 위한 동적 회귀·코드 바이섹터·코드 품질 통합
애자일 개발 속 인간 요인 탐구
애자일 테스트 기반 모델링
양자화 이산시간 하이브리드 시스템 자동 제어 소프트웨어 합성
에이전트 기반 시스템 요구사항·형식 검증·모델 변환 사례 연구
엔터프라이즈 아키텍처를 위한 W6H 관점 정렬 프레임워크
오픈소스 개발자는 사용자 의견을 듣는가
오픈소스 분야 품질 실천 탐색적 분석
오픈소스 프로젝트 지원 요청 관리와 온라인 포럼의 역할
요구공학 연구와 실무 격차 해소를 위한 교육 혁신
요구사항 추적을 위한 통계적 용어 추출 기법
웹 기반 애플리케이션 통합 테스트와 품질 보증 전략
웹 서비스 유사도 계산을 위한 새로운 효율적 방법
웹 애플리케이션에서 네트워크 근접성 활용
인터랙티브 분산 및 사이버 물리 시스템을 위한 MontiArc 아키텍처 모델링
일반천체 시뮬레이션 시스템 GenASiS 가변 격자와 비상대론적 유체역학
임베디드 리눅스 메모리 버그 탐색과 해결
임베디드 시스템을 위한 TDD 기본 접근법과 도구 세트
