Cs-Se
인터프리터 구축을 위한 변수 제거 기법
다중 뷰와 프로그램 변환을 통한 함수형 언어 진화 문제 해결
확률적 레오 커넥터를 위한 구성적 의미론
IUfA UUIS SRS 프로젝트 접근법 분석
객체지향 소프트웨어 결함 예측 모델
객체지향의 본질과 전 단계 적용 방안
중규모 IT 기업의 결함 예방 접근법
서비스 지향 컨텍스트 인식 프레임워크
Ajax 푸시와 풀 기술 비교 분석
소프트웨어 산업 성과 향상을 위한 요구사항 공통 언어 설계
손실 인터페이스 어댑터 체인링의 수학적 기반
경량 시간 모델링을 위한 타임드 크리올
스프레드시트 교육 설계 원칙
품질보장 기반 웹 서비스 통합 설계와 발견 패턴
에이전틱TCAD: LLM 기반 다중 에이전트 프레임워크를 활용한 자동 TCAD 코드 생성 및 디바이스 최적화
소프트웨어 테스트 직업의 동기와 탈동기 요인에 관한 국제 비교 연구
FastFlow 기반 소프트웨어 가속기로 순차 프로그램 가속
COM 객체 수명 주기 프로세스 설명
분산 임베디드 시스템 모델 기반 개발 Scicos와 SynDEx 사례 연구
스프레드시트 감사 도구 실효성 분석
데이터 흐름도 규칙 형식화와 일관성 검사 도구
복합 토폴로지를 갖는 파라메트릭 사양 자동 검증
