10. ICSE 1988: Singapore

Proceedings, 10th International Conference on Software Engineering, April 11-15, 1988, Singapore. IEEE Computer Society, ISBN 0-8186-0849-8

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

Last update Mon Feb 13 04:32:00 2012 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page