Dagstuhl Seminar Proceedings 06191
Rigorous Methods for Software Construction and Analysis
J. Abrial, U. Glässer (Eds.)
published by LZI
ISSN 1862 - 4405
Dagstuhl Seminar 06191, 07.05. - 12.05.2006
Additional Information
Seminar Homepage
License
Search Publication Server
Authors
Abrial, Jean-Raymond
Bendisposto, Jens
Gargantini, Angelo
Glässer, Uwe
Leuschel, Michael
Riccobene, Elvinia
Scandurra, Patrizia
06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis
Authors:
Abrial, Jean-Raymond ; Glässer, Uwe
Abstract
|
Document (180 KB)
|
BibTeX
06191 Summary -- Rigorous Methods for Software Construction and Analysis
Authors:
Abrial, Jean-Raymond ; Glässer, Uwe
Abstract
|
Document (42 KB)
|
BibTeX
Animating and Model Checking B Specifications with Higher-Order Recursive Functions
Authors:
Leuschel, Michael ; Bendisposto, Jens
Abstract
|
Document (569 KB)
|
BibTeX
Exploiting the ASM method within the Model-driven Engineering paradigm
Authors:
Gargantini, Angelo ; Riccobene, Elvinia ; Scandurra, Patrizia
Abstract
|
Document (81 KB)
|
BibTeX
DROPS-Home
|
Imprint
|
Privacy