Terry A. Straeter, William E. Howden, Jean-Claude Rault
Proceedings of the Seventh International Conference on Software Engineering
ICSE, 1984.

@proceedings{ICSE-1984,
	acmid         = "800054",
	address       = "Orlando, Florida, USA",
	editor        = "Terry A. Straeter and William E. Howden and Jean-Claude Rault",
	isbn          = "0-8186-0528-6",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the Seventh International Conference on Software Engineering}",
	year          = 1984,
}

Contents (53 items)

9 ×#named
6 ×#programming
6 ×#specification
5 ×#metric
4 ×#ada
4 ×#development
4 ×#distributed
4 ×#re-engineering
3 ×#approach
3 ×#communication

ICSE-1984-Ciuffoletti #communication #fault #process

Error Recovery in Systems of Communicating Processes (AC), pp. 6–17.

ICSE-1984-BidoitBGGG #exception #specification

Exception Handling: Formal Specification and Systematic Program Construction (MB, BB, MCG, CG, GDG), pp. 18–29.

ICSE-1984-ChongH #approach #database #distributed #relational

Diagnostic System for Distributed Software: A Relational Database Approach (KC, PH), pp. 30–43.

ICSE-1984-RomanD #distributed #multi #process #specification #using

Multifaceted Distributed Systems Specification Using Processes and Event Synchronization (GCR, MSD), pp. 44–55.

ICSE-1984-AlmesBBW #distributed #named

Edmas: A Locally Distributed Mail System (GTA, APB, CB, DW), pp. 56–66.

ICSE-1984-Ramamritham #ada #semantics

Resource Controller Tasks in Ada: Their Structure and Semantics (KR), pp. 67–77.

ICSE-1984-Spicer #approach #education #project management #re-engineering

A Spiral Approach to Software Engineering Project Management Education (JCS), pp. 78–85.

ICSE-1984-UemuraO #approach #development

A Cooperative Approach to Software Development by Application Engineers and Software Engineers (KU, MO), pp. 86–96.

ICSE-1984-Curtis #difference #re-engineering

Fifteen Years of Psychology in Software Engineering: Individual Differences and Cognitive Science (BC), pp. 97–107.

ICSE-1984-MohriOUTS #design #implementation #named #source code

PDAS: An Assistant for Detailed Design and Implementation of Programs (TM, EO, SU, TT, HS), pp. 108–115.

ICSE-1984-TaylorS #ada #programming

Steps to an Advanced Ada Programming Environment (RNT, TAS), pp. 116–125.

ICSE-1984-GuyardJ #named #programming

MAIDAY: An Environment for Guided Programming (JG, JPJ), pp. 126–137.

ICSE-1984-EvansP #effectiveness #evaluation #named

POWER: A Tool for Quantitative Evaluation of Software Project Effectiveness (MWE, LMP), pp. 138–142.

ICSE-1984-VosburghCWAMHL #programming

Productivity Factors and Programming Environments (JV, BC, RW, BA, HM, SH, YL), pp. 143–152.

ICSE-1984-Boydston #programming #question

Programming Cost Estimate: Is It Reasonable? (REB), pp. 153–161.

ICSE-1984-MaezawaKSF #interactive

Interactive System for Structured Program Production (HM, MK, KS, YF), pp. 162–171.

ICSE-1984-SchefferSR #evaluation #scalability

A Large System Evaluation of SREM (PAS, AHSI, WER), pp. 172–180.

ICSE-1984-Teitelman

A Tour Through Cedar (WT), pp. 181–197.

ICSE-1984-Friman #generative #named #source code

MGEN — A Generator for Menu Driven Programs (BF), pp. 198–206.

ICSE-1984-DeMarcoS #data flow #modula #named

SYNCRO: A Dataflow Command Shell for the Lilith/Modula Computer (TD, AS), pp. 207–213.

ICSE-1984-DraperN #re-engineering #user interface

Software Engineering for User Interfaces (SWD, DAN), pp. 214–221.

ICSE-1984-Moawad #comparison #concurrent #modelling #reliability

Comparison of Concurrent Software Reliability Models (RM), pp. 222–229.

ICSE-1984-MusaO #execution #metric #reliability

A Logarithmic Poisson Execution Time Model for Software Reliability Measurement (JDM, KO), pp. 230–238.

ICSE-1984-Tai #complexity #data flow #graph #metric

A Program Complexity Metric Based on Data Flow Information in Control Graphs (KCT), pp. 239–249.

