6. ICSE 1982: Tokyo, Japan
Yutaka Ohno, Victor R. Basili, Hajime Enomoto, Koji Kobayashi, Raymond T. Yeh (Eds.): Proceedings, 6th International Conference on Software Engineering, Tokyo, Japan, September 13-16, 1982. IEEE Computer Society 1982
Invited Presentation
- Gerald M. Weinberg: Overstructured Management of Software Engineering. 2-9
Perspectives in Software Engineering
- 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
- 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
- M. J. Lawrence: An Examination of Evolution Dynamics. 188-196
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
- 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
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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team