paper-with-me

홈 › Papers

Conjecture and Inquiry: Quantifying Software Performance Requirements via Interactive Retrieval-Augmented Preference Elicitation

2026-04-23 · Shihai Wang, Tao Chen arxiv

Since software performance requirements are documented in natural language, quantifying them into mathematical forms is essential for software engineering. Yet, the vagueness in performance requirements and uncertainty of human cognition have caused highly uncertain ambiguity in the interpretations, rendering their automated quantification an unaddressed and challenging problem. In this paper, we formalize the problem and propose IRAP, an approach that quantifies performance requirements into mathematical functions via interactive retrieval-augmented preference elicitation. IRAP differs from the others in that it explicitly derives from problem-specific knowledge to retrieve and reason the preferences, which also guides the progressive interaction with stakeholders, while reducing the cognitive overhead. Experiment results against 10 state-of-the-art methods on four real-world datasets demonstrate the superiority of IRAP on all cases with up to 40x improvements under as few as five rounds of interactions.

📄 PDF Abstract BibTeX arXiv:2604.21380

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

A Review of Theoretical and Practical Challenges of Trusted Autonomy in Big Data

2016-03-16 · Hussein A. Abbass, George Leu, Kathryn Merrick

Despite the advances made in artificial intelligence, software agents, and robotics, there is little we see today that we can truly call a fully autonomous system. We conjecture that the main inhibitor for advancing auto…

Reconciling Privacy and Explainability in High-Stakes: A Systematic Inquiry

2024-12-30 · Supriya Manna, Niladri Sett

Deep learning's preponderance across scientific domains has reshaped high-stakes decision-making, making it essential to follow rigorous operational frameworks that include both Right-to-Privacy (RTP) and Right-to-Explan…

Decision MakingPrivacy PreservingRTE

Natural Language Requirements Testability Measurement Based on Requirement Smells

2024-03-26 · Morteza Zakeri-Nasrabadi, Saeed Parsa

Requirements form the basis for defining software systems' obligations and tasks. Testable requirements help prevent failures, reduce maintenance costs, and make it easier to perform acceptance tests. However, despite th…

Quantifying the Impact on Software Complexity of Composable Inductive Programming using Zoea

2020-05-17 · Edward McDaid, Sarah McDaid

Composable inductive programming as implemented in the Zoea programming language is a simple declarative approach to software development. At the language level it is evident that Zoea is significantly simpler than all m…

Will AI replace Software Engineers? Do not hold your breath

2025-02-27 · Abhik Roychoudhury, Andreas Zeller

Artificial Intelligence (AI) technology such as Large Language Models (LLMs) have become extremely popular in creating code. This has led to the conjecture that future software jobs will be exclusively conducted by LLMs,…