|
СТ |
Parameterisation of Logics |
1999 |
Caleiro C., Sernadas C., Sernadas A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
27.08.1999 |
|
СТ |
The Situation and State Calculus versus Branching Temporal Logic |
1999 |
Ramos J., Sernadas A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
27.08.1999 |
|
СТ |
Denotational Semantics of Object Specification |
1998 |
Sernadas A., Sernadas C., Caleiro C. |
|
|
|
Acta Informatica |
09.10.1998 |
|
СТ |
A Linear Temporal Logic Approach to Objects with Transactions |
1997 |
Denker G., Ramos J., Caleiro C., Sernadas A. |
|
|
|
Lecture Notes in Computer Science |
30.12.1997 |
|
СТ |
Synchronization of Logics with Mixed Rules: Completeness Preservation |
1997 |
Sernadas A., Sernadas C., Caleiro C. |
|
|
|
Lecture Notes in Computer Science |
30.12.1997 |
|
СТ |
Local Specification of Distributed Families of Sequential Objects |
1995 |
Ehrich H. -D., Sernadas A. |
|
|
|
Lecture Notes in Computer Science |
24.05.1995 |
|
СТ |
A Theory-based Topological Notion of Institution |
1995 |
Sernadas A., Sernadas C., Valenca J. M. |
|
|
|
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 |
|
СТ |
Constructing Systems as Object Communities |
1993 |
Ehrig H. -D., Sernadas A., Denker G. |
|
|
|
Lecture Notes in Computer Science |
26.05.1993 |
|
СТ |
Object Interaction |
1992 |
Costa J. F., Sernadas A., Sernadas C., Ehrich H. -D. |
|
|
|
Lecture Notes in Computer Science |
17.09.1992 |
|
СТ |
Formal Techniques for Systems Specification and Verification |
1991 |
Carmo J., Sernadas A. |
|
|
|
Information Systems |
21.01.1992 |
