TY - CONF AU - Rasch, Holger AU - Wehrheim, Heike ED - Najm, Elie ED - Nestmann, Uwe ED - Stevens, Perdita ID - 3239 T2 - Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings TI - Checking Consistency in {UML} Diagramms: Classes and State Machines ER - TY - CONF AU - Derrick, John AU - Wehrheim, Heike ED - Bert, Didier ED - P. Bowen, Jonathan ED - King, Steve ED - A. Wald{\'{e}}n, Marina ID - 3240 T2 - {ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings TI - Using Coupled Simulations in Non-atomic Refinement ER - TY - JOUR AU - Wehrheim, Heike ID - 3241 IS - 4 JF - Nord. J. Comput. TI - Relating State-based and Behaviour-oriented Subtyping ER - TY - CONF AU - Olderog, Ernst-Rüdiger AU - Wehrheim, Heike ED - S. de Boer, Frank ED - M. Bonsangue, Marcello ED - Graf, Susanne ED - P. de Roever, Willem ID - 3242 T2 - Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures TI - Specification and Inheritance in {CSP-OZ} ER - TY - CONF AU - Wehrheim, Heike ED - Jacobs, Bart ED - Rensink, Arend ID - 3243 T2 - Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands TI - Checking Behavioural Subtypes via Refinement ER - TY - JOUR AU - Rensink, Arend AU - Wehrheim, Heike ID - 3244 IS - 3 JF - Acta Inf. TI - Process algebra with action dependencies ER - TY - JOUR AU - Bartetzko, Detlef AU - Fischer, Clemens AU - Möller, Michael AU - Wehrheim, Heike ID - 3245 IS - 2 JF - Electr. Notes Theor. Comput. Sci. TI - Jass - Java with Assertions ER - TY - CONF AU - Fischer, Clemens AU - Olderog, Ernst-Rüdiger AU - Wehrheim, Heike ED - Hu{\ss}mann, Heinrich ID - 3246 T2 - Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings TI - A {CSP} View on {UML-RT} Structure Diagrams ER - TY - JOUR AU - Fischer, Clemens AU - Wehrheim, Heike ID - 3247 JF - Bulletin of the {EATCS} TI - Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method ER - TY - JOUR AU - Wehrheim, Heike ID - 3248 IS - 3 JF - Formal Asp. Comput. TI - Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications ER -