1
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
2
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
3
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
4
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
5
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