91
TITLE: Superposing connectors
AUTHORS: Wermelinger, M; Lopes, A ; Fiadeiro, JL;
PUBLISHED: 2000, SOURCE: 10th International Workshop on Software Specification and Design in TENTH INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN
INDEXED IN: Scopus WOS CrossRef: 2
92
TITLE: Algebraic semantics of coordination or what is in a signature
AUTHORS: Fiadeiro, JL; Lopes, A ;
PUBLISHED: 1999, SOURCE: 7th International Conference on Algebraic Methodology and Software Technology (AMAST 98) in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, VOLUME: 1548
INDEXED IN: Scopus WOS CrossRef: 8
93
TITLE: Using explicit state to describe architectures
AUTHORS: Lopes, A ; Fiadeiro, JL;
PUBLISHED: 1999, SOURCE: Joint European Conference on Theory and Practice of Software (ETAPS 99) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1577
INDEXED IN: Scopus WOS
94
TITLE: Preservation and reflection in specifications
AUTHORS: Lopes A. ; Fiadeiro J.L.;
PUBLISHED: 1997, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1349
INDEXED IN: Scopus
95
TITLE: Semantics of architectural connectors
AUTHORS: Fiadeiro, JL; Lopes, A ;
PUBLISHED: 1997, SOURCE: 7th International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1214
INDEXED IN: Scopus
96
TITLE: Specification of required non-determinism
AUTHORS: Lano K.; Bicarregui J.; Fiadeiro J.; Lopes A. ;
PUBLISHED: 1997, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1313
INDEXED IN: Scopus CrossRef: 2
Page 10 of 10. Total results: 96.