Вы здесь

Hennicker R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ On the Integration of Observability and Reachability Concepts 2002 Bidoit M., Hennicker R. Lecture Notes in Computer Science 09.05.2002
СТ On the Precise Meaning of OCL Constraints 2002 Hennicker R., Hussmann H., Bidoit M. Lecture Notes in Computer Science 11.04.2002
СТ A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models 2001 Reus B., Wirsing M., Hennicker R. Lecture Notes in Computer Science 05.05.2001
СТ A UML-Based Methodology for Hypermedia Design 2000 Hennicker R., Koch N. Lecture Notes in Computer Science 11.11.2000
СТ Observational Logic 1999 Hennicker R., Bidoit M. Lecture Notes in Computer Science 05.02.1999
СТ Modular Correctness Proofs of Behavioural Implementations 1998 Bidoit M., Hennicker R. Acta Informatica 12.12.1998
СТ Design of Modular Software Systems with Reuse 1995 Gastinger S., Hennicker R., Stabl R. Lecture Notes in Computer Science KORSO: Methods, Languages, and Tools for the Construction of Correct Software 28.12.1995
СТ Proving the Correctness of Behavioural Implementations 1995 Bidoit M., Hennicker R. Lecture Notes in Computer Science Algebraic Methodology and Software Technology 13.09.1995
СТ Bechavioural Theories 1995 Bidoit M., Hennicker R. Lecture Notes in Computer Science 24.05.1995
СТ Proving Behavioural Theorems with Standard First-Order Logic 1994 Bidoit M., Hennicker R. Lecture Notes in Computer Science 01.11.1994
СТ Characterizing Behavioural Semantics and Abstractor Semantics 1994 Bidoit M., Hennicker R., Wirsing M. Lecture Notes in Computer Science 06.05.1994
СТ Formal Aspects of Software Reusability 1991 Hennicker R., Wirsing M. Proc. of the First Intern. Workshop on Software Reusability 25.12.1993
СТ On the Retrieval of Reusable Software Components 1993 Chen P. S., Hennicker R., Jarke M. Advances in Software Reuse (Selected Papers from the Second Intern. Workshop on Software Reusability) 25.11.1993
СТ A General Framework for Modular Implementations of Modular System Specifications 1993 Bidoit M., Hennicker R. Lecture Notes in Computer Science 26.05.1993
СТ A semi-algorithm for algebraic implementation proofs 1992 Hennicker R. Theoretical Computer Science 28.10.1992
П Behavioural Specification and Implementation of Modular Software Systems 1992 Hennicker R. Univ.Passau 23.10.1992
СТ ISAR: An Interactive System for Algebraic Implementation Proofs 1992 Bauer B., Hennicker R. Lecture Notes in Artificial Intelligence 11.08.1992
П Consistent Configuration of Modular Algebraic Implementations 1991 Hennicker R. Univ.Passau 02.10.1991
П A Semi-Algorithm for Algebraic Implementation Proofs 1991 Hennicker R. Univ.Passau 19.09.1991
СТ Observational implementation of algebraic specifications 1991 Hennicker R. Acta Informatica 26.06.1991
П A Semi-Algorithms for Algebraic Implementation Proofs 1991 Hennicker R. Univ.Passau 24.05.1991