6. ICSE 1982: Tokyo, Japan

Proceedings, 6th International Conference on Software Engineering, September 13-16, 1982, Tokyo, Japan. IEEE Computer Society, Catalog No. 82CH1795-4

Invited Presentation

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

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

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

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

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

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

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

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

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

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

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

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

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

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 BibTeX
G. Beretta, Helmar Burkhart, Peter Fink, Jürg Nievergelt, Jan Stelovsky, Hirotsugo Sugaya: XS-1: An Integrated Interactive System and Its Kernel. 340-349 BibTeX
Luigi Petrone, Antonio Di Leva, Franco Sirovich: DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements. 350-359 BibTeX

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

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

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