Software Engineering for Parallel and Distributed Systems: Proceedings of the First IFIP TC10 International Workshop on Parallel and Distributed Software Engineering, March 1996

Front Matter....Pages i-xi
Front Matter....Pages 1-1
Infrastructural Software for Model Driven Distributed Manufacturing Systems....Pages 3-14
Methodology and Tools for the Development of High Performance Parallel Systems with SDL/MSCs....Pages 15-26
Designing and implementing complex systems with agents....Pages 27-38
Communications are Everything: A Design Methodology for Fault-Tolerant Concurrent Systems....Pages 39-49
Designing Distributed Multimedia Systems using PARSE....Pages 50-61
Hypersequential Programming....Pages 62-73
Efficient composition and automatic initialization of arbitrarily structured PVM programs....Pages 74-85
Arcadia: A platform for the study of dynamic scheduling of communicating processes....Pages 86-97
Interactive testing tool for parallel programs....Pages 98-109
Cerberus - a tool for debugging distributed algorithms....Pages 110-121
Debugging Parallel Programs using Temporal Logic Specifications....Pages 122-133
OPERA: A Toolbox For Loop Parallelization....Pages 134-145
Program Comprehension Engines for Automatic Parallelization: A Comparative Study....Pages 146-157
Concurrent semantics for structured design methods....Pages 158-169
Towards a theory of shared data in distributed systems....Pages 170-182
Using Concurrency and Formal Methods for the Design of Safe Process Control....Pages 183-194
Using dataflow algebra to analyse the alternating bit protocol....Pages 195-207
A hierarchical classification of overheads in parallel programs....Pages 208-219
Periodicity in an asynchronous algorithm for parallel processing....Pages 220-231
Performance indices to characterise concurrent applications: experimenting GSPN evaluation techniques in plant automation....Pages 232-243
Front Matter....Pages 1-1
Reverse profiling....Pages 244-255
Front Matter....Pages 257-257
SEMPA: Software Engineering Methods for Parallel Scientific Applications....Pages 259-264
EPOCA: status and prospects....Pages 265-270
The PARSE Project....Pages 271-276
The AL++ project: object-oriented parallel programming on multicomputers....Pages 277-282
The Basel Tool Suite for Parallel Processing....Pages 283-288
Front Matter....Pages 289-289
Development Framework for real-time control system design....Pages 291-296
A Knowledge Based Approach to Parallel Software Engineering....Pages 297-302
Problem-Solving on Scalable Parallel Systems Using Application Specification and Reusable Software Components....Pages 303-309
The PS project: development of a simulator of PVM applications for Heterogeneous and Network Computing....Pages 310-315
Supporting integrated modelling of parallel hybrid systems....Pages 316-321
Back Matter....Pages 323-325