PDSE 1998: Kyoto, Japan

Invited Talks

• Mark Astley, Gul Agha:
  Modular Construction and Composition of Distributed Software Architectures. 2-12
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Ian Gorton:
  Distributed Information Systems - Issues and Challenges for the Software Engineering Research Community. 13-17
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Satoshi Matsuoka:
  Towards a Parallel Programming Language based on Commodity Object-Oriented Technologies. 18-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Formal Specification and Modeling

• J. Condom, K. Ouriachi:
  Contribution to the Specification in Z of Concurrency under a Non-Interleaving Semantics. 20-27
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Ichiro Satoh:
  An Algebraic Framework for Optimizing Parallel Programs. 28-38
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Holger Giese, Jörg Graf, Guido Wirtz:
  Modeling Distributed Software Systems with Object Coordination Nets. 39-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Testing and Verification

• Thierry Jéron, Jean-Marc Jézéquel, Alain Le Guennec:
  Validation and Test Generation for Object-Oriented Distributed Software. 51-60
  Electronic Edition (IEEE Computer Society DL) BibTeX
• D. Hung, P. Thai:
  On Checking Parallel Real-Time Systems for Linear Duration Invariants. 61-71
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Jelena V. Misic, Samuel T. Chanson, Shing-Chi Cheung:
  Towards a Framework for Testing Distributed Multimedia Software Systems. 72-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Software Architecture

• Grzegorz Czajkowski, Chi-Chao Chang, Thorsten von Eicken:
  Building Parallel Runtime Systems with Active Messages. 83-93
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Reino Kurki-Suonio, Tommi Mikkonen:
  Abstractions of Distributed Cooperation, their Refinement and Implementation. 94-102
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Jacky Estublier, N. Barghouti:
  Interoperability and Distribution of Process-Sensitive Systems. 103-114
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Woei-Jiunn Tsaur, Shi-Jinn Horng, R. Tsai:
  A Scheme for Auditing Causal Relationships in Group Oriented Distributed Systems. 115-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Performance Evaluation

• Hesham El-Sayed, Donald Cameron, C. Murray Woodside:
  Automated Performance Modeling from Scenarios and SDL Designs of Distributed Systems. 127-135
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Michael Goedicke, Torsten Meyer:
  Formal Design and Performance Evaluation of Parallel and Distributed Software Systems. 136-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Programming Environment

• Anna Liu, Ian Gorton:
  PARSE-DAT: An Integrated Environment for the Design and Analysis of Dynamic Software Architectures. 146-
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, Oscar Slotosch:
  Tool Supported Specification and Simulation of Distributed Systems. 155-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Software Engineering for Multimedia Programs

• Shing-Chi Cheung, Kam-Keung Wong:
  Construction of Distributed Multimedia Applications using Multiple Views. 166-175
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Nikolay N. Mirenkov, Alexander Vazhenin:
  Filmification of Methods: Computation on Matrices. 176-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Case Study

• Peter Luksch, Ursula Maier, Sabine Rathmayer, Matthias Weidmann, Friedemann Unger, Peter Bastian, Volker Reichenberger, Andreas Haas:
  Software Engineering in Parallel and Distributed Scientific Computing: A Case Study from Industrial Practice. 187-197
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Glenn Bruns, Mark G. Staskauskas:
  Applying Formal Methods to a Protocol Standard and its Implementations. 198-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Work in Progress

• Marco A. Torres, Susumu Kuroyanagi, Akira Iwata:
  A Fast Parallel Search Method for Large Dictionaries. 207-214
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Claudio Demartini, Riccardo Sisto:
  Static Analysis of Java Multithreaded and Distributed Applications. 215-222
  Electronic Edition (IEEE Computer Society DL) BibTeX
• N. Lee, Jang-Eui Hong, S. Cha, Doo-Hwan Bae:
  Towards Reusable Colored Petri Nets. 223-229
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Ralf Henke, Andreas Mitschele-Thiel, Hartmut König:
  Conjunct Application of Model-based and Code-based Optimization to Derive Efficient Parallel Implementations from SDL. 230-237
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Katsuhiro Yamazaki, Shoichi Ando:
  A Case-Based Parallel Programming System. 238-245
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Maximilian Frey, Michael Oberhuber, Markus Podolsky:
  Framework for Testing based Development of Parallel and Distributed Programs. 246-253
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Veronika Thurner:
  A Formally Founded Description Technique for Business Processes. 254-262
  Electronic Edition (IEEE Computer Society DL) BibTeX