Specification Engineering: Foundations for the Future of Software Development (Dagstuhl Seminar 25392)

Chechik, Marsha; Kang, Eunsuk; Maoz, Shahar; Ringert, Jan Oliver; Sullivan, Allison

doi:10.4230/DagRep.15.9.160

Abstract

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.

Specification Engineering: Foundations for the Future of Software Development (Dagstuhl Seminar 25392)

Authors Marsha Chechik, Eunsuk Kang, Shahar Maoz, Jan Oliver Ringert, Allison Sullivan and all authors of the abstracts in this report

File

Document Identifiers

Subject Classification

ACM Subject Classification

Keywords

Metrics

Abstract

Cite As Get BibTex

Author Details

Thanks for your feedback!

Could not send message