Suchergebnisse - Hennicker, Rolf

  • Treffer 1 – 18 von 18
Treffer filtern
  1. 1
    Buchumschlag

    Proving the correctness of algebraic implementations by the ISAR system
    von Bauer, Bernhard, Hennicker, Rolf

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Behavioural specification and implementation of modular software systems
    von Hennicker, Rolf

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Design of modular software systems with reuse
    von Gastinger, Stefan, Hennicker, Rolf, Stabl, Robert

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    A general framework for modular implementations of modular system specifications
    von Bidoit, Michel, Hennicker, Rolf

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    A behavioural algebraic framework for modular system design with reuse
    von Hennicker, Rolf, Nickl, Friederike

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Beobachtungsorientierte Spezifikationen
    von Hennicker, Rolf

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Behavioural and abstractor specifications
    von Bidoit, Michel, Hennicker, Rolf, Wirsing, Martin 1948-

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Retrieval of reusable components in software object bases
    von Chen, Patrick Shicheng, Hennicker, Rolf, Jarke, Matthias 1952-2024

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Consistent configuration of modular algebraic implementations
    von Hennicker, Rolf

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    A semi-algorithm for algebraic implementation proofs
    von Hennicker, Rolf

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Observational implementation of algebraic specifications
    von Hennicker, Rolf

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Reusable specification components
    von Wirsing, Martin 1948-, Hennicker, Rolf, Breu, Ruth

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Observational specification: a Birkhoff-theorem
    von Hennicker, Rolf, Wirsing, Martin 1948-

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Beobachtungsorientierte Spezifikationen
    von Hennicker, Rolf

    Veröffentlicht 1988
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Context induction: a proof principle for behavioural abstractions and algebraic implementations
    von Hennicker, Rolf

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Die Jugendverbände der Bundesrepublik Deutschland
    von Hennicker, Rolf

    Veröffentlicht 1951
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    On the retrieval of reusable software components
    von Chen, Patrick Shicheng, Hennicker, Rolf, Jarke, Matthias 1952-2024

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    MENU: an example for the systematic reuse of specifications
    von Wirsing, Martin 1948-, Hennicker, Rolf, Stabl, Robert

    Veröffentlicht 1989
    Buch


    Gespeichert in:

Suchwerkzeuge: