|
СТ |
Toward Component-Oriented Formal Software Development: An Algebraic Approach |
2004 |
Bidoit M., Sannella D., Tarlecki A. |
|
|
|
Lecture Notes in Computer Science |
27.04.2004 |
|
М |
CASL User Manual |
2004 |
Bidoit M., Mosses P. D. |
Lecture Notes in Computer Science |
|
|
Introduction to Using the Common Algebraic Specification Language |
02.03.2004 |
|
СТ |
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 |
|
СТ |
Observational Logic |
1999 |
Hennicker R., Bidoit M. |
|
|
|
Lecture Notes in Computer Science |
05.02.1999 |
|
СТ |
Architectural Specifications in CASL |
1999 |
Bidoit M., Sannella D., Tarlecki A. |
|
|
|
Lecture Notes in Computer Science |
05.02.1999 |
|
СТ |
Modular Correctness Proofs of Behavioural Implementations |
1998 |
Bidoit M., Hennicker R. |
|
|
|
Acta Informatica |
12.12.1998 |
|
СТ |
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 |
|
СТ |
Behavioral Approaches to Algebraic Specifications. A Comparative Study |
1994 |
Bernot G., Bidoit M., Knapik T. |
|
|
|
Acta Informatica |
26.11.1994 |
|
СТ |
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 |
|
СТ |
A General Framework for Modular Implementations of Modular System Specifications |
1993 |
Bidoit M., Hennicker R. |
|
|
|
Lecture Notes in Computer Science |
26.05.1993 |
|
М |
Algebraic System Specification and Development |
1991 |
Bidoit M., Kreowski H. -J., Lescanne P., Orejas F., Sannella D. |
Lecture Notes in Computer Science |
|
|
A Syrvey and Annotated Bibliography |
13.08.1991 |
