4. ICSE 1979: Munich, Germany

• Brian Randell:
  Software Engineering: As it was in 1968. 1-10
  
• Barry W. Boehm:
  Software Engineering: As it is. 11-21
  
• D. M. Lasker:
  Module Structure in an Evolving Family of Real Time Systems. 22-28
  
• Walter F. Tichy:
  Software Development Based on Module Interconnection. 29-41
  
• Flaviu Cristian:
  A Recovery Mechanism for Modular Software. 42-51
  
• Charles R. Vick:
  On Software Engineering Tools: Past, Present and Future. 52
  
• Thomas E. Cheatham Jr., Judy A. Townley, Glenn H. Holloway:
  A System for Program Refinement. 53-62
  
• Erhard Plödereder:
  Pragmatic Techniques for Program Analysis and Verification. 63-72
  
• R. S. Scowen:
  A New Technique for Improving the Quality of Computer Programs. 73-78
  
• Jacques Cohen:
  Computer-Aided Micro-Analysis of Programs. 79-84
  
• P. C. Belford, R. A. Berg, T. L. Hannan:
  Central Flow Control Software Development: A Case Study of the Effectiveness of Software Engineering Techniques. 85-93
  
• R. R. Horsley, William C. Lynch:
  Pilot: A Software Engineering Case Study. 94-99
  
• T. Martin: PEARL At the Age of Three. 100-110
• W. S. Amey:
  The Computer Assisted Software (Case) System. 111-115
  
• R. R. Willis, E. P. Jensen:
  Computer Aided Design of Software Systems. 116-125
  
• Geoff P. Mullery:
  CORE : A Method for Controlled Requirement Expression. 126-135
  
• A. F. Hutchings, R. W. McGuffin, A. E. Elliston, B. R. Tranter, P. N. Westmacott:
  On CADES-Software Engineering in Practice. 136-144
  
• H. S. Elovitz:
  An Experiment in Software Engineering: The Architecture Research Facility as a Case Study. 145-152
  
• Ernst Denert:
  The Project Library : A Tool for Software Development. 153-173
  
• Hugh C. Lauer, Edwin H. Satterthwaite:
  The Impact of Mesa on System Design. 174-182
  
• Jeff Kramer, Jim Cunningham:
  Invariants for Specifications. 183-193
  
• M. S. Laventhal:
  A Constructive Approach to Reliable Synchronization Code. 194-202
  
• S. Keramidis, L. Mackert:
  Specification and Implementation of Parallel Activities on Abstract Objects. 203-211
  
• Roy H. Campbell, R. B. Kolstad:
  Path Expressions in Pascal. 212-219
  
• J.-C. Rault:
  France on An Approach Towards Reliable Software. 220-230
  
• C. V. Ramamoorthy, Farokh B. Bastani, John M. Favaro, Yu-King R. Mok, C. W. Nam, Keiichi Suzuki:
  On A Systematic Approach to the Development and Validation of Critical Software for Nuclear Power Plants. 231-240
  
• J. Gomez:
  An Interactive FORTRAN Structuring Aid. 241-244
  
• Rudolf Lauber, Joachim Biewald, Peter Göhner, H. Schelling:
  EPOS : A Specification and Design Technique for Computer Controlled Real-time Automation Systems. 245-250
  
• Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini:
  A Flexible Environment for Program Development Based on a Symbolic Interpreter. 251-264
  
• William E. Riddle, G. Bristow, C. Drey, B. Edwards:
  Anomaly Detection in Concurrent Programs. 265-273
  
• Rudolf Marty, L. Vanek:
  Hierarchical Coroutines: A Mechanism for Improved Program Structure. 274-285
  
• Harald Wertz:
  A System to Improve incorrect Programs. 286-293
  
• Daniel M. Berry, Maria Heloisa (Lolo) Penedo:
  The Use of a Module Interconnection Specification Capability in the SARA System Design Methodology. 294-307
  
• Jean-Pierre Banâtre, Michel Banâtre:
  Language Features for Description of Cooperating Processes. 308-314
  
• Anita K. Jones, Karsten Schwan:
  TASK Forces: Distributed Software for Solving Problems of Substantial Size. 315-331
  
• A. D'Agapayeff:
  On Microprocessors: A Platform for True Program Portability with Examples from Microcobal. 332-339
  
• William M. McKeeman: On An Overview. 340
• Horst Remus, Stephen N. Zilles:
  Prediction and Management of Program Quality. 341-350
  
• Alan R. Feuer, E. B. Fowlkes:
  Some Results from an Empirical Study of Computer Software. 351-355
  
• Bill Curtis, Sylvia B. Sheppard, Phil Milliman:
  Third Time Charm: Stronger Replication of the Ability of Software Complexity Metrics to Predict Programmer Performance. 356-360
  
• T. H. Bruggere:
  Software Engineering: Management, Personnel and Methodology. 361-368
  
• D. Ross Jeffery, M. J. Lawrence:
  An Inter-Organizational Comparison of Programming Productivity. 369-377
  
• J. Abe, Ken Sakamura, Hideo Aiso:
  An Analysis of Software Project Failure. 378-385
  
• John W. Brackett, R. S. Eanes, C. K. Hitchon, Richard Thall:
  An Environment for Producing Well-Engineered Microcomputer Software. 386-398
  
• Massimo Ancona, Gabriella Dodero, E. L. Durante:
  Cross Software Development for Microprocessors Using a Translator Writing System. 399-402
  
• J. Rohmer:
  The APL2M System : A General Computer-Aided Software Engineering Environment for Mini and Microcomputers. 403-411
  
• Joan M. Morrissey, L. S.-Y. Wu:
  On Software Engineering-An Economic Perspective. 412-422
  
• Rudolf Bayer:
  On Synchronization and Recovery in Database Systems. 423-424
  
• Jonathan A. Bauer, Alan B. Finger:
  Test Plan Generation Using Formal Grammars. 425-432
  
• J. Horejs:
  Finite Semantics for Program Testing. 433-441
  
• Edsger W. Dijkstra: Software Engineering : As It Should Be. 442-448
• Wladyslaw M. Turski: Software Engineering : As It Will Be. 449-456

Last update Fri May 24 03:07:43 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page