ICSE 1982

47 papers

1. A Closer Look at Iteration: The Self Stabilizing Capability of Loops · Ali Mili
2. A Form-Based Approach to Human Engineering Methodologies · Huang Cheng Kuo, C. H. Li, Jay Ramanathan
3. A Hierarchical Structuring Method for Functional Software Systems · Kokichi Futatsugi, Koji Okada
4. A Model for Description of Communication Protocol · Kazuhiko Chiba, Kazunori Konishi, Akira Kurematsu
5. A Model for Estimating Program Size and Its Evaluation · M. Itakura, A. Takayanagi
6. A New Design Language for Communication Protocols and a Systematic Design Method of Communication Systems · Norio Shiratori, J. Gohara, Shoichi Noguchi
7. A Retrospective on the Development of Star · Eric Harslem, LeRoy E. Nelson
8. An Automatic Programming System to Support an Experimental Science · David R. Barstow, Roger Duffey, Stephen W. Smoliar, Stanley Vestal
9. An Editor for Documentation in pi-System to Support Software Development and Maintenance · Yukikazu Nakamoto, T. Iwamoto, M. Hori, Kenichi Hagihara, Nobuki Tokura
10. An Examination of Evolution Dynamics · M. J. Lawrence
11. An Insider's Survey on Software Development · Jean Cochrane Zolnowski, P. D. Ting
12. Automatic Input of Flow Chart in Document Image · S. Ito
13. Capturing More World Knowledge in the Requirements Specification · Sol J. Greenspan, John Mylopoulos, Alexander Borgida
14. Configuration Control for Evolutional Software Products · Osamu Shigo, Yoshio Wada, Yuichi Terashima, Kanji Iwamoto, Takashi Nishimura
15. Consistency Checking within Embedded Design Languages · Andres Rudmik, B. E. Casey, H. Cohen
16. DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements · Luigi Petrone, Antonio Di Leva, Franco Sirovich
17. Data Flow Analysis Techniques for Test Data Selection · Sandra Rapps, Elaine J. Weyuker
18. Data-Driven Implementation of Data Flow Diagrams · Robert G. Babb II
19. Design Considerations in Language Processing Tools for Ada · Wayne A. Babich, Larry Weissman, Martin I. Wolfe
20. Design, Implementation, and Evaluation of a Revision Control System · Walter F. Tichy
21. Designing Data Entry Programs Using State Diagram as a Common Model · M. M. Ling
22. Early Experiences with a Multi-Display Programming Environment · Yoshihisa Mano, Kazuhito Ohmaki, Koji Torii
23. Experience with a Module Package in Developing Production Quality PASCAL Programs · S. Warren, Bruce E. Martin, Charles Hoch
24. Experimental Results on the Paging Behavior of Numerical Programs · Walid A. Abu-Sufah, R. Lee, Mohammad Malkawi, P. Yew
25. Experiments with Computer Software Complexity and Reliability · D. Potier, J. L. Albin, R. Ferreol, A. Bilodeau
26. From Specifications to Machine Code: Program Construction through Formal Reasoning · Friedrich L. Bauer
27. Functional Specification of Synchronized Processes Based on Modal Logic · Naoki Yonezaki, Takao Katayama
28. Global Data Flow Analysis by Decomposition into Primes · Ira R. Forman
29. M. H. Halstead's Software Science - A Critical Examination · P. G. Hamer, G. D. Frewin
30. MAP: A Tool for Understanding Software · S. Warren
31. No 1A ESS Laboratory Support System - Erasable Flag Facility · D. V. Buyansky, J. W. Schatz
32. Overstructured Management of Software Engineering · Gerald M. Weinberg
33. Representation of Factual Information by Equations and Their Evaluation · P. Lucas, Tore Risch
34. Requirement Specification Description System in Japanese Language - JISDOS · Jun Murai, Nobuo Saito, Norihisa Doi, M. Morohashi, T. Fujisaki
35. Software Development with Executable Functional Specifications · Joseph E. Urban
36. Software Quality = Test Accuracy * Test Coverage · H. Ohba
37. Specification of Abstract Data Types with Partially Defined Operations · Toshiki Sakabe, Yasuyoshi Inagaki, Namio Honda
38. Static and Dynamic Data Modeling for Information System Design · David A. Marca, Clement L. McGowan
39. The Design of an Integrated, Interactive and Incremental Programming Environment · Harald Wertz
40. The Dimensions of Healthy Maintenance · Robert S. Arnold, D. A. Parker
41. The Inspection Metho Applied to Small Projects · B. Runge
42. The Portable Communication Protocol Program COMPAS for Data Terminal Systems · K. Miyazawa, M. Oda, S. Kato
43. The TRW Software Productivity System · Barry W. Boehm, James F. Elwell, Arthur B. Pyster, E. Don Stuckle, Ronald D. Williams
44. Toolpack - An Experimental Software Development Environment Research Project · Leon J. Osterweil
45. Verification System for Formal Requirements Description · Kiyoshi Agusa, Atsushi Ohnishi, Yutaka Ohno
46. Visual Aid for FORTRAN Program Debugging · K. Takahashi, T. Aso, M. Kobayashi
47. XS-1: An Integrated Interactive System and Its Kernel · G. Beretta, Helmar Burkhart, Peter Fink, Jürg Nievergelt, Jan Stelovsky, Hirotsugo Sugaya