10. ICSE 1988: Singapore

Technical Keynote

• Kouichi Kishida: Evolution of Tools (Abstract). 2

Parallel and Distributed Applications

• P. R. Itzigehl: A Method for Asynchronous Parallelization. 4-9
• Mahadev Satyanarayanan: On the Influence of Scale in a Distributed System. 10-18
• Mario Barbacci, Charles B. Weinstock, Jeannette M. Wing: Programming at the Processor-Memory-Switch Level. 19-29

Management

• Barry W. Boehm, Rony Ross: Theory-W Software Project Management: A Case Study. 30-40
• A. S. Duncan: Software Development Productivity Tools and Metrics. 41-48
• D. Dixon: Integrated Support for Project Management. 49-59

Environments

• Dewayne E. Perry, Gail E. Kaiser: Models of Software Development Environments. 60-68
• Kouichi Kishida, Takuya Katayama, Masatoshi Matsuo, Isao Miyamoto, Koichiro Ochimizu, Nobuo Saito, John H. Sayler, Koji Torii, Lloyd G. Williams: SDA: A Novel Approach to Software Environment Design and Construction. 69-79
• Hausi A. Müller, K. Klashinsky: Rigi - A System for Programming-in-the-Large. 80-87

Distributed System Design

• J. Fagerström: Design and Test of Distributed Applications. 88-92
• Max Mühlhäuser: Software Engineering for Distributed Applications: The Design Project. 93-101
• Michael Evangelist, V. Y. Shen, Ira R. Forman, M. Graf: Using Raddle To Design Distributed Systems. 102-115

Real Time

• X. Huang, H. Zhang, X. Cai: Heuristic Software Partitioning Algorithms for Distributed Real-Time Applications. 116-121
• M. Hagemann: Requirements Analysis for Real-Time Automation Projects. 122-129
• R. A. Orr, M. T. Norris, R. Tinker, C. D. V. Rouch: Tools for Real-Time System Design. 130-140

Plenary Session

• W. Murray, Clarence Pittman: Plenary Session-Software for Space Station. 141-143

Software Quality Techniques

• David W. Embley, Scott N. Woodfield: Assessing the Quality of Abstract Data Types Written in Ada. 144-153
• Aditya P. Mathur, Edward W. Krauser: Modeling Mutation on a Vector Processor. 154-161
• Mireille Ducassé, Anna-Maria Emde: A Review of Automated Debugging Systems: Knowledge, Strategies, and Techniques. 162-173

Process Models

• Lloyd G. Williams: Software Process Modeling: A Behavioral Approach. 174-186
• D. Ross Jeffery, Victor R. Basili: Validating the TAME Resource Data Model. 187-201
• O. R. Fonorow: Modeling Software Tools with Icon. 202-221

Environments Components

• K. Narayanaswamy: Static Analysis-Based Program Evolution Support in the Common Lisp Framework. 222-230
• N. Mano: Modeling of Data-Processing Software for Generating and Reusing Their Programs. 231-240
• Steven J. Zeil, Edward C. Epp: Interpretation in a Tool-Fragment Environment. 241-249

Panel

• Anthony I. Wasserman: Implications of Hardware Advances for Software Development. 250-253

Reuse

• Karl J. Lieberherr, Arthur J. Riel: Demeter: A Case Study of Software Growth through Parameterized Classes. 254-264
• H. Tarumi, Kiyoshi Agusa, Yutaka Ohno: A Programming Environment Supporting Reuse of Object-Oriented Software. 265-273
• David Notkin, William G. Griswold: Extension and Software Development. 274-285

Specifying Concurrent Systems

• Matthias Hallman: An Operational Requirement Description Model for Open Systems. 286-295
• Gruia-Catalin Roman: Language and Visualization Support for Large-Scale Concurrency. 296-308
• Lin Chiu, Ming T. Liu: High-Level Specification of Concurrency Control in Distributed Database Systems. 309-319

Panel

• Lloyd G. Williams: Software Reuse (Panel Abstract). 320-323

Formal Methods

• Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, A. Neilson, Bill Pase, Mark Saaltink: m-EVES: A Tool for Verifying Software. 324-333
• Ataru T. Nakagawa, Kokichi Futatsugi, Satoru Tomura, T. Shimizu: Algebraic Specification of Macintosh's Quickdraw Using OBJ2. 334-343
• Robert B. Terwilliger, Roy H. Campbell: An Early Report on Encompass. 344-355

User Issues

• Ronald Baecker: Enhancing Program Readability and Comprehensibility with Tools for Program Visualization. 356-366
• Michal Young, Richard N. Taylor, Dennis B. Troup, Cheryl D. Kelly: Design Principles behind Chiron: A UIMS for Software Environments. 367-376
• Stephen S. Cha, Nancy G. Leveson, Timothy J. Shimeall: Safety Verification in Murphy Using Fault Tree Analysis. 377-387

Automated Tools

• J. L. Benjamin: PILOT: A Prescription for Program Performance Measurement. 388-395
• David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring: STATEMATE; A Working Environment for the Development of Complex Reactive Systems. 396-406
• Helen C. Sharp: KDA - A Tool for Automatic Design Evaluation and Refinement Using the Blackboard Model of Control. 407-417

Software Derivation

• Colin Potts, Glenn Bruns: Recording the Reasons for Design Decisions. 418-427
• W. Lewis Johnson: Deriving Specifications from Requirements. 428-438
• David R. Barstow: Automatic Programming for Streams II: Transformational Implementation. 439-447