Cs-Se
HEP 데이터 보존을 위한 CRISTAL 기반 추적성 및 프로비넌스
UML 실행 모델링 비전과 악몽
UML 모델 시뮬레이션을 위한 시스템 모델 기반 접근
애자일 요구공학으로 기존 브라운필드 시스템 재설계
분산 소프트웨어 시스템 성능 평가 모델 종합 고찰
애자일 요구사항 모델 테스트
모델 검증을 위한 마코프 의사결정 과정 학습
컴퓨테이셔널 신경과학 소프트웨어 개발 현황과 개선 방안
소규모 소프트웨어 기업의 웹 애플리케이션 개발 및 측정 실태
커뮤니케이션 분석 모델링 기법
생태학에서 배우는 소프트웨어 설계 혁신
자동 추상 변환기를 이용한 불변식 생성기
검증 조건 생성기의 설계와 알고리즘
애자일 프로세스의 한계와 적용 위험
소프트웨어 개발 노력 예측을 위한 의사결정트리와 랜덤포레스트 비교 연구
정확한 소프트웨어 개발을 위한 뷰 기반 접근
메트로 시스템 개발 경험과 교훈
소프트웨어 요구사항 전략 정렬을 위한 목표 그래프 모델링
강력한 사양의 가치
소프트웨어 결함 관리 전략 품질 혁신 로드맵
페트리넷 모델체크 콘테스트 2012 실험보고서
무료 몬테카를로 시뮬레이터 Archimedes 소개
