ICSE A*

54 papers

YearTitle / Authors
1984A Cooperative Approach to Software Development by Application Engineers and Software Engineers.
Keiji Uemura, Miki Ohori
1984A Discriminant Metric for Module Cohersion.
T. J. Emerson
1984A Knowledge Base for Supporting and Intelligent Program Editor.
Daniel G. Shapiro, Jeffrey S. Dean, Brian P. McCune
1984A Large System Evaluation of SREM.
Paul A. Scheffer, Albert H. Stone III, William E. Rzepka
1984A Logarithmic Poisson Execution Time Model for Software Reliability Measurement.
John D. Musa, Kazuhira Okumoto
1984A Method of Large-Scale Software Development.
H. Hozumi, Y. Sekine, H. Ejima
1984A New Program Structure to Improve Accuracy and Readability of Pascal Software.
W. J. Rogers
1984A Program Complexity Metric Based on Data Flow Information in Control Graphs.
Kuo-Chung Tai
1984A Spiral Approach to Software Engineering Project Management Education.
Joseph C. Spicer
1984A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods.
Ali Mili, Jules Desharnais
1984A Tour Through Cedar.
Warren Teitelman
1984Abstract Models of Dialogue Concepts.
Rudi Studer
1984An Algebra for Data Flow Anomaly Detection.
Ira R. Forman
1984An Evaluation of Required Element Testing Strategies.
Simeon C. Ntafos
1984Application of Axiomatic Methods to a Specification Analyser.
Susan L. Gerhart
1984Assessing a Class of Software Tools.
Michael A. Hennell, David Hedley, I. J. Riddell
1984Characteristic Program Complexity Measures.
James L. Elshoff
1984Communication System Design Using Ada.
Arthur G. Duncan, John S. Hutchison, John W. Bailey, T. M. Chapman, A. Fregly, Elizabeth Kruesi, T. McDonald, D. Merrill, Sylvia B. Sheppard
1984Comparison of Concurrent Software Reliability Models.
Ramadan Moawad
1984Diagnostic System for Distributed Software: A Relational Database Approach.
K. Chong, P. Hsia
1984Edmas: A Locally Distributed Mail System.
Guy T. Almes, Andrew P. Black, Carl Bunje, Douglas Wiebe
1984Error Recovery in Systems of Communicating Processes.
Augusto Ciuffoletti
1984Exception Handling: Formal Specification and Systematic Program Construction.
Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho
1984Fifteen Years of Psychology in Software Engineering: Individual Differences and Cognitive Science.
Bill Curtis
1984Formal Specification and Development of an Ada Compiler - A VDM Case Study.
Geert B. Clemmensen, Ole N. Oest
1984Functional Programming and Logical Programming for the Telegram Analysis Problem.
Koji Torii, Yoshitomi Morisawa, Yuji Sugiyama, Tadao Kasami
1984Integrated Program Measurement and Documentation Tools.
A. Schroeder
1984Interactive System for Structured Program Production.
H. Maezawa, M. Kobayashi, K. Saito, Y. Futamura
1984Knowledge-Based Communication Processes in Software Engineering.
Gerhard Fischer, Matthias Schneider
1984MAIDAY: An Environment for Guided Programming.
Jacques Guyard, Jean-Pierre Jacquot
1984MGEN - A Generator for Menu Driven Programs.
B. Friman
1984Multifaceted Distributed Systems Specification Using Processes and Event Synchronization.
Gruia-Catalin Roman, Mark S. Day
1984On What Exactly Is Going On When Software Is Developed Step-by-Step.
T. S. E. Maibaum, Wladyslaw M. Turski
1984PDAS: An Assistant for Detailed Design and Implementation of Programs.
Tomoharu Mohri, Etsuo Ono, Sanya Uehara, Tetsuyasu Takao, Hideki Sato
1984PECAN: Program Development Systems That Support Multiple Views.
Steven P. Reiss
1984POWER: A Tool for Quantitative Evaluation of Software Project Effectiveness.
M. W. Evans, L. M. Picinich
1984PROUST: Knowledge-Based Program Understanding.
W. Lewis Johnson, Elliot Soloway
1984Perturbation Testing for Computation Errors.
Steven J. Zeil
1984Practical Applications of a Syntax Directed Program Manipulation Environment.
Véronique Donzeau-Gouge, Bernard Lang, Bertrand Melese
1984Proceedings, 7th International Conference on Software Engineering, Orlando, Florida, USA, March 26-29, 1984.
Terry A. Straeter, William E. Howden, Jean-Claude Rault
1984Productivity Factors and Programming Environments.
J. Vosburgh, Bill Curtis, R. Wolverton, B. Albert, H. Malec, S. Hoben, Y. Liu
1984Programming Cost Estimate: Is It Reasonable?
R. E. Boydston
1984Prototyping vs. Specifying: A Multi-Project Experiment.
Barry W. Boehm, Terence E. Gray, Thomas Seewaldt
1984Quantifying Software Designs.
John Beane, Nancy Giddings, Jon Silverman
1984Resource Controller Tasks in Ada: Their Structure and Semantics.
Krithi Ramamritham
1984SYNCRO: A Dataflow Command Shell for the Lilith/Modula Computer.
Tom DeMarco, Aurel Soceneantu
1984Software Engineering for User Interfaces.
Stephen W. Draper, Donald A. Norman
1984Specification and Verification of Distributed Systems Using PROLOG Interpreded Petri Nets.
Pierre Azéma, G. Juandle, E. Sanchis, M. Montbernard
1984Steps to an Advanced Ada Programming Environment.
Richard N. Taylor, Thomas A. Standish
1984Structure Charts and Program Correctness Proofs.
S.-C. Chyou
1984TABLE: Object Oriented Editing of Complex Structures.
Ted J. Biggerstaff, D. Mack Endres, Ira R. Forman
1984The Data Transform Programming Metho: An Example for File Processing Problems.
Carlos José Pereira de Lucena, R. C. B. Martins, Paulo A. S. Veloso, Donald D. Cowan
1984The Modular Structure of Complex Systems.
David Lorge Parnas, Paul C. Clements, David M. Weiss
1984Three Paradigms for Developing Information Systems.
Bruce I. Blum