Seymour Jeffrey, Leon G. Stucki
Proceedings of the Fifth International Conference on Software Engineering
ICSE, 1981.

@proceedings{ICSE-1981,
	acmid         = "800078",
	address       = "San Diego, California, USA",
	editor        = "Seymour Jeffrey and Leon G. Stucki",
	isbn          = "0-89791-146-6",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the Fifth International Conference on Software Engineering}",
	year          = 1981,
}

Contents (50 items)

6 ×#analysis
5 ×#requirements
4 ×#design
4 ×#development
4 ×#implementation
4 ×#interactive
4 ×#programming
4 ×#re-engineering
4 ×#specification
4 ×#testing

ICSE-1981-Wirth #named

Lilith: A Personal Computer for the Software Engineer (NW), pp. 2–16.

ICSE-1981-LoeshLMR #implementation

Implementing a Software Management Discipline (REL, BL, PM, DJR), p. 17.

ICSE-1981-Paster #experience

Experience with Application of Modern Software Management Controls (DLP), pp. 18–26.

ICSE-1981-WortmanC #case study #experience

Early Experiences with Euclid (DBW, JRC), pp. 27–33.

ICSE-1981-HausenM #re-engineering

Conspectus of Software Engineering Environments (HLH, MM), pp. 34–43.

ICSE-1981-FeilerM #incremental #programming

An Incremental Programming Environment (PHF, RMM), pp. 44–53.

ICSE-1981-Huff #configuration management #database #effectiveness #programming

A Database Model for Effective Configuration Management in the Programming Environment (KEH), pp. 54–62.

ICSE-1981-BlackTM #implementation #robust

A Robust B-Tree Implementation (JPB, DJT, DEM), pp. 63–70.

ICSE-1981-Hulten #data access

An Index Organization for Applications with Highly Skewed Access Patterns (CH), pp. 71–78.

ICSE-1981-Dershowitz #abstraction #evolution #source code

The Evolution of Programs: Program Abstraction and Instantiation (ND), pp. 79–89.

ICSE-1981-KerolaF #comparison #lifecycle #modelling

A Comparison of Lifecycle Models (PK, PF), pp. 90–99.

ICSE-1981-SunoharaTUO #complexity #development

Program Complexity Measure for Software Development Management (TS, AT, KU, TO), pp. 100–106.

ICSE-1981-BaileyB #development #metamodelling

A Meta-Model for Software Development Resource Expenditures (JWB, VRB), pp. 107–116.

ICSE-1981-ChenZ #analysis #clustering #re-engineering #using

Use of Cluster Analysis to Evaluate Software Engineering Methodologies (EC, MVZ), pp. 117–124.

ICSE-1981-PenedoBE #algorithm #concurrent #generative

