A Lean and Spec-Driven AI-Assisted Software Development Lifecycle for Applied AI Education: The AI-SDLC Approach
cs.SE, cs.AI
Submitted: 2026-09-21
Updated: 2026-09-21
Comments: Accepted for publication in the Journal of the Upper Rhine Artificial Intelligence (URAI) Symposium 2026
License: http://creativecommons.org/licenses/by/4.0/
The gist: AI coding agents increasingly support software development beyond code completion, including planning, implementation, testing, and repository-level task execution.
Terminology
Abstract
AI coding agents increasingly support software development beyond code completion, including planning, implementation, testing, and repository-level task execution. Their practical use, however, often remains only weakly connected to established software engineering practices. The aim of this work is to develop and evaluate a lightweight, spec-driven lifecycle for governed agentic software engineering. The lifecycle combines established software engineering practices with repository-local guidance through specifications, AGENTS.md, and phase-specific agent skill files. The approach was developed in the context of the FHNW course AI-assisted Software Development and applied by students to business-oriented software use cases. Its educational and practical applicability is explored through a student survey combining closed rating items with open-ended questions. The contribution of this work is a process-oriented framework that enables AI coding agents to operate with bounded autonomy within an explicit, reviewable, and test-oriented software development lifecycle.
Sources
- Vibe Coding vs. Agentic Coding: Fundamentals and Practical Implications of Agentic AI
- A Survey on Code Generation with LLM-based Agents
- Software Development Life Cycle Perspective: A Survey of Benchmarks for Code Large Language Models and Agents
- Is Vibe Coding Safe? Benchmarking Vulnerability of Agent-Generated Code in Real-World Tasks
- Spec-Driven Development:From Code to Contract in the Age of AI Coding Assistants
- Evaluating AGENTS.md: Are Repository-Level Context Files Helpful for Coding Agents?
Related papers
- Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits
- GitSkills: A Dataset of Agent Skills on GitHub
- SABER: Benchmarking Operational Safety of LLM Coding Agents in Stateful Project Workspaces
- PackMonitor: Enabling Zero Package Hallucinations Through Decoding-Time Monitoring
- IntentCoding: Amplifying User Intent in Code Generation
- Incentives and Outcomes in Bug Bounties