Friedrich L. Bauer, Leon G. Stucki, Meir M. Lehman
Proceedings of the Fourth International Conference on Software Engineering
ICSE, 1979.

@proceedings{ICSE-1979,
	acmid         = "800091",
	address       = "Munich, Germany",
	editor        = "Friedrich L. Bauer and Leon G. Stucki and Meir M. Lehman",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the Fourth International Conference on Software Engineering}",
	year          = 1979,
}

Contents (52 items)

12 ×#re-engineering
7 ×#on the
6 ×#development
4 ×#design
4 ×#source code
4 ×#specification
3 ×#approach
3 ×#case study
2 ×#empirical
2 ×#perspective

ICSE-1979-Randell #re-engineering

Software Engineering: As it was in 1968 (BR), pp. 1–10.

ICSE-1979-BoehmB #re-engineering

Software Engineering: As it is (BWB), pp. 11–21.

ICSE-1979-Lasker #evolution #product line #realtime

Module Structure in an Evolving Family of Real Time Systems (DML), pp. 22–28.

ICSE-1979-Tichy #development

Software Development Based on Module Interconnection (WFT), pp. 29–41.

ICSE-1979-Cristian #composition

A Recovery Mechanism for Modular Software (FC), pp. 42–51.

ICSE-1979-Vick #on the #past present future #re-engineering #tool support

On Software Engineering Tools: Past, Present and Future (CRV), p. 52.

ICSE-1979-CheathamTH #refinement

A System for Program Refinement (TECJ, JAT, GHH), pp. 53–62.

ICSE-1979-Ploedereder #program analysis #verification

Pragmatic Techniques for Program Analysis and Verification (EP), pp. 63–72.

ICSE-1979-Scowen #quality #source code

A New Technique for Improving the Quality of Computer Programs (RSS), pp. 73–78.

ICSE-1979-Cohen #source code

Computer-Aided Micro-Analysis of Programs (JC), pp. 79–84.

ICSE-1979-BelfordBH #case study #development #effectiveness #re-engineering

Central Flow Control Software Development: A Case Study of the Effectiveness of Software Engineering Techniques (PCB, RAB, TLH), pp. 85–93.

ICSE-1979-HorsleyL #case study #named #re-engineering

Pilot: A Software Engineering Case Study (RRH, WCL), pp. 94–99.

ICSE-1979-Martin

PEARL At the Age of Three (TM), pp. 100–110.

ICSE-1979-Amey

The Computer Assisted Software (Case) System (WSA), pp. 111–115.

ICSE-1979-WillisJ #design

Computer Aided Design of Software Systems (RRW, EPJ), pp. 116–125.

ICSE-1979-Mullery

CORE : A Method for Controlled Requirement Expression (GPM), pp. 126–135.

ICSE-1979-HutchingsMETW #on the #re-engineering

On CADES-Software Engineering in Practice (AFH, RWM, AEE, BRT, PNW), pp. 136–144.

ICSE-1979-Elovitz #architecture #case study #empirical #re-engineering #research

An Experiment in Software Engineering: The Architecture Research Facility as a Case Study (HSE), pp. 145–152.

ICSE-1979-Denert #development #library

The Project Library : A Tool for Software Development (ED), pp. 153–173.

ICSE-1979-LauerS #design

The Impact of Mesa on System Design (HCL, EHS), pp. 174–182.

ICSE-1979-KramerC #invariant #specification

Invariants for Specifications (JK, JC), pp. 183–193.

ICSE-1979-Laventhal #approach #reliability

A Constructive Approach to Reliable Synchronization Code (MSL), pp. 194–202.

ICSE-1979-KeramidisM #implementation #parallel #process #specification

Specification and Implementation of Parallel Activities on Abstract Objects (SK, LM), pp. 203–211.

ICSE-1979-CampbellK #pascal

Path Expressions in Pascal (RHC, RBK), pp. 212–219.

ICSE-1979-Rault #approach #reliability #towards

France on An Approach Towards Reliable Software (JCR), pp. 220–230.

ICSE-1979-RamamoorthyBFMNS #approach #development #on the #validation

