Dagstuhl Seminar Proceedings 06191

Rigorous Methods for Software Construction and Analysis

J. Abrial, U. Glässer (Eds.)

published by LZI
Host

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 | Fulltext Search | Imprint
    Published by LZI