|
СТ |
Institutions for Behaviour Specifications |
1995 |
Fiadeiro J. L., Costa J. F. |
|
|
|
Lecture Notes in Computer Science |
24.05.1995 |
|
СТ |
An Institution of Object Behaviour |
1994 |
Sernadas A., Costa J. F., Sernadas C. |
|
|
|
Lecture Notes in Computer Science |
04.06.1994 |
|
СТ |
Object Inheritance Beyond Subtyping |
1994 |
Costa J. F., Sernadas A., Sernadas C. |
|
|
|
Acta Informatica |
10.03.1994 |
|
СТ |
Data Encapsulation and Modularity: Three Views of Inheritance |
1993 |
Costa J. F., Sernadas A., Sernadas C. |
|
|
|
Lecture Notes in Computer Science |
20.10.1993 |
|
СТ |
Object Interaction |
1992 |
Costa J. F., Sernadas A., Sernadas C., Ehrich H. -D. |
|
|
|
Lecture Notes in Computer Science |
17.09.1992 |
