ICSE A*

51 papers

YearTitle / Authors
1981A Comparison of Lifecycle Models.
Pentti Kerola, Peter Freeman
1981A Database Model for Effective Configuration Management in the Programming Environment.
Karen E. Huff
1981A Meta-Model for Software Development Resource Expenditures.
John W. Bailey, Victor R. Basili
1981A Partition Analysis Method to Increase Program Reliability.
Debra J. Richardson, Lori A. Clarke
1981A Procedure for Designing Abstract Interfaces for Device Interface Modules.
K. H. Britton, R. A. Parker, David Lorge Parnas
1981A Report on Random Testing.
Joe W. Duran, Simeon C. Ntafos
1981A Requirements and Design Aid for Relational Data Bases.
M. L. Wilson
1981A Robust B-Tree Implementation.
James P. Black, David J. Taylor, David E. Morgan
1981A Software Methodology for Buidling Interactive Tools.
R. W. Lingard
1981A User Interface for Online Assistance.
Nathan Relles, Lynne A. Price
1981Active Data Structures.
Gregory R. Andrews, David P. Dobkin, Peter J. Downey
1981An Algorithm to Support Code-Skeleton Generation for Concurrent Systems.
Maria Heloisa (Lolo) Penedo, Daniel M. Berry, Gerald Estrin
1981An Automated Program Testing Methodology and Its Implementation.
Dorothy M. Andrews, Jeoffrey P. Benson
1981An Incremental Programming Environment.
Peter H. Feiler, Raul Medina-Mora
1981An Index Organization for Applications with Highly Skewed Access Patterns.
Christer Hultén
1981An Innovative Approach to System Requirements Analysis by Using Structural Modeling Method.
N. Komoda, K. Haruna, H. Kaji, H. Shinozawa
1981An Interactive Tool for Program Manipulation.
Anne Adam, Paul Y. Gloess, Jean-Pierre H. Laurent
1981Application Downloading.
Robert Balzer, Alvin S. Cooperband, Martin S. Feather, Philip E. London, David S. Wile
1981BIGMAC II: A FORTRAN Language Augmentation Tool.
Eugene W. Myers, Leon J. Osterweil
1981Beyond ALBE/P: Language Neutral Form.
J. W. Lewis
1981Completeness Criteria for Testing Elementary Program Functions.
William E. Howden
1981Conspectus of Software Engineering Environments.
Hans-Ludwig Hausen, Monika Müllerburg
1981Development of Computer Programs by Problem Analysis Diagram (PAD).
Y. Futamura, T. Kawai, H. Horikoshi, M. Tsutsumi
1981Early Experiences with Euclid.
David B. Wortman, James R. Cordy
1981Evaluation of a Software Requirements Document by Analysis of Change Data.
Victor R. Basili, David M. Weiss
1981Executable Requirements for Embedded Systems.
Pamela Zave, Raymond T. Yeh
1981Experience with Application of Modern Software Management Controls.
D. L. Paster
1981Experience with a Modular Typed Language: PROTEL.
P. M. Cashin, Marc L. Joliat, Rym F. Kamel, D. M. Lasker
1981HFP: A Hierarchical and Functional Programming Based on Attribute Grammar.
T. Katayama
1981Implementing a Software Management Discipline.
Robert E. Loesh, B. Larman, P. Molko, Donald J. Reifer
1981Interactive Software Development Tool: ISDT.
Motoei Azuma, M. Takahashi, Susumu Kamiya, K. Minomura
1981Lilith: A Personal Computer for the Software Engineer.
Niklaus Wirth
1981Methods for Improving Controlled Experimentation in Software Engineering.
Thomas G. Moher, G. Michael Schneider
1981On the Time Overhead of Counters and Traversal Markers.
Ira R. Forman
1981Proceedings of the 5th International Conference on Software Engineering, San Diego, California, USA, March 9-12, 1981.
Seymour Jeffrey, Leon G. Stucki
1981Program Complexity Measure for Software Development Management.
Takeshi Sunohara, Akira Takano, Kenji Uehara, Tsutomu Ohkawa
1981Program Refinement by Transsformation.
Thomas E. Cheatham Jr., Glenn H. Holloway, Judy A. Townley
1981Program Slicing.
Mark D. Weiser
1981Prototyping as a Tool in the Specification of User Requirements.
Hassan Gomaa, D. B. H. Scott
1981Resource = Abstract Data Type + Synchronization - A Methodology for Message Oriented Programming.
Paulo R. F. Cunha, T. S. E. Maibaum
1981Software Architecture Based on Communicating Residential Environments.
Erik Sandewall, Claes Strömberg, Henrik Sörensen
1981Specifying and Proving Properties of Sentinel Processes.
Krithi Ramamritham, Robert M. Keller
1981Sufficient Tset Sets for Path Analysis Testing Strategies.
Steven J. Zeil, Lee J. White
1981The Effect of Modularization and Comments on Program Comprehension.
Scott N. Woodfield, Hubert E. Dunsmore, Vincent Y. Shen
1981The Effects of Symbology and Spatial Arrangement on the Comprehension of Software Specifications.
Sylvia B. Sheppard, Elizabeth Kruesi, Bill Curtis
1981The Evolution of Programs: Program Abstraction and Instantiation.
Nachum Dershowitz
1981The Finalization Operation for Abstract Types.
Richard L. Schwartz, P. M. Melliar-Smith
1981The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology.
Jean-Loup Baer, Georges Gardarin, Claude Girault, Gérard Roucairol
1981Use of Cluster Analysis to Evaluate Software Engineering Methodologies.
Eric Chen, Marvin V. Zelkowitz
1981User Software Engineering and the Design of Interactive Systems.
Anthony I. Wasserman
1981Using Attributed Grammars to Test Designs and Implementations.
Arthur G. Duncan, John S. Hutchison