An Algorithm to Support Code-Skeleton Generation for Concurrent Systems (MH(P, DMB, GE), pp. 125–135.

ICSE-1981-CashinJKL #composition #experience

Experience with a Modular Typed Language: PROTEL (PMC, MLJ, RFK, DML), pp. 136–143.

ICSE-1981-SandewallSS #architecture #communication

Software Architecture Based on Communicating Residential Environments (ES, CS, HS), pp. 144–152.

ICSE-1981-AzumaTKM #development #interactive

Interactive Software Development Tool: ISDT (MA, MT, SK, KM), pp. 153–163.

ICSE-1981-Forman #on the #traversal

On the Time Overhead of Counters and Traversal Markers (IRF), pp. 164–169.

ICSE-1981-DuncanH #attribute grammar #design #implementation #using

Using Attributed Grammars to Test Designs and Implementations (AGD, JSH), pp. 170–178.

ICSE-1981-DuranN #random testing #testing

A Report on Random Testing (JWD, SCN), pp. 179–183.

ICSE-1981-ZeilW #analysis #testing

Sufficient Tset Sets for Path Analysis Testing Strategies (SJZ, LJW), pp. 184–194.

ICSE-1981-BrittonPP #design #interface

A Procedure for Designing Abstract Interfaces for Device Interface Modules (KHB, RAP, DLP), pp. 195–206.

ICSE-1981-SheppardKC #comprehension #specification

The Effects of Symbology and Spatial Arrangement on the Comprehension of Software Specifications (SBS, EK, BC), pp. 207–214.

ICSE-1981-WoodfieldDS #composition #comprehension

The Effect of Modularization and Comments on Program Comprehension (SNW, HED, VYS), pp. 215–223.

ICSE-1981-MoherS #re-engineering

Methods for Improving Controlled Experimentation in Software Engineering (TGM, GMS), pp. 224–234.

ICSE-1981-Howden #testing

Completeness Criteria for Testing Elementary Program Functions (WEH), pp. 235–243.

ICSE-1981-RichardsonC #analysis #reliability

A Partition Analysis Method to Increase Program Reliability (DJR, LAC), pp. 244–253.

ICSE-1981-AndrewsB #automation #implementation #testing

An Automated Program Testing Methodology and Its Implementation (DMA, JPB), pp. 254–262.

ICSE-1981-CunhaM #data type #programming

Resource = Abstract Data Type + Synchronization — A Methodology for Message Oriented Programming (PRFC, TSEM), pp. 263–272.

ICSE-1981-SchwartzM #data type

The Finalization Operation for Abstract Types (RLS, PMMS), pp. 273–282.

ICSE-1981-Wilson #database #design #relational #requirements

A Requirements and Design Aid for Relational Data Bases (MLW), pp. 282–294.

ICSE-1981-ZaveY #embedded #execution #requirements

Executable Requirements for Embedded Systems (PZ, RTY), pp. 295–304.

ICSE-1981-KomodaHKS #analysis #approach #modelling #requirements #using

An Innovative Approach to System Requirements Analysis by Using Structural Modeling Method (NK, KH, HK, HS), pp. 305–313.

ICSE-1981-BasiliW #analysis #documentation #evaluation #requirements

Evaluation of a Software Requirements Document by Analysis of Change Data (VRB, DMW), pp. 314–324.

ICSE-1981-FutamuraKHT #analysis #development #diagrams #problem #source code

Development of Computer Programs by Problem Analysis Diagram (PAD) (YF, TK, HH, MT), pp. 325–332.

ICSE-1981-GomaaS #prototype #requirements #specification

Prototyping as a Tool in the Specification of User Requirements (HG, DBHS), pp. 333–342.

ICSE-1981-Katayama #attribute grammar #functional #named #programming

HFP: A Hierarchical and Functional Programming Based on Attribute Grammar (TK), pp. 343–353.

ICSE-1981-AndrewsDD #data type

Active Data Structures (GRA, DPD, PJD), pp. 354–362.

ICSE-1981-BaerGGR #modelling #protocol #proving #specification

The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology (JLB, GG, CG, GR), pp. 363–373.

ICSE-1981-RamamrithamK #process #proving #specification

Specifying and Proving Properties of Sentinel Processes (KR, RMK), pp. 374–386.

ICSE-1981-Wasserman #design #interactive #re-engineering

User Software Engineering and the Design of Interactive Systems (AIW), pp. 387–393.

ICSE-1981-Lingard #interactive #tool support

A Software Methodology for Buidling Interactive Tools (RWL), pp. 394–399.

ICSE-1981-RellesP #online #user interface

A User Interface for Online Assistance (NR, LAP), pp. 400–409.

ICSE-1981-MyersO #fortran

BIGMAC II: A FORTRAN Language Augmentation Tool (EWM, LJO), pp. 410–421.

ICSE-1981-Lewis

Beyond ALBE/P: Language Neutral Form (JWL), pp. 422–429.

ICSE-1981-CheathamHT #refinement

Program Refinement by Transsformation (TECJ, GHH, JAT), pp. 430–438.

ICSE-1981-Weiser #slicing

Program Slicing (MW), pp. 439–449.

ICSE-1981-BalzerCFLW

Application Downloading (RB, AC, MSF, PEL, DSW), pp. 450–459.

ICSE-1981-AdamGL #interactive

An Interactive Tool for Program Manipulation (AA, PYG, JPHL), p. 460–?.