1. Software Engineering for Parallel and Distributed Systems 1996: Berlin, Germany

@proceedings{DBLP:conf/pds/1996,
  editor    = {Innes Jelly and
               Ian Gorton and
               Peter R. Croll},
  title     = {Software Engineering for Parallel and Distributed Systems, Proceedings
               of the First IFIP TC10 International Workshop on Parallel and
               Distributed Software Engineering, March 1996},
  booktitle = {Software Engineering for Parallel and Distributed Systems},
  publisher = {Chapman {\&} Hall},
  series    = {IFIP Conference Proceedings},
  volume    = {50},
  year      = {1996},
  isbn      = {0-412-75740-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Part One: Research Papers

• Ian Coutts, Marcos Aguiar, John Edwards: Infrastructural software for model driven distributed manufacturing systems. 1-14 BibTeX
• Andreas Mitschele-Thiel: Methodology and tools for the development of high performance parallel systems with SDL/MSCs. 15-26 BibTeX
• Pierre Marcenac, Sylvain Giroux, J. R. Grasso: Designing and implementing complex systems with agents. 27-38 BibTeX
• Andrew M. Tyrrell: Communications are everything: a design methodology for fault-tolerant concurrent systems. 39-49 BibTeX
• Anna Liu, Toong Shoon Chan, Ian Gorton: Designing distributed multimedia systems using PARSE. 50-61 BibTeX
• Naoshi Uchihira, Shinichi Honiden, Toshibumi Seki: Hypersequential programming - a novel paradigm for concurrent programming. 62-73 BibTeX
• John Yiannis Cotronis: Efficient composition and automatic initialization of arbitrary structured PVM programs. 74-85 BibTeX
• C. Bernon, Claude Bétourné, A. Sayah: Arcadia: a platform for the study of dynamic scheduling of communicating processes. 86-97 BibTeX
• Henryk Krawczyk, Bogdan Wiszniewski: Interactive testing tool for parallel programs. 98-109 BibTeX
• Fred Carter, Alan David Fekete: Cerberus - a tool for debugging distributed algorithms. 110-121 BibTeX
• Maximilian Frey: Debugging parallel programs using temporal logic specifications. 122-133 BibTeX
• Vincent Loechner, Catherine Mongenet: OPERA: a toolbox for loop parallelization. 134-145 BibTeX
• Beniamino Di Martino, Christoph W. Keßler: Program comprehension engines for automatic parallelization: a comparative study. 146-157 BibTeX
• Paddy Nixon, Lihua Shi: Concurrent semantics for structured design methods. 158-169 BibTeX
• Simon A. Dobson, Christopher P. Wadsworth: Towards a theory of shared data in distributed systems. 170-182 BibTeX
• Thierry Cattel: Using concurrency and formal methods for the design of safe process control. 183-194 BibTeX
• Anthony J. Cowling, M. C. Nike: Using data flow algebra to analyse the alternating bit protocol. 195-207 BibTeX
• J. Mark Bull: A hierarchical classification of overheads in parallel programs. 208-219 BibTeX
• L. R. Fletcher, M. Santini: Periodicity in an asynchronous algorithm for parallel processing. 220-231 BibTeX
• Oliver Botti, Lorenzo Capra: Performance indices to characterise concurrent applications: experimenting GSPN evaluation techniques in plant automation. 232-243 BibTeX
• Fred W. Howell: Reverse profiling. 244-255 BibTeX

Part Two: Project Reviews

• Peter Luksch, Ursula Maier, Sabine Rathmayer, Matthias Weidmann: SEMPA: software engineering methods for parallel scientific applications. 259-264 BibTeX
• Susanna Donatelli, Nicola Mazzocca, Stefano Russo: EPOCA: status and prospects. 265-270 BibTeX
• Innes Jelly, Ian Gorton: The PARSE project. 271-276 BibTeX
• Michele Di Santo, Franco Frattolillo, Wilma Russo, Eugenio Zimeo: The AL++ Project: object-oriented parallel programming on multicomputers. 277-282 BibTeX
• Helmar Burkhart, Niandong Fang, Robert Frank, Guido Hächler, Walter Kuhn, G. Prétôt: The Basel Tool Suite for parallel processing. 283-288 BibTeX

Part Three: Demonstrations

• Julian M. Bass, Adrian Browne, M. S. Hajji, Peter R. Croll, Peter J. Fleming: Development framework for real-time control system design. 291-296 BibTeX
• Peter Milligan, Paul Sage, P. J. P. McMullan, Patrick H. Corr: A knowledge based approach to parallel software engineering. 297-302 BibTeX
• Karsten M. Dekker, Jiri J. Dvorak, René M. Rehmann: Problem-solving on scalable parallel systems using application specification and reusable software components. 303-309 BibTeX
• P. Aversa, Antonino Mazzeo, Nicola Mazzocca, Umberto Villano: The PS project: development of a simulator of PVM applications for heterogeneous and network computing. 310-315 BibTeX
• Carl I. Birkinshaw, Peter R. Croll: Supporting integrated modelling of parallel hybrid systems. 316-321 BibTeX