|
СТ |
Subsorted Partial Higher-Order Logic as an Extension of CASL |
2000 |
Mossakowski T., Haxthausen A., Krieg-Bruckner B. |
|
|
|
Lecture Notes in Computer Science |
13.10.2000 |
|
М |
Systematic Transformation of Interface Specifications |
1986 |
Krieg-Bruckner B. |
|
|
|
IFIP: TC 2, Working Conf. on Program Specification and Transformation |
09.12.1999 |
|
СТ |
The UniForM Workbench, a Universal Development Environment for Formal Methods |
1999 |
Krieg-Bruckner B., Peleska J., Olderog E. -R., Baer A. |
|
|
|
Lecture Notes in Computer Science |
26.10.1999 |
|
СТ |
UniForM Perspectives for Formal Methods |
1999 |
Krieg-Bruckner B. |
|
|
|
Lecture Notes in Computer Science |
29.09.1999 |
|
СТ |
Permissive Subsorted Partial Logic in CASL |
1997 |
Cerioli M., Haxthausen A., Krieg-Bruckner B., Mossakowski T. |
|
|
|
Lecture Notes in Computer Science |
30.12.1997 |
|
СТ |
Towards Correct, Efficient and Reusable Transformational Developments |
1995 |
Krieg-Bruckner B., Liu J., Shi H., Wolff B. |
Lecture Notes in Computer Science |
|
|
KORSO: Methods, Languages, and Tools for the Construction of Correct Software |
28.12.1995 |
|
П |
Informal Specification of the PROSPECTRA System |
1986 |
Krieg-Bruckner B. |
|
|
Univ. Bremen |
Concurrency: Practice and Experience |
13.04.1995 |
|
СТ |
Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL |
1991 |
Krieg-Bruckner B., Sannella D. |
|
|
|
Lecture Notes in Computer Science |
21.05.1991 |
