Cs-Se
데이터타임드 오토마타의 그래프 변환 기반 자동 테스트 도구
구조화된 스프레드시트 모델링과 구현
COTS 기반 개발을 위한 검색 엔진 성능 비교와 향후 과제
돌넷 분업 기반 분산 객체 지향 소프트웨어 프로세스 모델
인터랙티브 개미군집 최적화로 조기 소프트웨어 설계 지원
멀티스레드 프로그램을 위한 사망 코드 제거와 포인터 분석
런타임 힙 추상화와 프로그램 이해
UI 기반 UML 모델링 일반 방법론
재생에너지 도입 시 전력시장 균형의 섭동 분석과 수요반응 완화 효과
소프트웨어 제품 라인에서 파생 가능성 및 추적성 형식화
저결합 클래스의 개념 클러스터 식별을 위한 메트릭 보강형 군집화 기법
보간법을 이용한 프로그램 불변식 자동 생성
소프트웨어 개발 협업 구조 충돌 탐지와 해결
확률적 프로그램 의존 그래프를 활용한 자바 프로그램 결함 위치 추정
클라우드와 연계된 무선 센서·액터 네트워크 설계 표준
가상 파일시스템 스위치 형식 모델
사이버 물리 시스템을 위한 MontiArcAutomaton 아키텍처와 행위 모델링
다국어 온톨로지 서버를 통한 웹 서비스 자동 탐색
신경 퍼지 기법을 활용한 함수 포인트 보정
UML 아티팩트 재사용 최신 동향
소프트웨어 엔지니어링 인적 요소 향상을 위한 베이지안 분류기 활용
다크스플러 안드로이드 달빅 바이트코드 Jimple 변환기
