Agentic OS & App

SpecArtisans: A Verifiable Spec-Driven Development Paradigm for AI Coding

Date, time, and room will be added once confirmed.

Talk overview

SpecArtisans is a Spec-Driven development paradigm for AI programming, aiming to ensure AI accurately follows original requirements throughout the software development process. It introduces structured, verifiable software specifications between natural language requirements and code, enabling consistent tracking and validation across design, implementation, and testing. By integrating these specifications into an end-to-end workflow, SpecArtisans enhances the reliability of AI-native software engineering.