PDSE 1999: Los Angeles, California, USA

International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE 1999), 17-18 May, 1999, Los Angeles, California, USA. IEEE Computer Society, online publication: http://computer.org/proceedings/pdse/0191/0191toc.htm

Session I: Distributed Object Systems

Ashish Shah, Dennis G. Kafura:
Symphony: A Java-Based Composition and Manipulation Framework for Distributed Legacy Resources. 2-12
Electronic Edition (IEEE Computer Society DL) BibTeX
Jianjun Zhao:
Multithreaded Dependence Graphs for Concurrent Java Programs. 13-23
Electronic Edition (IEEE Computer Society DL) BibTeX
Hwan Wook Sohn, David Chenho Kung, Pei Hsia:
State-Based Reproducible Testing for CORBA Applications. 24-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session II: Analysis

Maximilian Frey, Markus Podolsky:
Specifying and Analyzing Distributed Object-Oriented Systems. 38-51
Electronic Edition (IEEE Computer Society DL) BibTeX
Lynette I. Millett, Tim Teitelbaum:
Channel Dependence Analysis for Slicing Promela. 52-61
Electronic Edition (IEEE Computer Society DL) BibTeX
Jun Zhou, Kuo-Chung Tai:
Deadlock Analysis of Synchronous Message-Passing Programs. 62-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session III: Validation

In Sang Chung, Hyeon Soo Kim, Hyun Seop Bae, Yong Rae Kwon, Byung-Sun Lee:
Testing of Concurrent Programs Based on Message Sequence Charts. 72-82
Electronic Edition (IEEE Computer Society DL) BibTeX
Péter Kacsuk:
Systematic Debugging of Parallel Programs Based on Collective Breakpoints. 83-96
Electronic Edition (IEEE Computer Society DL) BibTeX
Bengi Karaçali, Kuo-Chung Tai:
Automated Test Sequence Generation Using Sequencing Constraints for Concurrent Programs. 97-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session IV: Applications and Methods

Francesco Basile, Pasquale Chiacchio, Valeria Vittorini, Nicola Mazzocca:
Specification and Modeling of Flexible Manufacturing Systems Using Behaviors and Petri Nets Building Blocks. 110-123
Electronic Edition (IEEE Computer Society DL) BibTeX
Per H. Andersen, Joseph Pizzi, Runlin Zhu, Youling Cao, Donald J. Bagert, John K. Antonio, Fred Lott, John C. Grieger:
Evaluation of a Methodology for the Reverse Engineering and Parallelization of Sequential Code. 124-133
Electronic Edition (IEEE Computer Society DL) BibTeX
Michael Gunzert, Andreas Nägele:
Component-Based Development and Verification of Safety Critical Software for a Brake-by-Wire System with Synchronous Software Components. 134-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session V: Tools

Petr Kroha, Jörg Lindner:
Parallel Object Server as a Data Repository for CASE Tools. 148-155
Electronic Edition (IEEE Computer Society DL) BibTeX
Michael Goedicke, Torsten Meyer:
Web-Based Tool Support for Dynamic Management of Distribution and Parallelism in Integrating Architecture Design and Performance Evaluation. 156-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session VI: Applications

Günther Rackl, Filippo de Stefani, Francois Héran, Antonello Pasquarelli, Thomas Ludwig:
Distributed Airport Simulation Using CORBA and DIS. 166-173
Electronic Edition (IEEE Computer Society DL) BibTeX
Marco Cremonini, Andrea Omicini, Franco Zambonelli:
Building Mobile Agent Applications in HiMAT. 174-181
Electronic Edition (IEEE Computer Society DL) BibTeX
Phong Tran:
An Architecture for a Distributed System for Product Engineering Lifecycle Support. 182-
Electronic Edition (IEEE Computer Society DL) BibTeX

Session VII: Positional

Reza Nekovei:
Data Interoperability via Surrogate API Libraries. 190-196
Electronic Edition (IEEE Computer Society DL) BibTeX
Xiaoshan Li:
Specification and Simulation of a Concurrent Real-Time System. 197-204
Electronic Edition (IEEE Computer Society DL) BibTeX
Chris Rudram, Peter R. Croll, Naoshi Uchihira:
Building Test Cases for Use in Hypersequential Programming. 205-209
Electronic Edition (IEEE Computer Society DL) BibTeX
Ian Gorton, Anna Liu:
Evaluating Object Transactional Monitors with OrbixOTM. 210-216
Electronic Edition (IEEE Computer Society DL) BibTeX
Angelo Morzenti, Matteo Pradella, Matteo Rossi, Stefano Russo, Antonio Sergio:
A Case Study in Object-Oriented Modeling and Design of Distributed Multimedia Applications. 217-223
Electronic Edition (IEEE Computer Society DL) BibTeX