[논문] 의미 있는 소프트웨어 만들기

개요

단일 측정을 채택하면 소프트웨어의 사용성, 모듈성 및 책임성을 향상시킬 수 있습니다: 명시적 의미에 대한 약속입니다. 이는 적용 분야에서 관찰되는 소프트웨어 동작에 대한 표현을 구축하고 합의하는 것을 의미합니다. 이러한 동작을 구성하는 현상들은 모든 이해관계자와 모든 산출물·활동에 대한 소프트웨어 논의를 기반으로 하는 어휘가 됩니다. 이 현상들은 개별 존재, 그들이 참여하는 행동, 그리고 행동으로부터 발생하는 사실들입니다. 행동 집합을 분할하여 개념으로 조직함으로써 더 큰 의미 단위를 제공할 수 있습니다. 의미 활용의 예는 세 영역에서 제시됩니다: 사용성을 위한 설계(사용자와 설계자가 하나의 공유 의미에 맞추는 것); LLM을 이용한 모듈식 코드 생성(의미 단위를 코드 단위에 매핑하여 모듈성뿐 아니라 가독성도 확보); 그리고 에이전트의 책임성 확보(의도된 행동을 정의하는 행동 강령을 따르게 함).

주요 기여

• cs.SE
• cs.HC

방법론

자세한 방법론은 전체 논문을 참고하십시오.

실용적 함의

이 연구는 cs.SE 분야의 발전에 기여합니다.

저자

• Eagon Meng
• Abutalib Namazov
• Carmel Schare
• Alcino Cunha
• Daniel Jackson

논문 정보

• arXiv ID: 2606.11051v1
• Categories: cs.SE, cs.HC
• Published: 2026년 6월 9일
• PDF: Download PDF