ICSE A*

48 papers

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