Searching for authors named "Rolf Hennicker" – sorted by Relevance.
-
Modeling the User Interface of Web Applications with UML
- Modeling the User Interface of Web Applications with UML Rolf Hennicker 1 , Nora Koch 1,2 1
- Cited by 6 (0 self) – Add To MetaCart
-
Externalized and internalized notions of behavioral refinement
- Externalized and Internalized Notions of Behavioral Refinement ⋆ Michel Bidoit 1 Rolf Hennicker 2
- Cited by 1 (1 self) – Add To MetaCart
-
Proving Behavioural Theorems with Standard First-Order Logic
- Proving Behavioural Theorems with Standard First-Order Logic Michel Bidoit 1 and Rolf Hennicker
- Cited by 15 (5 self) – Add To MetaCart
-
Proof Systems for Structured Algebraic Specifications: An Overview
- 1 Proof Systems for Structured Algebraic Specifications: An Overview Rolf Hennicker, Martin
- Cited by 2 (0 self) – Add To MetaCart
-
Proving the Correctness of Behavioural Implementations
- Proving the Correctness of Behavioural Implementations Michel Bidoit*, Rolf Hennicker** *LIENS
- Cited by 11 (4 self) – Add To MetaCart
-
Systematic Design of Web Applications with UML
- Systematic Design of Web Applications with UML Rolf Hennicker 1 1 Institute of Computer Science
- Cited by 14 (2 self) – Add To MetaCart
-
Design and Implementation of a Coordination Model for Distributed Simulations ∗
- Design and Implementation of a Coordination Model for Distributed Simulations ∗ Rolf Hennicker
- Add To MetaCart
-
M.: Property-Driven Development of a Coordination Model for Distributed Simulations
- Property-Driven Development of a Coordination Model for Distributed Simulations ⋆ Rolf Hennicker
- Cited by 1 (1 self) – Add To MetaCart
-
Observer Complete Definitions are Behaviourally Coherent
- Observer Complete Definitions are Behaviourally Coherent Michel Bidoit*, Rolf Hennicker
- Cited by 32 (5 self) – Add To MetaCart
-
Observational logic
- Observational Logic Rolf Hennicker*, Michel Bidoit** *Institut für Informatik, Ludwig
- Cited by 48 (10 self) – Add To MetaCart

