Search Results

Documents authored by Glässer, Uwe


Document
Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372)

Authors: Uwe Glässer, Stefan Hallerstede, Michael Leuschel, and Elvinia Riccobene

Published in: Dagstuhl Reports, Volume 3, Issue 9 (2014)


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 13372 "Integration of Tools for Rigorous Software Construction and Analysis". The 32 participants came from 10 countries: Australia, Austria, Brazil, Canada, Denmark, France, Germany, Great Britain, Italy, Norway. The aim of the seminar was to bring together researchers and tool developers from different state- and machine-based formal methods communities in order to share expertise and promote the joint use of modelling tool technologies. Indeed, each of these communities -- from Abstract State Machines, to B, TLA, VDM, Z -- has valuable tools and technologies which would be beneficial also for the other formal approaches. Understanding and clarifying their commonalities and differences is a key factor to achieve a possible integration or integrated use of these related approaches for accomplishing, in a rigorous way, the various modelling and analysis tasks to construct reliable high quality software systems. The working group formula offered by the Dagstuhl seminar was a fruitful way to share knowledge of the various techniques and tools -- such as simulators, animators, model checkers, theorem proves -- developed for the individual methods, and to constructively experiment the combined use of different approaches by means of a series of well known case studies. Participants did not arrive with well-prepared solutions, but all the modelling and integration work was directly done in Dagstuhl in a very exciting and competitive atmosphere. Some related presentation were also given on recent advances on methodologies and tools. The seminar posed the bases for a series of future research collaborations between different, and up to know closed, formal method communities. An LNCS volume will be prepared by the contributions of the all participants to give the common vision of future methodology and tool integration.

Cite as

Uwe Glässer, Stefan Hallerstede, Michael Leuschel, and Elvinia Riccobene. Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372). In Dagstuhl Reports, Volume 3, Issue 9, pp. 74-105, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)


Copy BibTex To Clipboard

@Article{glasser_et_al:DagRep.3.9.74,
  author =	{Gl\"{a}sser, Uwe and Hallerstede, Stefan and Leuschel, Michael and Riccobene, Elvinia},
  title =	{{Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372)}},
  pages =	{74--105},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{3},
  number =	{9},
  editor =	{Gl\"{a}sser, Uwe and Hallerstede, Stefan and Leuschel, Michael and Riccobene, Elvinia},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.9.74},
  URN =		{urn:nbn:de:0030-drops-43584},
  doi =		{10.4230/DagRep.3.9.74},
  annote =	{Keywords: Applied Formal Methods; Modelling Formalisms; Modelling Tools; Abstract State Machines; B Method; Event-B; TLA+; VDM; Z; Verification; Validation; Proof; Simulation; Animation; Visualisation; Model-Checking; Tool Integration}
}
Document
06191 Abstracts Collection – Rigorous Methods for Software Construction and Analysis

Authors: Jean-Raymond Abrial and Uwe Glässer

Published in: Dagstuhl Seminar Proceedings, Volume 6191, Rigorous Methods for Software Construction and Analysis (2006)


Abstract
From 07.05.06 to 12.05.06, the Dagstuhl Seminar 06191 ``Rigorous Methods for Software Construction and Analysis'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Jean-Raymond Abrial and Uwe Glässer. 06191 Abstracts Collection – Rigorous Methods for Software Construction and Analysis. In Rigorous Methods for Software Construction and Analysis. Dagstuhl Seminar Proceedings, Volume 6191, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)


Copy BibTex To Clipboard

@InProceedings{abrial_et_al:DagSemProc.06191.1,
  author =	{Abrial, Jean-Raymond and Gl\"{a}sser, Uwe},
  title =	{{06191 Abstracts Collection – Rigorous Methods for Software Construction and Analysis}},
  booktitle =	{Rigorous Methods for Software Construction and Analysis},
  pages =	{1--16},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{6191},
  editor =	{Jean-Raymond Abrial and Uwe Gl\"{a}sser},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06191.1},
  URN =		{urn:nbn:de:0030-drops-6661},
  doi =		{10.4230/DagSemProc.06191.1},
  annote =	{Keywords: Formal Methods, Program Verification, Abstract State Machines, Event-B}
}
Document
06191 Summary – Rigorous Methods for Software Construction and Analysis

Authors: Jean-Raymond Abrial and Uwe Glässer

Published in: Dagstuhl Seminar Proceedings, Volume 6191, Rigorous Methods for Software Construction and Analysis (2006)


Abstract
We survey here the key objectives and the structure of the Dagstuhl Seminar 06191, which was organized as Festkolloquium on the occasion of Egon Börger’s 60th birthday, in May 2006 in Schloss Dagstuhl, Germany.

Cite as

Jean-Raymond Abrial and Uwe Glässer. 06191 Summary – Rigorous Methods for Software Construction and Analysis. In Rigorous Methods for Software Construction and Analysis. Dagstuhl Seminar Proceedings, Volume 6191, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)


Copy BibTex To Clipboard

@InProceedings{abrial_et_al:DagSemProc.06191.2,
  author =	{Abrial, Jean-Raymond and Gl\"{a}sser, Uwe},
  title =	{{06191 Summary – Rigorous Methods for Software Construction and Analysis}},
  booktitle =	{Rigorous Methods for Software Construction and Analysis},
  pages =	{1--2},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{6191},
  editor =	{Jean-Raymond Abrial and Uwe Gl\"{a}sser},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06191.2},
  URN =		{urn:nbn:de:0030-drops-6656},
  doi =		{10.4230/DagSemProc.06191.2},
  annote =	{Keywords: Executive Summary}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail