|
СТ |
The Korso Case Study for Software Engineering with Formal Methods: A Medical Information System |
1995 |
Cornelius F., Hussmann H., Lowe M. |
Lecture Notes in Computer Science |
|
|
KORSO: Methods, Languages, and Tools for the Construction of Correct Software |
28.12.1995 |
|
СТ |
Modular Algebraic Specifications |
1988 |
Hansen H., Lowe M. |
Mathematical Research |
|
|
Algebraic and Logic Programming |
30.06.1995 |
|
СТ |
Dynamic Abstract Data Types Based on Algebraic Graph Transformations |
1995 |
Ehrig H., Lowe M., Orejas F. |
|
|
|
Lecture Notes in Computer Science |
24.05.1995 |
|
СТ |
Agg - An Implementation of Algebraic Graph Rewriting |
1993 |
Lowe M., Beyer M. |
|
|
|
Lecture Notes in Computer Science |
09.07.1993 |
|
СТ |
Computing by Graph Transformation (COMPUCRAPH) |
1992 |
Ehrig H., Lowe M. |
|
|
|
EATCS Bull. |
19.08.1992 |
|
СТ |
On the Relationship Between Algebraic Module Specifications and Program Modules |
1991 |
Lowe M., Ehrig H., Fey W. |
|
|
|
Lecture Notes in Computer Science |
21.05.1991 |
|
СТ |
Compatibility Problems in the Development of Algebraic Module Specifications |
1990 |
Ehrig H., Fey W., Hansen H., Lowe M., Jacobs D., Parisi-Presicce F. |
|
|
|
Theoretical Computer Science |
12.02.1991 |
