Maria Cristina Sales Viana Serôdio Sernadas
AuthID: R-000-ATN
11
TITLE: An institution of object behaviour
AUTHORS: Sernadas, A; Costa, JF ; Sernadas, C;
PUBLISHED: 1994, SOURCE: 9th Workshop on Specification of Abstract Data Types joint with 4th COMPASS Workshop, 1992 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 785 LNCS
AUTHORS: Sernadas, A; Costa, JF ; Sernadas, C;
PUBLISHED: 1994, SOURCE: 9th Workshop on Specification of Abstract Data Types joint with 4th COMPASS Workshop, 1992 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 785 LNCS
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID12
TITLE: Data encapsulation and modularity: Three views of inheritance
AUTHORS: Costa, JF ; Sernadas, A; Sernadas, C;
PUBLISHED: 1993, SOURCE: 18th International Symposium on Mathematical Foundations of Computer Science, MFCS 1993 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 711 LNCS
AUTHORS: Costa, JF ; Sernadas, A; Sernadas, C;
PUBLISHED: 1993, SOURCE: 18th International Symposium on Mathematical Foundations of Computer Science, MFCS 1993 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 711 LNCS
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID13
TITLE: Object interaction
AUTHORS: Costa, JF ; Sernadas, A; Sernadas, C; Ehrich, HD;
PUBLISHED: 1992, SOURCE: 17th Symposium on Mathematical Foundations of Computer Science, MFCS 1992 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 629 LNCS
AUTHORS: Costa, JF ; Sernadas, A; Sernadas, C; Ehrich, HD;
PUBLISHED: 1992, SOURCE: 17th Symposium on Mathematical Foundations of Computer Science, MFCS 1992 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 629 LNCS
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID14
TITLE: An object-oriented specification tool for graphical interfaces Full Text
AUTHORS: João Pedro Sousa; Cristina Sernadas; Amílcar Sernadas;
PUBLISHED: 1990, SOURCE: Computers & Graphics, VOLUME: 14, ISSUE: 1
AUTHORS: João Pedro Sousa; Cristina Sernadas; Amílcar Sernadas;
PUBLISHED: 1990, SOURCE: Computers & Graphics, VOLUME: 14, ISSUE: 1
15
TITLE: Abstract object types: A temporal perspective
AUTHORS: Sernadas, A; Fiadeiro, J; Sernadas, C; Ehrich, HD;
PUBLISHED: 1989, SOURCE: International Colloquium on Temporal Logic in Specification, 1987 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 398 LNCS
AUTHORS: Sernadas, A; Fiadeiro, J; Sernadas, C; Ehrich, HD;
PUBLISHED: 1989, SOURCE: International Colloquium on Temporal Logic in Specification, 1987 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 398 LNCS
16
TITLE: Abstract object types for databases
AUTHORS: Ehrich, HD; Sernadas, A; Sernadas, C;
PUBLISHED: 1988, SOURCE: 2nd International Workshop on Object-Oriented Database Systems, 1988 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 334 LNCS
AUTHORS: Ehrich, HD; Sernadas, A; Sernadas, C;
PUBLISHED: 1988, SOURCE: 2nd International Workshop on Object-Oriented Database Systems, 1988 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 334 LNCS
