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