The Community for Technology Leaders
Software Engineering for Parallel and Distributed Systems, International Symposium on (1999)
Los Angeles, California
May 17, 1999 to May 18, 1999
ISBN: 0-7695-0191-5
TABLE OF CONTENTS

Referee Names (PDF)

pp. x
Session I: Distributed Object Systems

Multithreaded Dependence Graphs for Concurrent Java Program (Abstract)

Jianjun Zhao , Fukuoka Institute of Technology
pp. 13

State-Based Reproducible Testing for CORBA Applications (Abstract)

Hwan Wook Sohn , University of Texas at Arlington
David C. Kung , University of Texas at Arlington
Pei Hsia , University of Texas at Arlington
pp. 24
Session II: Analysis

Specifying and Analysing Distributed Object-Oriented Systems (Abstract)

Markus Podolsky , Technische Universit?t M?nchen
Maximilian Frey , Technische Universit?t M?nchen
pp. 38

Channel Dependence Analysis for Slicing Promela (Abstract)

Lynette I. Millett , Cornell University
Tim Teitelbaum , Cornell University
pp. 52

Deadlock Analysis of Synchronous Message-Passing Programs (Abstract)

Jun Zhou , North Carolina State University at Raleigh
Kuo-chung Tai , North Carolina State University at Raleigh
pp. 62
Session III: Validation

Testing of Concurrent Programs Based on Message Sequence Charts (Abstract)

Yong Rae Kwon , Korea Advanced Institute of Science and Technology
Byung Sun Lee , Electronics and Telecommunications Research Institute
Hyun Seop Bae , Korea Advanced Institute of Science and Technology
Hyeon Soo Kim , Kumoh National University of Technology
In Sang Chung , Hansung University
pp. 72

Automated Test Sequence Generation Using Sequencing Constraints for Concurrent Programs (Abstract)

Kuo-Chung Tai , North Carolina State University at Raleigh
Bengi Karaçali , North Carolina State University at Raleigh
pp. 97
Session IV: Applications and Methods

Specification and Modeling of Flexible Manufacturing Systems Using Behaviours and Petri Nets Building Blocks (Abstract)

V. Vittorini , Universit? degli Studi di Napoli Federico II
P. Chiacchio , Universit? degli Studi di Napoli Federico II
N. Mazzocca , Seconda Universit? di Napoli
F. Basile , Universit? degli Studi di Napoli Federico II
pp. 110

Evaluation of a Methodology for the Reverse Engineering and Parallelization of Sequential Code (Abstract)

Joseph Pizzi , Texas Tech University
John C. Grieger , Phillips Petroleum Company
Runlin Zhu , Texas Tech University
Donald J. Bagert , Texas Tech University
John K. Antonio , Texas Tech University
Fred Lott , Phillips Petroleum Company
Per H. Andersen , Texas Tech University
Youling Cao , Texas Tech University
pp. 124
Session V: Tools

Parallel Object Server as a Data Repository for CASE Tools (Abstract)

J. Lindner , Technical University of Chemnitz
P. Kroha , Technical University of Chemnitz
pp. 148
Session VI: Applications

Distributed Airport Simulation using CORBA and DIS (Abstract)

Antonello Pasquarelli , Marconi Systems
Thomas Ludwig , Technische Universit?t M?nchen
Günther Rackl , Technische Universit?t M?nchen
Filippo de Stefani , Marconi Systems
Francois Héran , Sogitec
pp. 166

Building Mobile Agent Applications in HiMAT (Abstract)

Andrea Omicini , Universit? di Bologna
Franco Zambonelli , Universit? di Modena e Reggio Emilia
Marco Cremonini , Universit? di Bologna
pp. 174
Session VII: Positional

Data Interoperability via Surrogate API Libraries (Abstract)

Reza Nekovei , Texas A&M University at Kingsville
pp. 190

Building Test Cases for use in Hypersequential Programming (Abstract)

Chris Rudram , University of Sheffield
Naoshi Uchihira , Toshiba Corporation
Peter Croll , University of Sheffield
pp. 205

A Case Study in Object-oriented Modeling and Design of Distributed Multimedia Applications (Abstract)

Matteo Rossi , Polit?cnico di Milano
Angelo Morzenti , Polit?cnico di Milano
Stefano Russo , Universit? di Napoli Federico II
Antonio Sergio , Universit? di Napoli Federico II
Matteo Pradella , Polit?cnico di Milano
pp. 217

Author Index (PDF)

pp. 224
87 ms
(Ver 3.1 (10032016))