Cs-Se
스프레드시트 자체 검증 실태 조사: 현장 적용 사례 분석
계층형 Ptolemy DE 모델을 위한 Real Time Maude 의미론 확장
제품 개발에서 결함 예방의 효과 분석
전략적 논리 프로그래밍 PRholog의 설계와 활용
LXG 컴파일러 설계와 구현
모바일 UI 설계에 MVC와 PAC 패턴 적용 전략
두단계 프로그래밍 툴킷 효과 검증 실험 보고서
스프레드시트 리팩터링 기법
프로로그 시각화 시스템 로직차트 다이어그램 활용
인공지능 진동대 테스트로 동적 적응 시스템 검증하기
자연어 기반 제품 데이터 관리 정보 처리기 설계 및 구현
열 시스템 모델링을 위한 재작성 논리 기반 기법
실시간 가상 에뮬레이션 기반 안전 의료기기 제어
방글라데시 소프트웨어 기업의 개발 표준과 실천 현황 연구
페이스북 API 코드 계약 적용 경험 보고서
서비스 상호작용 프로토콜 분석과 검증 개요
신뢰성 시스템 사양 도출 방법
관계 제약 기반 웹 애플리케이션 테스트 자동 생성
소셜 머신 시대의 등장과 연결망
CLP 기반 객체지향 언어 테스트 케이스 자동 생성
보안 민감 웹 서비스 자동 검증 BPEL과 RBAC 통합
복잡한 소프트웨어 조립을 간소화하는 컴포넌트 검색 언어와 구현
