Zum Inhalt springen

  1. Wirsing, Martin [Herausgeber:in]; Pattinson, Dirk [Herausgeber:in]; Hennicker, Rolf [Herausgeber:in] ; WADT 16 2002 Chiemsee-Frauenchiemsee

    Recent trends in algebraic development techniques : 16th international workshop, Frauenchiemsee, Germany, September 24 - 27, 2002 ; revised selected papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2003

    Erschienen in: Lecture notes in computer science ; 2755

  3. Nicola, Rocco [Verfasser:in] ; Hennicker, Rolf [Herausgeber:in]

    Software, Services, and Systems : Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham [u.a.]: Springer, 2015

    Erschienen in: Lecture notes in computer science ; 8950

  4. Wirsing, Martin [Verfasser:in] ; Hennicker, Rolf [Sonstige Person, Familie und Körperschaft]; Pattinson, Dirk [Sonstige Person, Familie und Körperschaft]

    Recent Trends in Algebraic Development Techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2003

    Erschienen in: Lecture notes in computer science ; 2755

  8. Wirsing, Martin [Sonstige Person, Familie und Körperschaft]; Pattinson, Dirk [Herausgeber:in]; Hennicker, Rolf [Herausgeber:in] ; WADT 16 2002 Chiemsee-Frauenchiemsee

    Recent trends in algebraic development techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24 - 27, 2002 ; revised selected papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg: Springer, 2003

    Erschienen in: Lecture notes in computer science ; 275500

  11. Hennicker, Rolf [Verfasser:in]; Baumeister, Hubert [Verfasser:in]; Knapp, Alexander [Verfasser:in]; Wirsing, Martin [Verfasser:in] ; Bauknecht, Kurt [Herausgeber:in]; Brauer, Wilfried [Herausgeber:in]; Mück, Thomas [Herausgeber:in]

    Specifying component invariants with OCL

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Augsburg: Universität Augsburg, 2019 ; Konstanz: UVK-Verlagsgesellschaft, 2019

    Erschienen in: Schriftenreihe der Österreichischen Computer-Gesellschaft ; 157

  13. Knapp, Alexander [Verfasser:in]; Janisch, Stephan [Verfasser:in]; Hennicker, Rolf [Verfasser:in]; Clark, Allan [Verfasser:in]; Gilmore, Stephen [Verfasser:in]; Hacklinger, Florian [Verfasser:in]; Baumeister, Hubert [Verfasser:in]; Wirsing, Martin [Verfasser:in]

    Modelling the CoCoME with the Java/A component model

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Augsburg University Publication Server (OPUS), 2008

  17. Hennicker, Rolf

    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: A Calculus for Open Ensembles and Their Composition

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2016

    Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (2016), Seite 570-588