Search Results

Documents authored by Chechik, Marsha

Document
DOI: 10.4230/DagRep.15.9.160
Specification Engineering: Foundations for the Future of Software Development (Dagstuhl Seminar 25392)

Authors: Marsha Chechik, Eunsuk Kang, Shahar Maoz, Jan Oliver Ringert, and Allison Sullivan

Published in: Dagstuhl Reports, Volume 15, Issue 9 (2026)

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.
Cite as

Marsha Chechik, Eunsuk Kang, Shahar Maoz, Jan Oliver Ringert, and Allison Sullivan. Specification Engineering: Foundations for the Future of Software Development (Dagstuhl Seminar 25392). In Dagstuhl Reports, Volume 15, Issue 9, pp. 160-182, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

Copy BibTex To Clipboard

@Article{chechik_et_al:DagRep.15.9.160,
  author =	{Chechik, Marsha and Kang, Eunsuk and Maoz, Shahar and Ringert, Jan Oliver and Sullivan, Allison},
  title =	{{Specification Engineering: Foundations for the Future of Software Development (Dagstuhl Seminar 25392)}},
  pages =	{160--182},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2026},
  volume =	{15},
  number =	{9},
  editor =	{Chechik, Marsha and Kang, Eunsuk and Maoz, Shahar and Ringert, Jan Oliver and Sullivan, Allison},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.9.160},
  URN =		{urn:nbn:de:0030-drops-249761},
  doi =		{10.4230/DagRep.15.9.160},
  annote =	{Keywords: formal methods, software assurance, software specification, specification engineering}
}
Document
DOI: 10.4230/DagRep.9.5.1
Software Evolution in Time and Space: Unifying Version and Variability Management (Dagstuhl Seminar 19191)

Authors: Thorsten Berger, Marsha Chechik, Timo Kehrer, and Manuel Wimmer

Published in: Dagstuhl Reports, Volume 9, Issue 5 (2019)

Abstract
Effectively managing versions and variants of software systems are among the main challenges of software engineering. Over the last decades, two large research fields, Software Configuration Management (SCM) and Software Product Line Engineering (SPLE), have focused on addressing the version and the variant management, respectively. Yet, large-scale systems require addressing both challenges in a unified way. The SCM community regularly faces the need to support variants, while SPLE needs versioning support. However, neither community has been successful in producing unified version and variant management techniques that are effective in practice. This seminar aimed at establishing a body of knowledge of version and variant management techniques. Together with industrial practitioners, we invited researchers from both fields to conceive an ontology of SCM and SPLE concepts, to identify open problems, and to elicit and synthesize practitioners' challenges and requirements. These outcomes provided the basis to create a research agenda, research infrastructure, and working groups, and finally, to establish a benchmark for evaluating future research results. As such, the seminar enabled research on enhanced version and variant management techniques that will ultimately be adopted in practice.
Cite as

Thorsten Berger, Marsha Chechik, Timo Kehrer, and Manuel Wimmer. Software Evolution in Time and Space: Unifying Version and Variability Management (Dagstuhl Seminar 19191). In Dagstuhl Reports, Volume 9, Issue 5, pp. 1-30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)

Copy BibTex To Clipboard

@Article{berger_et_al:DagRep.9.5.1,
  author =	{Berger, Thorsten and Chechik, Marsha and Kehrer, Timo and Wimmer, Manuel},
  title =	{{Software Evolution in Time and Space: Unifying Version and Variability Management (Dagstuhl Seminar 19191)}},
  pages =	{1--30},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{9},
  number =	{5},
  editor =	{Berger, Thorsten and Chechik, Marsha and Kehrer, Timo and Wimmer, Manuel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.5.1},
  URN =		{urn:nbn:de:0030-drops-113793},
  doi =		{10.4230/DagRep.9.5.1},
  annote =	{Keywords: software configuration management, versioning, variability management, software product lines, empirical evaluation}
}
Document
DOI: 10.4230/DagSemProc.06351.9
Partial Behavioural Models for Requirements and Early Design

Authors: Marsha Chechik, Greg Brunet, Dario Fischbein, and Sebastian Uchitel

Published in: Dagstuhl Seminar Proceedings, Volume 6351, Methods for Modelling Software Systems (MMOSS) (2007)

Abstract
The talk will discuss the problem of creation, management, and specifically merging of partial behavioural models, expressed as model transition systems. We argue why this formalism is essential in the early stages of the software cycle and then discuss why and how to merge information coming from different sources using this formalism. The talk is based on papers presented in FSE'04 and FME'06 and will also include emerging results on synthesizing partial behavioural models from temporal properties and scenarios.
Cite as

Marsha Chechik, Greg Brunet, Dario Fischbein, and Sebastian Uchitel. Partial Behavioural Models for Requirements and Early Design. In Methods for Modelling Software Systems (MMOSS). Dagstuhl Seminar Proceedings, Volume 6351, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@InProceedings{chechik_et_al:DagSemProc.06351.9,
  author =	{Chechik, Marsha and Brunet, Greg and Fischbein, Dario and Uchitel, Sebastian},
  title =	{{Partial Behavioural Models for Requirements and Early Design}},
  booktitle =	{Methods for Modelling Software Systems (MMOSS)},
  pages =	{1--10},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{6351},
  editor =	{Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06351.9},
  URN =		{urn:nbn:de:0030-drops-8582},
  doi =		{10.4230/DagSemProc.06351.9},
  annote =	{Keywords: Requirements behavioural models}
}
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact