Abstract is missing.
- Software Engineering: As it was in 1968Brian Randell. 1-10
- Software Engineering: As it isBarry W. Boehm. 11-21
- Module Structure in an Evolving Family of Real Time SystemsD. M. Lasker. 22-28
- Software Development Based on Module InterconnectionWalter F. Tichy. 29-41
- On Software Engineering Tools: Past, Present and FutureCharles R. Vick. 52
- A System for Program RefinementThomas E. Cheatham Jr., Judy A. Townley, Glenn H. Holloway. 53-62
- Pragmatic Techniques for Program Analysis and VerificationErhard Plödereder. 63-72
- A New Technique for Improving the Quality of Computer ProgramsR. S. Scowen. 73-78
- Computer-Aided Micro-Analysis of ProgramsJacques Cohen. 79-84
- Central Flow Control Software Development: A Case Study of the Effectiveness of Software Engineering TechniquesP. C. Belford, R. A. Berg, T. L. Hannan. 85-93
- PEARL At the Age of ThreeT. Martin. 100-110
- CORE : A Method for Controlled Requirement ExpressionGeoff P. Mullery. 126-135
- The Impact of Mesa on System DesignHugh C. Lauer, Edwin H. Satterthwaite. 174-182
- Invariants for SpecificationsJeff Kramer, Jim Cunningham. 183-193
- Specification and Implementation of Parallel Activities on Abstract ObjectsS. Keramidis, L. Mackert. 203-211
- Path Expressions in PascalRoy H. Campbell, R. B. Kolstad. 212-219
- On A Systematic Approach to the Development and Validation of Critical Software for Nuclear Power PlantsC. V. Ramamoorthy, Farokh B. Bastani, John M. Favaro, Yu-King R. Mok, C. W. Nam, Keiichi Suzuki. 231-240
- An Interactive FORTRAN Structuring AidJ. Gomez. 241-244
- EPOS : A Specification and Design Technique for Computer Controlled Real-time Automation SystemsRudolf Lauber, Joachim Biewald, Peter Göhner, H. Schelling. 245-250
- A Flexible Environment for Program Development Based on a Symbolic InterpreterPatrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini. 251-264
- Anomaly Detection in Concurrent ProgramsWilliam E. Riddle, G. Bristow, C. Drey, B. Edwards. 265-273
- Hierarchical Coroutines: A Mechanism for Improved Program StructureRudolf Marty, L. Vanek. 274-285
- A System to Improve incorrect ProgramsHarald Wertz. 286-293
- The Use of a Module Interconnection Specification Capability in the SARA System Design MethodologyDaniel M. Berry, Maria Heloisa (Lolo) Penedo. 294-307
- Language Features for Description of Cooperating ProcessesJean-Pierre Banâtre, Michel Banâtre. 308-314
- TASK Forces: Distributed Software for Solving Problems of Substantial SizeAnita K. Jones, Karsten Schwan. 315-331
- On An OverviewWilliam M. McKeeman. 340
- Prediction and Management of Program QualityHorst Remus, Stephen N. Zilles. 341-350
- Third Time Charm: Stronger Replication of the Ability of Software Complexity Metrics to Predict Programmer PerformanceBill Curtis, Sylvia B. Sheppard, Phil Milliman. 356-360
- An Inter-Organizational Comparison of Programming ProductivityD. Ross Jeffery, M. J. Lawrence. 369-377
- An Analysis of Software Project FailureJ. Abe, Ken Sakamura, Hideo Aiso. 378-385
- An Environment for Producing Well-Engineered Microcomputer SoftwareJohn W. Brackett, R. S. Eanes, C. K. Hitchon, Richard Thall. 386-398
- Cross Software Development for Microprocessors Using a Translator Writing SystemMassimo Ancona, Gabriella Dodero, E. L. Durante. 399-402
- The APL2M System : A General Computer-Aided Software Engineering Environment for Mini and MicrocomputersJ. Rohmer. 403-411
- On Software Engineering-An Economic PerspectiveJoan M. Morrissey, L. S.-Y. Wu. 412-422
- On Synchronization and Recovery in Database SystemsRudolf Bayer. 423-424
- Finite Semantics for Program TestingJ. Horejs. 433-441
- Software Engineering : As It Should BeEdsger W. Dijkstra. 442-448
- Software Engineering : As It Will BeWladyslaw M. Turski. 449-456