|
СТ |
A Formal Semantics for OCL 1.4 |
2001 |
Cengarle M. V., Knapp A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
08.10.2001 |
|
СТ |
On the Expressive Power of OCL |
1999 |
Mandel L., Cengarle M. V. |
|
|
|
Lecture Notes in Computer Science |
30.10.1999 |
|
СТ |
The Disjunctive Constrained Lambda Calculus |
1996 |
Mandel L., Cengarle M. V. |
|
|
|
Lecture Notes in Computer Science |
15.02.1997 |
|
СТ |
Semantic Typing for Parametric Algebraic Specifications |
1995 |
Cengarle M. V. |
Lecture Notes in Computer Science |
|
|
Algebraic Methodology and Software Technology |
13.09.1995 |
