Maria Cristina Sales Viana Serôdio Sernadas


AuthID: R-000-ATN

Publicações Confirmadas: 83



61
TÍTULO: OBJECT INTERACTION
AUTORES: COSTA, JF ; SERNADAS, A ; SERNADAS, C ; EHRICH, HD;
PUBLICAÇÃO: 1992, FONTE: 17TH INTERNATIONAL SYMP ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE ( MFCS 92 ) in MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1992, VOLUME: 629
INDEXADO EM: WOS
NO MEU: ResearcherID
62
TÍTULO: REFINEMENT - LAYERED DEFINITION OF CONCEPTUAL SCHEMATA
AUTORES: SERNADAS, C ; GOUVEIA, P; SERNADAS, A ;
PUBLICAÇÃO: 1992, FONTE: IFIP TC8/WG8.1 Working Conference on Information System Concepts: Improving the Understanding in INFORMATION SYSTEM CONCEPTS: IMPROVING THE UNDERSTANDING, VOLUME: 4
INDEXADO EM: WOS
NO MEU: ResearcherID
63
TÍTULO: ABSTRACT DATA TYPE SEMANTICS FOR MANY-SORTED OBJECT QUERY ALGEBRAS
AUTORES: SAAKE, G; JUNGCLAUS, R; SERNADAS, C ;
PUBLICAÇÃO: 1991, FONTE: 3RD SYMP ON MATHEMATICAL FUNDAMENTALS OF DATABASE AND KNOWLEDGE BASE SYSTEMS (MFDBS 91 ) in MFDBS 91: 3RD SYMPOSIUM ON MATHEMATICAL FUNDAMENTALS OF DATABASE AND KNOWLEDGE BASE SYSTEMS, VOLUME: 495
INDEXADO EM: WOS
NO MEU: ResearcherID
64
TÍTULO: ABSTRACT DATA TYPE SEMANTICS FOR MANY-SORTED OBJECT QUERY ALGEBRAS
AUTORES: SAAKE, G; JUNGCLAUS, R; SERNADAS, C ;
PUBLICAÇÃO: 1991, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 495
INDEXADO EM: WOS
NO MEU: ResearcherID
65
TÍTULO: Formal specification of object systems
AUTORES: Jungclaus, R; Saake, G; Sernadas, C ;
PUBLICAÇÃO: 1991, FONTE: 4th International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1991 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 494 LNCS
INDEXADO EM: Scopus CrossRef: 20
NO MEU: ORCID
66
TÍTULO: FORMAL SPECIFICATION OF OBJECT SYSTEMS
AUTORES: JUNGCLAUS, R; SAAKE, G; SERNADAS, C ;
PUBLICAÇÃO: 1991, FONTE: 4TH INTERNATIONAL JOINT CONF ON THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT in TAPSOFT 91, VOL 2: ADVANCES IN DISTRIBUTED COMPUTING ( ADC ) AND COLLOQUIUM ON COMBINING PARADIGMS FOR SOFTWARE DEVELOPMENT ( CCPSD ), VOLUME: 494
INDEXADO EM: WOS
NO MEU: ResearcherID
67
TÍTULO: FORMAL SPECIFICATION OF OBJECT SYSTEMS
AUTORES: JUNGCLAUS, R; SAAKE, G; SERNADAS, C ;
PUBLICAÇÃO: 1991, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 494
INDEXADO EM: WOS
NO MEU: ResearcherID
68
TÍTULO: Towards object-oriented conceptual modeling  Full Text
AUTORES: Sernadas, C ; Fiadeiro, J;
PUBLICAÇÃO: 1991, FONTE: Data and Knowledge Engineering, VOLUME: 6, NÚMERO: 6
INDEXADO EM: Scopus CrossRef: 12
NO MEU: ORCID
69
TÍTULO: AN OBJECT-ORIENTED SPECIFICATION TOOL FOR GRAPHICAL INTERFACES  Full Text
AUTORES: SOUSA, JP; SERNADAS, C ; SERNADAS, A ;
PUBLICAÇÃO: 1990, FONTE: COMPUTERS & GRAPHICS, VOLUME: 14, NÚMERO: 1
INDEXADO EM: Scopus WOS
NO MEU: ORCID | ResearcherID
70
TÍTULO: MODULAR CONSTRUCTION OF LOGIC KNOWLEDGE BASES - AN ALGEBRAIC APPROACH  Full Text
AUTORES: SERNADAS, C ; FIADEIRO, J; SERNADAS, A ;
PUBLICAÇÃO: 1990, FONTE: INFORMATION SYSTEMS, VOLUME: 15, NÚMERO: 1
INDEXADO EM: WOS
NO MEU: ResearcherID
Página 7 de 9. Total de resultados: 83.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service