Abstract is missing.
- Modular Construction and Composition of Distributed Software ArchitecturesMark Astley, Gul Agha. 2-12 [doi]
- Distributed Information Systems - Issues and Challenges for the Software Engineering Research CommunityIan Gorton. 13-17 [doi]
- Towards a Parallel Programming Language based on Commodity Object-Oriented TechnologiesSatoshi Matsuoka. 18 [doi]
- Contribution to the Specification in Z of Concurrency under a Non-Interleaving SemanticsJ. Condom, K. Ouriachi. 20-27 [doi]
- An Algebraic Framework for Optimizing Parallel ProgramsIchiro Satoh. 28-38 [doi]
- Modeling Distributed Software Systems with Object Coordination NetsHolger Giese, Jörg Graf, Guido Wirtz. 39 [doi]
- Validation and Test Generation for Object-Oriented Distributed SoftwareThierry Jéron, Jean-Marc Jézéquel, Alain Le Guennec. 51-60 [doi]
- Towards a Framework for Testing Distributed Multimedia Software SystemsJelena V. Misic, Samuel T. Chanson, Shing-Chi Cheung. 72 [doi]
- Building Parallel Runtime Systems with Active MessagesGrzegorz Czajkowski, Chi-Chao Chang, Thorsten von Eicken. 83-93 [doi]
- Abstractions of Distributed Cooperation, their Refinement and ImplementationReino Kurki-Suonio, Tommi Mikkonen. 94-102 [doi]
- Interoperability and Distribution of Process-Sensitive SystemsJacky Estublier, N. Barghouti. 103-114 [doi]
- A Scheme for Auditing Causal Relationships in Group Oriented Distributed SystemsWoei-Jiunn Tsaur, Shi-Jinn Horng, R. Tsai. 115 [doi]
- Automated Performance Modeling from Scenarios and SDL Designs of Distributed SystemsHesham El-Sayed, Donald Cameron, C. Murray Woodside. 127-135 [doi]
- Formal Design and Performance Evaluation of Parallel and Distributed Software SystemsMichael Goedicke, Torsten Meyer. 136 [doi]
- PARSE-DAT: An Integrated Environment for the Design and Analysis of Dynamic Software ArchitecturesAnna Liu, Ian Gorton. 146 [doi]
- Tool Supported Specification and Simulation of Distributed SystemsFranz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, Oscar Slotosch. 155 [doi]
- Construction of Distributed Multimedia Applications using Multiple ViewsShing-Chi Cheung, Kam-Keung Wong. 166-175 [doi]
- Filmification of Methods: Computation on MatricesNikolay N. Mirenkov, Alexander Vazhenin. 176 [doi]
- Software Engineering in Parallel and Distributed Scientific Computing: A Case Study from Industrial PracticePeter Luksch, Ursula Maier, Sabine Rathmayer, Matthias Weidmann, Friedemann Unger, Peter Bastian, Volker Reichenberger, Andreas Haas. 187-197 [doi]
- Applying Formal Methods to a Protocol Standard and its ImplementationsGlenn Bruns, Mark G. Staskauskas. 198 [doi]
- A Fast Parallel Search Method for Large DictionariesMarco A. Torres, Susumu Kuroyanagi, Akira Iwata. 207-214 [doi]
- Static Analysis of Java Multithreaded and Distributed ApplicationsClaudio Demartini, Riccardo Sisto. 215-222 [doi]
- Towards Reusable Colored Petri NetsN. Lee, Jang-Eui Hong, S. Cha, Doo-Hwan Bae. 223-229 [doi]
- Conjunct Application of Model-based and Code-based Optimization to Derive Efficient Parallel Implementations from SDLRalf Henke, Andreas Mitschele-Thiel, Hartmut König. 230-237 [doi]
- A Case-Based Parallel Programming SystemKatsuhiro Yamazaki, Shoichi Ando. 238-245 [doi]
- Framework for Testing based Development of Parallel and Distributed ProgramsMaximilian Frey, Michael Oberhuber, Markus Podolsky. 246-253 [doi]
- A Formally Founded Description Technique for Business ProcessesVeronika Thurner. 254-262 [doi]