ICSE A*

53 papers

YearTitle / Authors
1979A Constructive Approach to Reliable Synchronization Code.
M. S. Laventhal
1979A Flexible Environment for Program Development Based on a Symbolic Interpreter.
Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini
1979A New Technique for Improving the Quality of Computer Programs.
Roger S. Scowen
1979A Recovery Mechanism for Modular Software.
Flaviu Cristian
1979A System for Program Refinement.
Thomas E. Cheatham Jr., Judy A. Townley, Glenn H. Holloway
1979A System to Improve incorrect Programs.
Harald Wertz
1979An Analysis of Software Project Failure.
J. Abe, Ken Sakamura, Hideo Aiso
1979An Environment for Producing Well-Engineered Microcomputer Software.
John W. Brackett, R. S. Eanes, C. K. Hitchon, Richard M. Thall
1979An Experiment in Software Engineering: The Architecture Research Facility as a Case Study.
H. S. Elovitz
1979An Inter-Organizational Comparison of Programming Productivity.
D. Ross Jeffery, M. J. Lawrence
1979An Interactive FORTRAN Structuring Aid.
Julian E. Gomez
1979Anomaly Detection in Concurrent Programs.
William E. Riddle, G. Bristow, C. Drey, B. Edwards
1979CORE : A Method for Controlled Requirement Expression.
Geoff P. Mullery
1979Central Flow Control Software Development: A Case Study of the Effectiveness of Software Engineering Techniques.
P. C. Belford, R. A. Berg, Thomas L. Hannan
1979Computer Aided Design of Software Systems.
R. R. Willis, E. P. Jensen
1979Computer-Aided Micro-Analysis of Programs.
Jacques Cohen
1979Cross Software Development for Microprocessors Using a Translator Writing System.
Massimo Ancona, Gabriella Dodero, E. L. Durante
1979EPOS : A Specification and Design Technique for Computer Controlled Real-time Automation Systems.
Rudolf Lauber, Joachim Biewald, Peter Göhner, H. Schelling
1979Finite Semantics for Program Testing.
J. Horejs
1979France on An Approach Towards Reliable Software.
J.-C. Rault
1979Hierarchical Coroutines: A Mechanism for Improved Program Structure.
Rudolf Marty, L. Vanek
1979Invariants for Specifications.
Jeff Kramer, Jim Cunningham
1979Language Features for Description of Cooperating Processes.
Jean-Pierre Banâtre, Michel Banâtre
1979Module Structure in an Evolving Family of Real Time Systems.
D. M. Lasker
1979On A Systematic Approach to the Development and Validation of Critical Software for Nuclear Power Plants.
C. V. Ramamoorthy, Farokh B. Bastani, John M. Favaro, Yu-King R. Mok, C. W. Nam, Keiichi Suzuki
1979On An Overview.
William M. McKeeman
1979On CADES-Software Engineering in Practice.
Anthony F. Hutchings, R. W. McGuffin, A. E. Elliston, B. R. Tranter, P. N. Westmacott
1979On Microprocessors: A Platform for True Program Portability with Examples from Microcobal.
A. D'Agapayeff
1979On Software Engineering Tools: Past, Present and Future.
Charles R. Vick
1979On Software Engineering-An Economic Perspective.
Joan M. Morrissey, L. S.-Y. Wu
1979On Synchronization and Recovery in Database Systems.
Rudolf Bayer
1979PEARL At the Age of Three.
Thomas Martin
1979Path Expressions in Pascal.
Roy H. Campbell, Robert B. Kolstad
1979Pilot: A Software Engineering Case Study.
R. R. Horsley, William C. Lynch
1979Pragmatic Techniques for Program Analysis and Verification.
Erhard Plödereder
1979Prediction and Management of Program Quality.
Horst Remus, Stephen N. Zilles
1979Proceedings of the 4th International Conference on Software Engineering, Munich, Germany, September 1979.
Friedrich L. Bauer, Leon G. Stucki, Meir M. Lehman
1979Software Development Based on Module Interconnection.
Walter F. Tichy
1979Software Engineering : As It Should Be.
Edsger W. Dijkstra
1979Software Engineering : As It Will Be.
Wladyslaw M. Turski
1979Software Engineering: As it is.
Barry W. Boehm
1979Software Engineering: As it was in 1968.
Brian Randell
1979Software Engineering: Management, Personnel and Methodology.
T. H. Bruggere
1979Some Results from an Empirical Study of Computer Software.
Alan R. Feuer, E. B. Fowlkes
1979Specification and Implementation of Parallel Activities on Abstract Objects.
S. Keramidis, L. Mackert
1979TASK Forces: Distributed Software for Solving Problems of Substantial Size.
Anita K. Jones, Karsten Schwan
1979Test Plan Generation Using Formal Grammars.
Jonathan A. Bauer, Alan B. Finger
1979The APL2M System : A General Computer-Aided Software Engineering Environment for Mini and Microcomputers.
Jean Rohmer
1979The Computer Assisted Software (Case) System.
W. S. Amey
1979The Impact of Mesa on System Design.
Hugh C. Lauer, Edwin H. Satterthwaite
1979The Project Library : A Tool for Software Development.
Ernst Denert
1979The Use of a Module Interconnection Specification Capability in the SARA System Design Methodology.
Daniel M. Berry, Maria Heloisa (Lolo) Penedo
1979Third Time Charm: Stronger Replication of the Ability of Software Complexity Metrics to Predict Programmer Performance.
Bill Curtis, Sylvia B. Sheppard, Phil Milliman