10. ICSE 1988: Singapore

Technical Keynote

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

Parallel and Distributed Applications

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

Management

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

Environments

• Dewayne E. Perry, Gail E. Kaiser: Models of Software Development Environments. 60-68 BibTeX
• 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 BibTeX
• Hausi A. Müller, K. Klashinsky: Rigi - A System for Programming-in-the-Large. 80-87 BibTeX

Distributed System Design

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

Real Time

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

Plenary Session

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

Software Quality Techniques

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

Process Models

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

Environments Components

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

Panel

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

Reuse

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

Specifying Concurrent Systems

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

Panel

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

Formal Methods

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

User Issues

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

Automated Tools

• J. L. Benjamin: PILOT: A Prescription for Program Performance Measurement. 388-395 BibTeX
• 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 BibTeX
• Helen C. Sharp: KDA - A Tool for Automatic Design Evaluation and Refinement Using the Blackboard Model of Control. 407-417 BibTeX

Software Derivation

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