Amilcar dos Santos Costa Sernadas


AuthID: R-000-0HS

Confirmed Publications: 88



51
TITLE: A temporal logic approach to object certification  Full Text
AUTHORS: Sernadas, A ; Sernadas, C ; Ramos, J ;
PUBLISHED: 1996, SOURCE: DATA & KNOWLEDGE ENGINEERING, VOLUME: 19, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
52
TITLE: Deriving liveness goals from temporal logic specifications  Full Text
AUTHORS: Caleiro, C ; Saake, G; Sernadas, A ;
PUBLISHED: 1996, SOURCE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 22, ISSUE: 5-6
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
53
TITLE: Refinement mapping for general (discrete event) systems theory
AUTHORS: Menezes, PB; Costa, JF ; Sernadas, A ;
PUBLISHED: 1996, SOURCE: 5th International Workshop on Computer Aided Systems Theory, EUROCAST 1995 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1030
INDEXED IN: Scopus
54
TITLE: Object specification logic
AUTHORS: Sernadas, A ; Sernadas, C ; Costa, JF ;
PUBLISHED: 1995, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 5, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
55
TITLE: Progress assumption in concurrent systems
AUTHORS: Costa, JF ; Sernadas, A ;
PUBLISHED: 1995, SOURCE: Formal Aspects of Computing, VOLUME: 7, ISSUE: 1
INDEXED IN: Scopus CrossRef
IN MY: ORCID
56
TITLE: A Theory-based Typological Notion of Institutions
AUTHORS: Amílcar Sernadas ; Cristina Sernadas ; José Manuel Valença ;
PUBLISHED: 1994, SOURCE: 10th Workshop on Specification of Abstract Data Types was held Joint with the 5th COMPASS Workshop, 1994 in Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers, VOLUME: 906
INDEXED IN: Scopus DBLP CrossRef: 1
57
TITLE: OBJECT INHERITANCE BEYOND SUBTYPING
AUTHORS: COSTA, JF ; SERNADAS, A ; SERNADAS, C ;
PUBLISHED: 1994, SOURCE: ACTA INFORMATICA, VOLUME: 31, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
58
TITLE: OBJECTS AND THEIR SPECIFICATION
AUTHORS: EHRICH, HD; GOGOLLA, M; SERNADAS, A ;
PUBLISHED: 1993, SOURCE: 8TH WORKSHOP ON SPECIFICATION OF ABSTRACT DATA TYPES / 3RD COMPASS WORKSHOP in LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 655
INDEXED IN: WOS
IN MY: ResearcherID
59
TITLE: PROCESS SEMANTICS OF TEMPORAL LOGIC SPECIFICATION
AUTHORS: FIADEIRO, JL; COSTA, JF ; SERNADAS, A ; MAIBAUM, TSE;
PUBLISHED: 1993, SOURCE: 8TH WORKSHOP ON SPECIFICATION OF ABSTRACT DATA TYPES / 3RD COMPASS WORKSHOP in LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 655
INDEXED IN: WOS
IN MY: ResearcherID
60
TITLE: OBJECT INTERACTION
AUTHORS: COSTA, JF ; SERNADAS, A ; SERNADAS, C ; EHRICH, HD;
PUBLISHED: 1992, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 629
INDEXED IN: WOS
IN MY: ResearcherID
Page 6 of 9. Total results: 88.

A place for researchers and their institutions

Useful Links

Get Help

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