Rolf Hennicker

• Bernhard Reus, Martin Wirsing, Rolf Hennicker: A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models, Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001, 2001, (BibTeX entry).
• Michel Bidoit, Rolf Hennicker, Francoise Tort, Martin Wirsing: Correct Realization of Interface Constraints with OCL, Second International Conference on the Unified Modeling Language: UML'99, 1999, (BibTeX entry).
• Rolf Hennicker, Nora Koch: A UML-based Methodology for Hypermedia Design, Third International Conference on the Unified Modeling Language: UML 2000, 2000, (BibTeX entry).
• Rolf Hennicker, Nora Koch: Modeling the User Interface of Web Applications with UML, Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists?, 2001, (BibTeX entry).
• Rolf Hennicker, Heinrich Hussmann, Michel Bidoit: On the Precise Meaning of OCL Constraints, Springer, 2002, (BibTeX entry).
• Rolf Hennicker, Nora Koch: Systematic Design of Web Applications with UML, Idea Publishing Group, 2001, (BibTeX entry).

Search other Bibliographies

• dblp: Computer Science Bibliography (University of Trier, Germany). (Note that this does not always work due to different naming schemes.)

[Home | Search Author | Search Title]
Contact: Paul Ziemann (ziemann@informatik.uni-bremen.de), last update: 10.5.2005.