Maria Cristina Sales Viana Serôdio Sernadas


AuthID: R-000-ATN

Confirmed Publications: 79



61
TITLE: FORMAL SPECIFICATION OF OBJECT SYSTEMS
AUTHORS: JUNGCLAUS, R; SAAKE, G; SERNADAS, C ;
PUBLISHED: 1991, SOURCE: 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
INDEXED IN: WOS
IN MY: ResearcherID
62
TITLE: FORMAL SPECIFICATION OF OBJECT SYSTEMS
AUTHORS: JUNGCLAUS, R; SAAKE, G; SERNADAS, C ;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 494
INDEXED IN: WOS
IN MY: ResearcherID
63
TITLE: Formal specification of object systems
AUTHORS: Jungclaus, R; Saake, G; Sernadas, C ;
PUBLISHED: 1991, SOURCE: 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
INDEXED IN: Scopus CrossRef: 20
IN MY: ORCID
64
TITLE: Towards object-oriented conceptual modeling  Full Text
AUTHORS: Sernadas, C ; Fiadeiro, J;
PUBLISHED: 1991, SOURCE: Data and Knowledge Engineering, VOLUME: 6, ISSUE: 6
INDEXED IN: Scopus CrossRef: 12
IN MY: ORCID
65
TITLE: AN OBJECT-ORIENTED SPECIFICATION TOOL FOR GRAPHICAL INTERFACES  Full Text
AUTHORS: SOUSA, JP; SERNADAS, C ; SERNADAS, A ;
PUBLISHED: 1990, SOURCE: COMPUTERS & GRAPHICS, VOLUME: 14, ISSUE: 1
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
66
TITLE: MODULAR CONSTRUCTION OF LOGIC KNOWLEDGE BASES - AN ALGEBRAIC APPROACH  Full Text
AUTHORS: SERNADAS, C ; FIADEIRO, J; SERNADAS, A ;
PUBLISHED: 1990, SOURCE: INFORMATION SYSTEMS, VOLUME: 15, ISSUE: 1
INDEXED IN: WOS
IN MY: ResearcherID
67
TITLE: Modular construction of logic knowledge bases: An algebraic approach  Full Text
AUTHORS: Cristina Sernadas ; José Fiadeiro; Amílcar Sernadas ;
PUBLISHED: 1990, SOURCE: Information Systems, VOLUME: 15, ISSUE: 1
INDEXED IN: CrossRef
IN MY: ORCID
68
TITLE: Modular construction of logic knowledge bases: An algebraic approach  Full Text
AUTHORS: Sernadas, C ;
PUBLISHED: 1990, SOURCE: Information Systems, VOLUME: 15, ISSUE: 1
INDEXED IN: Scopus
IN MY: ORCID
69
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 in TEMPORAL LOGIC IN SPECIFICATION, VOLUME: 398
INDEXED IN: WOS
70
TITLE: ABSTRACT OBJECT TYPES - A TEMPORAL PERSPECTIVE
AUTHORS: SERNADAS, A ; FIADEIRO, J; SERNADAS, C ; EHRICH, HD;
PUBLISHED: 1989, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 398
INDEXED IN: WOS
IN MY: ResearcherID
Page 7 of 8. Total results: 79.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service