PDSE 1998: Kyoto, Japan

Invited Talks

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

Formal Specification and Modeling

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

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
  
• D. Hung, P. Thai:
  On Checking Parallel Real-Time Systems for Linear Duration Invariants. 61-71
  
• Jelena V. Misic, Samuel T. Chanson, Shing-Chi Cheung:
  Towards a Framework for Testing Distributed Multimedia Software Systems. 72-
  

Software Architecture

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

Performance Evaluation

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

Programming Environment

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

Software Engineering for Multimedia Programs

• Shing-Chi Cheung, Kam-Keung Wong:
  Construction of Distributed Multimedia Applications using Multiple Views. 166-175
  
• Nikolay N. Mirenkov, Alexander Vazhenin:
  Filmification of Methods: Computation on Matrices. 176-
  

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
  
• Glenn Bruns, Mark G. Staskauskas:
  Applying Formal Methods to a Protocol Standard and its Implementations. 198-
  

Work in Progress

• Marco A. Torres, Susumu Kuroyanagi, Akira Iwata:
  A Fast Parallel Search Method for Large Dictionaries. 207-214
  
• Claudio Demartini, Riccardo Sisto:
  Static Analysis of Java Multithreaded and Distributed Applications. 215-222
  
• N. Lee, Jang-Eui Hong, S. Cha, Doo-Hwan Bae:
  Towards Reusable Colored Petri Nets. 223-229
  
• 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
  
• Katsuhiro Yamazaki, Shoichi Ando:
  A Case-Based Parallel Programming System. 238-245
  
• Maximilian Frey, Michael Oberhuber, Markus Podolsky:
  Framework for Testing based Development of Parallel and Distributed Programs. 246-253
  
• Veronika Thurner:
  A Formally Founded Description Technique for Business Processes. 254-262