Cs-Se
문맥 의존 서비스 사양과 검증
시맨틱 웹과 데이터 통합 도구의 불일치 해결
버그 정보와 코드 특징을 활용한 연관 버그 자동 탐지 시스템
운영변환과 CRDT의 진실: 실시간 공동편집기 선택의 핵심 차이점
스마트 계약 설계 보안을 위한 실행 가능한 TLA+ 모델 구축
소규모 기업을 위한 사용성 프로세스 자체 평가 방법 UPCASE
IoT 품질 보증의 현재 과제와 테스트 방법론
멀티뷰 학습으로 보는 소프트웨어 이해와 리팩터링
실시간 병렬 모델 기반 강화학습 로봇 제어 아키텍처
모브 프로그래밍 실전 적용과 조직적 인사이트
피지국립대학 캠퍼스 정보시스템 최적 아키텍처
프랙탈 컴포넌트 시스템의 동기식 재구성 제어
AI 기반 복합 시스템을 위한 요구공학 도전과 RE4AI 체계
PLC 인증을 위한 Coq 기반 SFC 도구
클라우드 SaaS 품질 평가를 위한 통합 모델 SaaS CloudQual
인도네시아 대학 전자 결제 시스템 개발과 성공 요인 해결 방안
기업 문서 관리 시스템 실패 원인과 구조 의도 분석
파이FML 파이썬 기반 텍스트형 피처 모델링 언어
요구사항 도출을 위한 이해관계자 우선순위 계산 새로운 접근법
정적 분석 도구의 실전 비교: Java와 C/C++ 취약점 탐지 성능 평가
자기 적응형 IoT 애플리케이션 개발을 위한 MDD 기반 프레임워크
글로벌 게임잼 참가자들의 개발 실태와 교훈
