6. ICSE 1982: Tokyo, Japan

Invited Presentation

• Gerald M. Weinberg: Overstructured Management of Software Engineering. 2-9

Perspectives in Software Engineering

• Robert S. Arnold, D. A. Parker: The Dimensions of Healthy Maintenance. 10-27
• S. Warren: MAP: A Tool for Understanding Software. 28-39

Language Processing Issues

• Wayne A. Babich, Larry Weissman, M. Wolfe: Design Considerations in Language Processing Tools for Ada. 40-47
• Ali Mili: A Closer Look at Iteration: The Self Stabilizing Capability of Loops. 48-57

Configuration Management

• Walter F. Tichy: Design, Implementation, and Evaluation of a Revision Control System. 58-67
• O. Shigo, Y. Wada, Y. Terashima, K. Iwamoto, T. Nishimura: Configuration Control for Evolutional Software Products. 68-83

Invited Presentation

• Friedrich L. Bauer: From Specifications to Machine Code: Program Construction through Formal Reasoning. 84-93

Quantitative Aspects of Software

• D. Potier, J. L. Albin, R. Ferreol, A. Bilodeau: Experiments with Computer Software Complexity and Reliability. 94-103
• M. Itakura, A. Takayanagi: A Model for Estimating Program Size and Its Evaluation. 104-109
• Walid A. Abu-Sufah, R. Lee, Mohammad Malkawi, P. Yew: Experimental Results on the Paging Behavior of Numerical Programs. 110-119

Requirements Techniques

• Kiyoshi Agusa, A. Ohnishi, Yutaka Ohno: Verification System for Formal Requirements Description. 120-126
• Jun Murai, Nobuo Saito, Norihisa Doi, M. Morohashi, T. Fujisaki: Requirement Specification Description System in Japanese Language - JISDOS. 127-136
• David A. Marca, Clement L. McGowan: Static and Dynamic Data Modeling for Information System Design. 137-147

Programming Environments

• Barry W. Boehm, James F. Elwell, Arthur B. Pyster, E. Don Stuckle, Ronald D. Williams: The TRW Software Productivity System. 148-156
• Harald Wertz: The Design of an Integrated, Interactive and Incremental Programming Environment. 157-165
• Leon J. Osterweil: Toolpack - An Experimental Software Development Environment Research Project. 166-177

Maintenance Evaluation and Tools

• Jean Cochrane Zolnowski, P. D. Ting: An Insider's Survey on Software Development. 178-187
• M. J. Lawrence: An Examination of Evolution Dynamics. 188-196
• P. G. Hamer, G. D. Frewin: M. H. Halstead's Software Science - A Critical Examination. 197-207

Specification Techniques

• Naoki Yonezaki, Takao Katayama: Functional Specification of Synchronized Processes Based on Modal Logic. 208-217
• Toshiki Sakabe, Yasuyoshi Inagaki, Namio Honda: Specification of Abstract Data Types with Partially Defined Operations. 218-224
• Sol J. Greenspan, John Mylopoulos, Alexander Borgida: Capturing More World Knowledge in the Requirements Specification. 225-235

Tools for Program Design and Construction

• Andres Rudmik, B. E. Casey, H. Cohen: Consistency Checking within Embedded Design Languages. 236-245
• S. Warren, Bruce E. Martin, Charles Hoch: Experience with a Module Package in Developing Production Quality PASCAL Programs. 246-253
• Huang Cheng Cheng Kuo, C. H. Li, J. Ramanathan: A Form-Based Approach to Human Engineering Methodologies. 254-271

Testing and Tools

• Sandra Rapps, Elaine J. Weyuker: Data Flow Analysis Techniques for Test Data Selection. 272-278
• D. V. Buyansky, J. W. Schatz: No 1A ESS Laboratory Support System - Erasable Flag Facility. 279-286
• H. Ohba: Software Quality = Test Accuracy * Test Coverage. 287-295

Software Notations

• M. M. Ling: Designing Data Entry Programs Using State Diagram as a Common Model. 296-308
• Robert G. Babb II: Data-Driven Implementation of Data Flow Diagrams. 309-318
• S. Ito: Automatic Input of Flow Chart in Document Image. 319-329

Interactive Systems

• Yukikazu Nakamoto, T. Iwamoto, M. Hori, Kenichi Hagihara, Nobuki Tokura: An Editor for Documentation in pi-System to Support Software Development and Maintenance. 330-339
• G. Beretta, Helmar Burkhart, Peter Fink, Jürg Nievergelt, Jan Stelovsky, Hirotsugo Sugaya: XS-1: An Integrated Interactive System and Its Kernel. 340-349
• Luigi Petrone, Antonio Di Leva, Franco Sirovich: DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements. 350-359

Case Studies

• David R. Barstow, Roger Duffey, Stephen W. Smoliar, Stanley Vestal: An Automatic Programming System to Support an Experimental Science. 360-366
• P. Lucas, Tore Risch: Representation of Factual Information by Equations and Their Evaluation. 367-376
• Eric Harslem, LeRoy E. Nelson: A Retrospective on the Development of Star. 377-385

Program Analysis and Synthesis

• Ira R. Forman: Global Data Flow Analysis by Decomposition into Primes. 386-392
• Kokichi Futatsugi, Koji Okada: A Hierarchical Structuring Method for Functional Software Systems. 393-402
• Norio Shiratori, J. Gohara, Shoichi Noguchi: A New Design Language for Communication Protocols and a Systematic Design Method of Communication Systems. 403-413

Short Papers

• K. Takahashi, T. Aso, M. Kobayashi: Visual Aid for FORTRAN Program Debugging. 414-415
• B. Runge: The Inspection Metho Applied to Small Projects. 416-417
• Joseph E. Urban: Software Development with Executable Functional Specifications. 418-419
• K. Miyazawa, M. Oda, S. Kato: The Portable Communication Protocol Program COMPAS for Data Terminal Systems. 420-421
• Yoshihisa Mano, Kazuhito Ohmaki, Koji Torii: Early Experiences with a Multi-Display Programming Environment. 422-423
• K. Chiba, K. Konishi, Akira Kurematsu: A Model for Description of Communication Protocol. 424-428