BibSonomy :: author :: Hennicker ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(74)

<< < 1 | 2 | 3 > >>

An Algebraic Semantics for Contract-Based Software Components
Michel Bidoit, and Rolf Hennicker Proceedings of the 12th International Conference on Algebraic Methodology and Software Technology AMAST, volume 5140/2008 of Lecture Notes in Computer Science, page 216-231. Springer Verlag, (2008)
to component contract specification semantics by pbrada and 1 other user on Dec 16, 2011, 9:35 AM
DOI | BibTeX
A Semi-Algorithm for Algebraic Implementation Proofs.
Rolf Hennicker Theor. Comput. Sci. 104(1):53-87 (1992)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Behavioural and Abstractor Specifications.
Michel Bidoit, Rolf Hennicker, and Martin Wirsing Sci. Comput. Program. 25(2-3):149-186 (1995)
to dblp by dblp on Aug 30, 2011, 12:00 AM
URL | BibTeX
Modal Interface Theories for Communication-Safe Component Assemblies.
Rolf Hennicker, and Alexander Knapp ICTAC, volume 6916 of Lecture Notes in Computer Science, page 135-153. Springer, (2011)
to dblp by dblp on Aug 25, 2011, 12:00 AM
URL | BibTeX
Glass Box and Black Box Views of State-Based System Specifications..
Michel Bidoit, and Rolf Hennicker AMAST, volume 3116 of Lecture Notes in Computer Science, page 19. Springer, (2004)
to dblp by dblp on Jul 7, 2011, 12:00 AM
URL | BibTeX
Interface theories for concurrency and data.
Sebastian S. Bauer, Rolf Hennicker, and Martin Wirsing Theor. Comput. Sci. 412(28):3101-3121 (2011)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
On the Precise Meaning of OCL Constraints.
Rolf Hennicker, Heinrich Hußmann, and Michel Bidoit Object Modeling with the OCL, volume 2263 of Lecture Notes in Computer Science, page 69-84. Springer, (2002)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
On the Integration of Observability and Reachability Concepts.
Michel Bidoit, and Rolf Hennicker FoSSaCS, volume 2303 of Lecture Notes in Computer Science, page 21-36. Springer, (2002)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
On the Duality between Observability and Reachability.
Michel Bidoit, Rolf Hennicker, and Alexander Kurz FoSSaCS, volume 2030 of Lecture Notes in Computer Science, page 72-87. Springer, (2001)
to dblp by dblp on Jun 27, 2011, 12:00 AM
URL | BibTeX
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models.
Bernhard Reus, Martin Wirsing, and Rolf Hennicker FASE, volume 2029 of Lecture Notes in Computer Science, page 300-317. Springer, (2001)
to dblp by dblp on Jun 27, 2011, 12:00 AM
URL | BibTeX
Proving the Correctness of Behavioural Implementations.
Michel Bidoit, and Rolf Hennicker AMAST, volume 936 of Lecture Notes in Computer Science, page 152-168. Springer, (1995)
to dblp by dblp on Jun 23, 2011, 12:00 AM
URL | BibTeX
Omega, Xi-Logic: On the Algebraic Extension of Coalgebraic Specifications.
Rolf Hennicker, and Alexander Kurz Electr. Notes Theor. Comput. Sci. (1999)
to dblp by dblp on Jun 20, 2011, 12:00 AM
URL | BibTeX
Correct Realization of Interface Constraints with OCL.
Françoise Tort, Michel Bidoit, Rolf Hennicker, and Martin Wirsing UML, volume 1723 of Lecture Notes in Computer Science, page 399-415. Springer, (1999)
to dblp by dblp on Jun 20, 2011, 12:00 AM
URL | BibTeX
Observational Logic.
Rolf Hennicker, and Michel Bidoit AMAST, volume 1548 of Lecture Notes in Computer Science, page 263-277. Springer, (1998)
to dblp by dblp on Jun 17, 2011, 12:00 AM
URL | BibTeX
Design and Implementation of a Coordination Model for Distributed Simulations.
Rolf Hennicker, and Matthias Ludwig Modellierung, volume 82 of LNI, page 83-97. GI, (2006)
to dblp by dblp on May 31, 2011, 12:00 AM
URL | BibTeX
Modeling the User Interface of Web Applications with UML.
Rolf Hennicker, and Nora Koch pUML, volume 7 of LNI, page 158-172. GI, (2001)
to dblp by dblp on May 31, 2011, 12:00 AM
URL | BibTeX
Context Induction: A Proof Principle for Behavioural Abstractions and Algebraic Implementations.
Rolf Hennicker Formal Asp. Comput. 3(4):326-345 (1991)
to dblp by dblp on May 25, 2011, 12:00 AM
URL | BibTeX
A Modal Interface Theory with Data Constraints.
Sebastian S. Bauer, Rolf Hennicker, and Michel Bidoit SBMF, volume 6527 of Lecture Notes in Computer Science, page 80-95. Springer, (2010)
to dblp by dblp on Mar 22, 2011, 12:00 AM
URL | BibTeX
Interface Theories for Asynchronously Communicating Modal I/O-Transition Systems
Sebastian S. Bauer, Rolf Hennicker, and Stephan Janisch FIT, volume 46 of EPTCS, page 1-8. (2010)
to dblp by dblp on Feb 2, 2011, 12:00 AM
URL | BibTeX
Observational Implementation of Algebraic Specifications.
Rolf Hennicker Acta Inf. 28(3):187-230 (1991)
to dblp by dblp on Jan 11, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100