4. ICSE 1979: Munich, Germany
Friedrich L. Bauer, Leon G. Stucki, Meir M. Lehman (Eds.): Proceedings of the 4th International Conference on Software Engineering, Munich, Germany, September 1979. IEEE Computer Society 1979- 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
- 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
- T. Martin: PEARL At the Age of Three. 100-110
- W. S. Amey: The Computer Assisted Software (Case) System. 111-115
- 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
- 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
- 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
- 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
- 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
- Rudolf Bayer: On Synchronization and Recovery in Database Systems. 423-424
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team