ICSE-1984-Ntafos #evaluation #testing

An Evaluation of Required Element Testing Strategies (SCN), pp. 250–256.

ICSE-1984-Zeil #fault #testing

Perturbation Testing for Computation Errors (SJZ), pp. 257–265.

ICSE-1984-HennellHR #tool support

Assessing a Class of Software Tools (MAH, DH, IJR), pp. 266–277.

ICSE-1984-Forman #algebra #data flow #detection

An Algebra for Data Flow Anomaly Detection (IRF), pp. 278–287.

ICSE-1984-Elshoff #complexity #metric

Characteristic Program Complexity Measures (JLE), pp. 288–293.

ICSE-1984-Emerson #metric

A Discriminant Metric for Module Cohersion (TJE), pp. 294–303.

ICSE-1984-Schroeder #documentation #metric #tool support

Integrated Program Measurement and Documentation Tools (AS), pp. 304–313.

ICSE-1984-BeaneGS #design

Quantifying Software Designs (JB, NG, JS), pp. 314–323.

ICSE-1984-Reiss #development #multi #named

PECAN: Program Development Systems That Support Multiple Views (SPR), pp. 323–333.

ICSE-1984-BiggerstaffEF #editing #named #object-oriented

TABLE: Object Oriented Editing of Complex Structures (TJB, DME, IRF), pp. 334–345.

ICSE-1984-Donzeau-GougeLM #syntax

Practical Applications of a Syntax Directed Program Manipulation Environment (VDG, BL, BM), pp. 346–357.

ICSE-1984-FischerS #communication #knowledge-based #process #re-engineering

Knowledge-Based Communication Processes in Software Engineering (GF, MS), pp. 358–368.

ICSE-1984-JohnsonS #comprehension #knowledge-based #named

PROUST: Knowledge-Based Program Understanding (WLJ, ES), pp. 369–380.

ICSE-1984-ShapiroDM #editing #knowledge base

A Knowledge Base for Supporting and Intelligent Program Editor (DGS, JSD, BPM), pp. 381–387.

ICSE-1984-LucenaMVC #problem #programming

The Data Transform Programming Metho: An Example for File Processing Problems (CJPdL, RCBM, PASV, DDC), pp. 388–397.

ICSE-1984-DuncanHBCFKMMS #ada #communication #design #using

Communication System Design Using Ada (AGD, JSH, JWB, TMC, AF, EK, TM, DM, SBS), pp. 398–407.

ICSE-1984-ParnasCW #composition

The Modular Structure of Complex Systems (DLP, PCC, DMW), pp. 408–419.

ICSE-1984-Studer #concept #modelling

Abstract Models of Dialogue Concepts (RS), pp. 420–429.

ICSE-1984-ClemmensenO #ada #case study #compilation #development #specification

Formal Specification and Development of an Ada Compiler — A VDM Case Study (GBC, ONO), pp. 430–440.

ICSE-1984-Gerhart #axiom #specification

Application of Axiomatic Methods to a Specification Analyser (SLG), pp. 441–453.

ICSE-1984-Rogers #pascal #readability

A New Program Structure to Improve Accuracy and Readability of Pascal Software (WJR), pp. 454–462.

ICSE-1984-ToriiMSK #analysis #functional #logic #problem #programming

Functional Programming and Logical Programming for the Telegram Analysis Problem (KT, YM, YS, TK), pp. 463–472.

ICSE-1984-BoehmGS #empirical #multi #prototype #specification

Prototyping vs. Specifying: A Multi-Project Experiment (BWB, TEG, TS), pp. 473–485.

ICSE-1984-Chyou #correctness #proving

Structure Charts and Program Correctness Proofs (SCC), pp. 486–498.

ICSE-1984-MiliD #verification

A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods (AM, JD), pp. 499–509.

ICSE-1984-AzemaJSM #distributed #petri net #prolog #specification #using #verification

Specification and Verification of Distributed Systems Using PROLOG Interpreded Petri Nets (PA, GJ, ES, MM), pp. 510–519.

ICSE-1984-HozumiSE #development #scalability

A Method of Large-Scale Software Development (HH, YS, HE), pp. 520–527.

ICSE-1984-MaibaumT #on the #what

On What Exactly Is Going On When Software Is Developed Step-by-Step (TSEM, WMT), pp. 528–533.

ICSE-1984-Blum #information management #paradigm

Three Paradigms for Developing Information Systems (BIB), pp. 534–544.