2026-09-15T07:14:34Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:24976 2026-09-05T19:26:30Z ddc:004 open_access

Specification Engineering: Foundations for the Future of Software Development (Dagstuhl Seminar 25392) Chechik, Marsha Kang, Eunsuk Maoz, Shahar Ringert, Jan Oliver Sullivan, Allison formal methods software assurance software specification specification engineering This report documents the program and the outcomes of Dagstuhl Seminar 25392 "Specification Engineering: Foundations for the Future of Software Development". Specifications are an essential component in a variety of tasks in software engineering, including software verification, testing, modeling, requirements engineering, and program synthesis. While producing quality specifications has been a longstanding problem, recent advances in AI technologies, such as large-language models (LLMs), make it a timely problem to address from new perspectives. Automatically generating code from a high-level specification will likely emerge as a dominant paradigm for software development in the future. Thus, being able to write, maintain and evolve high quality specifications - the process of specification engineering - will become an essential skill for software engineers. This Dagstuhl Seminar brought together leading researchers in software engineering and formal methods to identify foundational problems and build a roadmap for specification engineering as a central activity in future development processes. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Marsha Chechik and Eunsuk Kang and Shahar Maoz and Jan Oliver Ringert and Allison Sullivan 2026 Is Part Of Dagstuhl Reports, Volume 15, Issue 9 (2026) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.15.9.160 urn:nbn:de:0030-drops-249761 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.9.160 eng https://creativecommons.org/licenses/by/4.0/legalcode