|
СТ |
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 |
