SpecOps
All Editions
Sat 3 - Fri 9 October 2026 Oakland, California, United StatesSpecOps 2026 with SPLASH/ISSTA 2026Welcome to the website of SpecOps 2026, the 1st International Workshop on Specification-Driven Development Life Cycle. SpecOps brings together researchers and practitioners from Software Engineering, Programming Languages, Formal Methods, and Artificial Intelligence, and aims to foster dialogue on how AI-powered tools and autonomous agents can transform specifications from static documentation into living, execut ... |