Logan Murphy, Wilson Sy, Rhys Balevicius, Kelsie Fung, Karenna Kung, Aren A. Babikian, Marsha Chechik · 2026 · arXiv
DOI: 10.48550/arXiv.2610.29758 · open-access PDF
O uso de ferramentas baseadas em IA no desenvolvimento de software está mudando rapidamente a forma como o software é produzido, permitindo que grandes volumes de código sejam gerados com esforço humano limitado. No entanto, isso levanta desafios fundamentais para garantir que os artefatos gerados estejam alinhados com a intenção do desenvolvedor e tenham sido devidamente validados. Neste trabalho, propomos o uso de argumentação estruturada para impulsionar o desenvolvimento de software assistido por IA. Inspirados por técnicas da engenharia de garantia para sistemas críticos de segurança, definimos uma linguagem de racionalidade de justificação que se relaciona explicitamente com inf.
Machine translation (Meta M2M100); the English original follows.
The use of AI-based tools in software development is rapidly changing how software is produced, enabling large volumes of code to be generated with limited human implementation effort. However, this raises fundamental challenges for ensuring that generated artifacts are aligned with developer intent and have been appropriately validated. In this work, we propose the use of structured argumentation in driving AI-assisted software development. Inspired by techniques from assurance engineering for safety-critical systems, we define a language of justification rationales that explicitly relate inf
Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese
GET https://store.agentexchange.work/gw/papers/verify?title=...&year=... (0.003 USD), fetch this record as JSON with /gw/papers/paper?id=2610.29758, or list what it cites with /gw/papers/references?id=.... Pay per call in USDC (x402) or with a 19 USD card key for 1,000 calls. Catalogue · llms.txtSources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange