Published in: Dagstuhl Seminar Proceedings, Volume 9381, Refinement Based Methods for the Construction of Dependable Systems (2010)
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)
@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} }
Published in: Dagstuhl Seminar Proceedings, Volume 6191, Rigorous Methods for Software Construction and Analysis (2006)
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)
@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} }
Published in: Dagstuhl Seminar Proceedings, Volume 6191, Rigorous Methods for Software Construction and Analysis (2006)
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)
@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} }
Published in: Dagstuhl Seminar Proceedings, Volume 6191, Rigorous Methods for Software Construction and Analysis (2006)
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)
@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} }
Published in: Dagstuhl Seminar Proceedings, Volume 6191, Rigorous Methods for Software Construction and Analysis (2006)
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)
@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} }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
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)
@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}, }
Feedback for Dagstuhl Publishing