1
TITLE: ABSTRACT DATA TYPE SEMANTICS FOR MANY-SORTED OBJECT QUERY ALGEBRAS
AUTHORS: SAAKE, G; JUNGCLAUS, R; SERNADAS, C ;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 495
INDEXED IN: WOS
2
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
3
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
4
TITLE: ABSTRACT DATA TYPE SEMANTICS FOR MANY-SORTED OBJECT QUERY ALGEBRAS
AUTHORS: SAAKE, G; JUNGCLAUS, R; SERNADAS, C ;
PUBLISHED: 1991, SOURCE: 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
INDEXED IN: WOS
5
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