English
Related papers

Related papers: Agile V: A Compliance-Ready Framework for AI-Augme…

200 papers

Agentic AI coding systems can inspect repositories, plan implementation steps, edit files, call tools, run tests, and submit pull requests. These capabilities make software and hardware development faster in some settings, but current…

Software Engineering · Computer Science 2026-05-21 Christopher Koch

Artificial Intelligence (AI) tools for automating design artifact generation are increasingly used in Requirements Engineering (RE) to transform textual requirements into structured diagrams and models. While these AI tools, particularly…

Software Engineering · Computer Science 2025-07-15 Syed Tauhid Ullah Shah , Mohammad Hussein , Ann Barcomb , Mohammad Moshirpour

AI coding tools are widely adopted, but most teams plateau at prompt-and-review without a framework for systematic progression. This paper presents the AI Codebase Maturity Model (ACMM), a 6-level framework describing how codebases evolve…

Software Engineering · Computer Science 2026-04-28 Andy Anderson

Rising concern for the societal implications of artificial intelligence systems has inspired a wave of academic and journalistic literature in which deployed systems are audited for harm by investigators from outside the organizations…

GraphFlow is a visual workflow system designed to improve the reliability of agentic AI automation in multi-step, mission-critical processes. In these workflows, small errors compound rapidly: under an idealized model of independent steps,…

Artificial Intelligence · Computer Science 2026-05-15 Drewry H. Morris , Luis Valles , Reza Hosseini Ghomi

The ever increasing complexity of the hardware design process demands improved hardware design and verification methodologies. With the advent of generative AI various attempts have been made to automate parts of the design and verification…

Hardware Architecture · Computer Science 2025-12-02 Mubarek Mohammed

Agile software development is becoming increasingly popular in the aerospace industry because of its capability to accommodate requirement changes. However, safety-critical domains require compliance with strict regulations such as the…

Software Engineering · Computer Science 2025-03-07 J. Eduardo Ferreira Ribeiro , Mário Zenha-Rela , João Gabriel Silva

This article describes a fully automated, credible autocoding chain for control systems. The framework generates code, along with guarantees of high level functional properties which can be independently verified. It relies on domain…

Systems and Control · Computer Science 2013-08-27 Timothy Wang , Romain Jobredeaux , Heber Herencia , Pierre-Loic Garoche , Arnaud Dieumegard , Eric Feron , Marc Pantel

Modern Large Language Model (LLM) systems are assembled from third-party artifacts such as pre-trained weights, fine-tuning adapters, datasets, dependency packages, and container images, fetched through automated pipelines. This speed comes…

Cryptography and Security · Computer Science 2026-04-01 Zhuoran Tan , Jeremy Singer , Christos Anagnostopoulos

LLM applications are AI systems whose nondeterministic outputs and evolving model behavior make traditional testing insufficient for release governance. We present an automated self-testing framework that introduces quality gates with…

Software Engineering · Computer Science 2026-05-22 Alexandre Cristovão Maiorano

The increasing complexity of aerospace systems requires development processes that balance agility with stringent safety and certification demands. This study presents an empirically validated Scrum-based Agile framework tailored for…

Software Engineering · Computer Science 2025-11-19 Malik Muhammad Umer

Agent skills - structured packages of instructions, scripts, and references that augment a large language model (LLM) without modifying the model itself - have moved from convenience to first-class deployment artifact. The runtime that…

Cryptography and Security · Computer Science 2026-05-18 Alfredo Metere

Agile methods are characterised by iterative and incremental processes with a strong focus on flexibility and accommodating changing requirements based on either technical, regulatory, or stakeholder feedback. However, integrating Agile…

Software Engineering · Computer Science 2025-11-17 J. Antonio Dantas Macedo , Hugo Fernandes , J. Eduardo Ferreira Ribeiro

An auditor instructs an AI assistant: "open each file individually using the Read tool -- no scripts, no agents." The AI replies "Yes" -- then issues a single batched call summarizing all fifty files at once. We call this the Compliance…

Computation and Language · Computer Science 2026-05-05 Kwan Soo Shin

The widespread adoption of AI-assisted development tools in 2025 -- and the emergence of vibe coding, a practice of generating complete applications from natural language without verification -- exposed a critical and tool-agnostic failure…

Software Engineering · Computer Science 2026-05-01 Jasmine Moreira

As AI models scale to billions of parameters and operate with increasing autonomy, ensuring their safe, reliable operation demands engineering-grade security and assurance frameworks. This paper presents an enterprise-level, risk-aware,…

Cryptography and Security · Computer Science 2025-05-13 Krti Tallam

The rapid adoption of generative artificial intelligence (AI) in educational assessment has created new opportunities for scalable item creation, personalized feedback, and efficient formative evaluation. However, despite advances in…

Computers and Society · Computer Science 2026-04-14 Antoun Yaacoub , Zainab Assaghir , Anuradha Kar

This manuscript signals a new era in the integration of artificial intelligence with software engineering, placing machines at the pinnacle of coding capability. We present a formalized, iterative methodology proving that AI can fully…

Software Engineering · Computer Science 2024-12-09 Alex , Liu , Vivian , Chi

Code production is now a commodity; the bottleneck is knowing what to build and proving it works. We present the Kitchen Loop, a framework for autonomous, self-evolving software built on a unified trust model: (1) a specification surface…

Software Engineering · Computer Science 2026-03-27 Yannick Roy

In software development, the raw requirements proposed by users are frequently incomplete, which impedes the complete implementation of application functionalities. With the emergence of large language models, recent methods with the…

Software Engineering · Computer Science 2024-11-11 Sai Zhang , Zhenchang Xing , Ronghui Guo , Fangzhou Xu , Lei Chen , Zhaoyuan Zhang , Xiaowang Zhang , Zhiyong Feng , Zhiqiang Zhuang
‹ Prev 1 2 3 10 Next ›