|
М |
Distribute Laws for Composition and Union of Module Specifications for Software Systems |
1986 |
Ehrig H., Fey W., Parisi-Presicce F. |
|
|
|
IFIP: TC 2, Working Conf. on Program Specification and Transformation |
09.12.1999 |
|
СТ |
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 |
|
СТ |
Towards a Formally Based Component Description Language |
1991 |
Cramer J., Fey W., Goedicke M., Grosse-Rhode M. |
|
|
|
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 |
