TY - JOUR AU - Betz, Stefan ID - 2586 JF - Betrieb und Wirtschaft TI - Qualitätskostencontrolling auf Basis des Half-Life-Konzepts VL - 54 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 - TY - CONF AU - Fischer, Clemens AU - Wehrheim, Heike ED - Rus, Teodor ID - 3249 T2 - Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings TI - Behavioural Subtyping Relations for Object-Oriented Formalisms ER - TY - CONF AU - Wehrheim, Heike ED - S. E. Maibaum, T. ID - 3250 T2 - Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings TI - Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods ER - TY - CONF AU - Wehrheim, Heike ED - F. Smith, Scott ED - L. Talcott, Carolyn ID - 3251 T2 - Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA} TI - Behavioural Subtyping and Property Preservation ER - TY - CHAP AU - Harteis, Christian ED - Harteis, Christian ED - Heid, Helmut ED - Kraft, Susanne ID - 3602 T2 - Kompendium Weiterbildung TI - Beschäftigte im Spannungsfeld ökonomischer und pädagogischer Prinzipien betrieblicher Personal-und Organisationsentwicklungsentwicklung ER - TY - BOOK ED - Harteis, Christian ED - Heid, Helmut ED - Kraft, Susanne ID - 3669 TI - Kompendium Weiterbildung ER - TY - BOOK AU - Harteis, Christian ID - 3674 TI - Berufliche Weiterbildung heute und morgen: zukünftige Kompetenzanforderungen an Bildungspersonal und Nachwuchsrekrutierung ER - TY - CHAP AU - Blömer, Johannes ID - 3023 SN - 0302-9743 T2 - Automata, Languages and Programming TI - Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices ER -