Cs-Se
진화하는 소프트웨어 제품 라인 설계 검증의 새로운 접근법
동시 객체지향 개발을 위한 행동 디자인 패턴 매핑
복합 이벤트 모델링과 자동 CEP 설정 생성
ASP.NET 데이터 바인딩 성능 실증 연구
시맨틱 웹 기반 센서 계획 서비스 OGC SWE 새로운 패러다임
도메인 특화 모델링으로 이끄는 자동 테스트 생성
스프레드시트와 외부 환경 연결 방법
객체지향 컴포넌트 라이브러리 활성도 측정 지표
대규모 모델 기반 개발을 가로막는 힘과 마찰: 자동차 기업 사례 연구
강건 타이밍 사양을 위한 파라메트릭 반례 정제 방법
경량형 포럼 기반 분산 요구사항 도출 프로세스
복합 병렬 과학 소프트웨어를 위한 통합 통신 디자인 패턴
iKnow 전환을 위한 데이터 마이그레이션 사례 연구
소프트웨어 구성요소 검증을 위한 도구 기반 접근
계약 위반 트레이스 간소화 기법
테스트 마이그레이션 문제를 SAT 솔버로 해결
규범 사양의 일치 검증을 위한 C‑O 다이어그램
다차원 메타그래프 기반 SaaS 다중 테넌트 맞춤형 모델링
분산 웹 환경 설정 취약점 탐지
가상천문관측소 분산 소프트웨어 개발 성공 전략
협업 위키 기반 연구 플랫폼
세밀한 구현을 추상화로 검증하는 선형가능성 증명