On A Systematic Approach to the Development and Validation of Critical Software for Nuclear Power Plants (CVR, FBB, JMF, YKRM, CWN, KS), pp. 231–240.

ICSE-1979-Gomez #fortran #interactive

An Interactive FORTRAN Structuring Aid (JG), pp. 241–244.

ICSE-1979-LauberBGS #automation #design #realtime #specification

EPOS : A Specification and Design Technique for Computer Controlled Real-time Automation Systems (RL, JB, PG, HS), pp. 245–250.

ICSE-1979-AsirelliDLMMPST #development #flexibility #interpreter

A Flexible Environment for Program Development Based on a Symbolic Interpreter (PA, PD, GL, AM, UM, GP, FS, FT), pp. 251–264.

ICSE-1979-RiddleBDE #concurrent #detection #source code

Anomaly Detection in Concurrent Programs (WER, GB, CD, BE), pp. 265–273.

ICSE-1979-MartyV

Hierarchical Coroutines: A Mechanism for Improved Program Structure (RM, LV), pp. 274–285.

ICSE-1979-Wertz #source code

A System to Improve incorrect Programs (HW), pp. 286–293.

ICSE-1979-BerryP #design #specification #using

The Use of a Module Interconnection Specification Capability in the SARA System Design Methodology (DMB, MH(P), pp. 294–307.

ICSE-1979-BanatreB #process

Language Features for Description of Cooperating Processes (JPB, MB), pp. 308–314.

ICSE-1979-JonesS #distributed #problem

TASK Forces: Distributed Software for Solving Problems of Substantial Size (AKJ, KS), pp. 315–331.

ICSE-1979-DAgapayeff #framework #on the #platform

On Microprocessors: A Platform for True Program Portability with Examples from Microcobal (AD), pp. 332–339.

ICSE-1979-McKeeman #on the #overview #perspective

On An Overview (WMM), p. 340.

ICSE-1979-RemusZ #predict #quality

Prediction and Management of Program Quality (HR, SNZ), pp. 341–350.

ICSE-1979-FeuerF #empirical

Some Results from an Empirical Study of Computer Software (ARF, EBF), pp. 351–355.

ICSE-1979-CurtisSM #complexity #metric #performance #predict #replication

Third Time Charm: Stronger Replication of the Ability of Software Complexity Metrics to Predict Programmer Performance (BC, SBS, PM), pp. 356–360.

ICSE-1979-Bruggere #re-engineering

Software Engineering: Management, Personnel and Methodology (THB), pp. 361–368.

ICSE-1979-JefferyL #comparison #programming

An Inter-Organizational Comparison of Programming Productivity (DRJ, MJL), pp. 369–377.

ICSE-1979-AbeSA #analysis

An Analysis of Software Project Failure (JA, KS, HA), pp. 378–385.

ICSE-1979-BrackettEHT

An Environment for Producing Well-Engineered Microcomputer Software (JWB, RSE, CKH, RT), pp. 386–398.

ICSE-1979-AnconaDD #development #using

Cross Software Development for Microprocessors Using a Translator Writing System (MA, GD, ELD), pp. 399–402.

ICSE-1979-Rohmer #re-engineering

The APL2M System : A General Computer-Aided Software Engineering Environment for Mini and Microcomputers (JR), pp. 403–411.

ICSE-1979-MorrisseyW #on the #perspective #re-engineering

On Software Engineering — An Economic Perspective (JMM, LSYW), pp. 412–422.

ICSE-1979-Bayer #database #on the

On Synchronization and Recovery in Database Systems (RB), pp. 423–424.

ICSE-1979-BauerF #generative #testing #using

Test Plan Generation Using Formal Grammars (JAB, ABF), pp. 425–432.

ICSE-1979-Horejs #finite #semantics #testing

Finite Semantics for Program Testing (JH), pp. 433–441.

ICSE-1979-Dijkstra #re-engineering

Software Engineering : As It Should Be (EWD), pp. 442–448.

ICSE-1979-Turski #re-engineering

Software Engineering : As It Will Be (WMT), pp. 449–456.