Maria Cristina Sales Viana Serôdio Sernadas


AuthID: R-000-ATN

Publicações Confirmadas: 79



61
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
62
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
63
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
64
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
65
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
66
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
67
TÍTULO: Modular construction of logic knowledge bases: An algebraic approach  Full Text
AUTORES: Cristina Sernadas ; José Fiadeiro; Amílcar Sernadas ;
PUBLICAÇÃO: 1990, FONTE: Information Systems, VOLUME: 15, NÚMERO: 1
INDEXADO EM: CrossRef
NO MEU: ORCID
68
TÍTULO: Modular construction of logic knowledge bases: An algebraic approach  Full Text
AUTORES: Sernadas, C ;
PUBLICAÇÃO: 1990, FONTE: Information Systems, VOLUME: 15, NÚMERO: 1
INDEXADO EM: Scopus
NO MEU: ORCID
69
TÍTULO: ABSTRACT OBJECT TYPES - A TEMPORAL PERSPECTIVE
AUTORES: SERNADAS, A ; FIADEIRO, J; SERNADAS, C ; EHRICH, HD;
PUBLICAÇÃO: 1989, FONTE: INTERNATIONAL COLLOQUIUM ON TEMPORAL LOGIC IN SPECIFICATION in TEMPORAL LOGIC IN SPECIFICATION, VOLUME: 398
INDEXADO EM: WOS
70
TÍTULO: ABSTRACT OBJECT TYPES - A TEMPORAL PERSPECTIVE
AUTORES: SERNADAS, A ; FIADEIRO, J; SERNADAS, C ; EHRICH, HD;
PUBLICAÇÃO: 1989, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 398
INDEXADO EM: WOS
NO MEU: ResearcherID
Página 7 de 8. Total de resultados: 79.

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

Links Úteis

Ajuda

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