6 Search Results for "Abrial, Jean-Raymond"


Document
09381 Extended Abstracts Collection – Refinement Based Methods for the Construction of Dependable Systems

Authors: Jean-Raymond Abrial, Michael Butler, Rajev Joshi, Elena Troubitsyna, and Jim C. P. Woodcock

Published in: Dagstuhl Seminar Proceedings, Volume 9381, Refinement Based Methods for the Construction of Dependable Systems (2010)


Abstract
With our growing reliance on computers, the total societal costs of their failures are hard to underestimate. Nowadays computers control critical systems from various domains such as aerospace, automotive, railway, business etc. Obviously, such systems must have a high degree of dependability – a degree of trust that can be justifiably placed on them. Although the currently operating systems do have an acceptable level of dependability, we believe that they development process is still rather immature and ad-hoc. The constantly growing system complexity poses an increasing challenge on the system developers and requires significant improvement on the existing developing practice. To address this problem, we investigated how to establish a set of refinement-based engineering methods that can provide the designers with a systematic methodology for development of complex systems.

Cite as

Jean-Raymond Abrial, Michael Butler, Rajev Joshi, Elena Troubitsyna, and Jim C. P. Woodcock. 09381 Extended Abstracts Collection – Refinement Based Methods for the Construction of Dependable Systems. In Refinement Based Methods for the Construction of Dependable Systems. Dagstuhl Seminar Proceedings, Volume 9381, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)


Copy BibTex To Clipboard

@InProceedings{abrial_et_al:DagSemProc.09381.1,
  author =	{Abrial, Jean-Raymond and Butler, Michael and Joshi, Rajev and Troubitsyna, Elena and Woodcock, Jim C. P.},
  title =	{{09381 Extended Abstracts Collection – Refinement Based Methods for the Construction of Dependable Systems}},
  booktitle =	{Refinement Based Methods for the Construction of Dependable Systems},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{9381},
  editor =	{Jean-Raymond Abrial and Michael Butler and Rajeev Joshi and Elena Troubitsyna and Jim C. P. Woodcock},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09381.1},
  URN =		{urn:nbn:de:0030-drops-23746},
  doi =		{10.4230/DagSemProc.09381.1},
  annote =	{Keywords: Specification, refinement, verification, modelling, dependable systems}
}
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-dev.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-dev.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}
}
Document
Animating and Model Checking B Specifications with Higher-Order Recursive Functions

Authors: Michael Leuschel and Jens Bendisposto

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


Abstract
Real-life specifications often contain complicated functions. Animation and validation of such functions and specifications is very important. However, such functions pose a major challenge to animation and model checking. Earlier versions of ProB required that functions be explicitly expanded which is prohibitively expensive or impossible. The central idea of this new research is to compile such functions into symbolic closures which are only examined when the function is applied to some particular argument. This enables ProB to successfully animate and model check a new class of specifications, where animation is especially important due to the involved nature of the specification. We will illustrate this new approach on an industrial case study.

Cite as

Michael Leuschel and Jens Bendisposto. Animating and Model Checking B Specifications with Higher-Order Recursive Functions. In Rigorous Methods for Software Construction and Analysis. Dagstuhl Seminar Proceedings, Volume 6191, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)


Copy BibTex To Clipboard

@InProceedings{leuschel_et_al:DagSemProc.06191.3,
  author =	{Leuschel, Michael and Bendisposto, Jens},
  title =	{{Animating and Model Checking B Specifications with Higher-Order Recursive Functions}},
  booktitle =	{Rigorous Methods for Software Construction and Analysis},
  pages =	{1--3},
  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-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06191.3},
  URN =		{urn:nbn:de:0030-drops-6407},
  doi =		{10.4230/DagSemProc.06191.3},
  annote =	{Keywords: B-Method, Model Checking, Animation, Logic Programming, Visualization}
}
Document
Exploiting the ASM method within the Model-driven Engineering paradigm

Authors: Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra

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


Abstract
Model-driven Engineering (MDE) is an emerging approach for software development. It uses metamodels to define language (or formalism) abstract notation, so separating the abstract syntax and semantics of the language from their different concrete notations. However, metamodelling frameworks lack of a way to specify the semantics of languages, which is usually given in natural language. We claim that the MDE paradigm can gain rigor and preciseness from the integration with formal approaches, and we propose the integration with the ASMs to define a unified methodology for metamodel-based language syntax and semantics definitions.

Cite as

Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra. Exploiting the ASM method within the Model-driven Engineering paradigm. 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{gargantini_et_al:DagSemProc.06191.4,
  author =	{Gargantini, Angelo and Riccobene, Elvinia and Scandurra, Patrizia},
  title =	{{Exploiting the ASM method within the Model-driven Engineering paradigm}},
  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-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06191.4},
  URN =		{urn:nbn:de:0030-drops-6384},
  doi =		{10.4230/DagSemProc.06191.4},
  annote =	{Keywords: Abstract State Machines, Model-driven Engineering, ASM Metamodel, Metamodelling}
}
Document
Methods for Semantics and Specification (Dagstuhl Seminar 9523)

Authors: Jean-Raymond Abrial, Egon Börger, and Hans Langmaack

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)


Abstract

Cite as

Jean-Raymond Abrial, Egon Börger, and Hans Langmaack. Methods for Semantics and Specification (Dagstuhl Seminar 9523). Dagstuhl Seminar Report 117, pp. 1-27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{abrial_et_al:DagSemRep.117,
  author =	{Abrial, Jean-Raymond and B\"{o}rger, Egon and Langmaack, Hans},
  title =	{{Methods for Semantics and Specification (Dagstuhl Seminar 9523)}},
  pages =	{1--27},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{117},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.117},
  URN =		{urn:nbn:de:0030-drops-150051},
  doi =		{10.4230/DagSemRep.117},
}
  • Refine by Author
  • 4 Abrial, Jean-Raymond
  • 2 Glässer, Uwe
  • 1 Bendisposto, Jens
  • 1 Butler, Michael
  • 1 Börger, Egon
  • Show More...

  • Refine by Classification

  • Refine by Keyword
  • 2 Abstract State Machines
  • 1 ASM Metamodel
  • 1 Animation
  • 1 B-Method
  • 1 Event-B
  • Show More...

  • Refine by Type
  • 6 document

  • Refine by Publication Year
  • 4 2006
  • 1 1995
  • 1 2010

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