Yutaka Ohno, Victor R. Basili, Hajime Enomoto, Koji Kobayashi, Raymond T. Yeh
Proceedings of the Sixth International Conference on Software Engineering
ICSE, 1982.

@proceedings{ICSE-1982,
	acmid         = "800254",
	address       = "Tokyo, Japan",
	editor        = "Yutaka Ohno and Victor R. Basili and Hajime Enomoto and Koji Kobayashi and Raymond T. Yeh",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the Sixth International Conference on Software Engineering}",
	year          = 1982,
}

Contents (47 items)

7 ×#design
6 ×#specification
5 ×#development
4 ×#named
4 ×#source code
3 ×#communication
3 ×#data flow
3 ×#evaluation
3 ×#functional
3 ×#interactive

ICSE-1982-Weinberg #re-engineering

Overstructured Management of Software Engineering (GMW), pp. 2–9.

ICSE-1982-ArnoldP #maintenance

The Dimensions of Healthy Maintenance (RSA, DAP), pp. 10–27.

ICSE-1982-Warren #comprehension #named

MAP: A Tool for Understanding Software (SW), pp. 28–39.

ICSE-1982-BabichWW #ada #design #tool support

Design Considerations in Language Processing Tools for Ada (WAB, LW, MW), pp. 40–47.

ICSE-1982-Mili

A Closer Look at Iteration: The Self Stabilizing Capability of Loops (AM), pp. 48–57.

ICSE-1982-Tichy #design #evaluation #implementation

Design, Implementation, and Evaluation of a Revision Control System (WFT), pp. 58–67.

ICSE-1982-ShigoWTIN

Configuration Control for Evolutional Software Products (OS, YW, YT, KI, TN), pp. 68–83.

ICSE-1982-Bauer #reasoning #specification

From Specifications to Machine Code: Program Construction through Formal Reasoning (FLB), pp. 84–93.

ICSE-1982-PotierAFB #complexity #reliability

Experiments with Computer Software Complexity and Reliability (DP, JLA, RF, AB), pp. 94–103.

ICSE-1982-ItakuraT #evaluation

A Model for Estimating Program Size and Its Evaluation (MI, AT), pp. 104–109.

ICSE-1982-Abu-SufahLMY #behaviour #source code

Experimental Results on the Paging Behavior of Numerical Programs (WAAS, RL, MM, PY), pp. 110–119.

ICSE-1982-AgusaOO #requirements #verification

Verification System for Formal Requirements Description (KA, AO, YO), pp. 120–126.

ICSE-1982-MuraiSDMF #specification

Requirement Specification Description System in Japanese Language — JISDOS (JM, NS, ND, MM, TF), pp. 127–136.

ICSE-1982-MarcaM #design #information management #modelling

Static and Dynamic Data Modeling for Information System Design (DAM, CLM), pp. 137–147.

ICSE-1982-BoehmEPSW

The TRW Software Productivity System (BWB, JFE, ABP, EDS, RDW), pp. 148–156.

ICSE-1982-Wertz #design #incremental #interactive #programming

The Design of an Integrated, Interactive and Incremental Programming Environment (HW), pp. 157–165.

ICSE-1982-Osterweil #development #named #research

Toolpack — An Experimental Software Development Environment Research Project (LJO), pp. 166–177.

ICSE-1982-ZolnowskiT #development #overview

An Insider’s Survey on Software Development (JCZ, PDT), pp. 178–187.

ICSE-1982-Lawrence #evolution

An Examination of Evolution Dynamics (MJL), pp. 188–196.

ICSE-1982-HamerF

M. H. Halstead’s Software Science — A Critical Examination (PGH, GDF), pp. 197–207.

ICSE-1982-YonezakiK #functional #logic #process #specification

Functional Specification of Synchronized Processes Based on Modal Logic (NY, TK), pp. 208–217.

ICSE-1982-SakabeIH #data type #specification

Specification of Abstract Data Types with Partially Defined Operations (TS, YI, NH), pp. 218–224.

ICSE-1982-GreenspanMB #requirements #specification

Capturing More World Knowledge in the Requirements Specification (SJG, JM, AB), pp. 225–235.

ICSE-1982-RudmikCC #consistency #design #embedded

Consistency Checking within Embedded Design Languages (AR, BEC, HC), pp. 236–245.

ICSE-1982-WarrenMH #experience #pascal #quality #source code

Experience with a Module Package in Developing Production Quality PASCAL Programs (SW, BEM, CH), pp. 246–253.

ICSE-1982-KuoLR #approach

A Form-Based Approach to Human Engineering Methodologies (HCCK, CHL, JR), pp. 254–271.

ICSE-1982-RappsW #analysis #data flow #testing

Data Flow Analysis Techniques for Test Data Selection (SR, EJW), pp. 272–278.

ICSE-1982-BuyanskyS

No 1A ESS Laboratory Support System — Erasable Flag Facility (DVB, JWS), pp. 279–286.

ICSE-1982-Ohba #quality #test coverage

Software Quality = Test Accuracy * Test Coverage (HO), pp. 287–295.

ICSE-1982-Ling #design #diagrams #source code #using

Designing Data Entry Programs Using State Diagram as a Common Model (MML), pp. 296–308.

ICSE-1982-Babb #data flow #data-driven #diagrams #implementation

Data-Driven Implementation of Data Flow Diagrams (RGBI), pp. 309–318.

ICSE-1982-Ito #automation #documentation #image

Automatic Input of Flow Chart in Document Image (SI), pp. 319–329.

ICSE-1982-NakamotoIHHT #development #documentation #editing #maintenance

An Editor for Documentation in pi-System to Support Software Development and Maintenance (YN, TI, MH, KH, NT), pp. 330–339.

ICSE-1982-BerettaBFNSS #interactive #kernel #named

XS-1: An Integrated Interactive System and Its Kernel (GB, HB, PF, JN, JS, HS), pp. 340–349.

ICSE-1982-PetroneLS #interactive #named #source code

DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements (LP, ADL, FS), pp. 350–359.

ICSE-1982-BarstowDSV #automation #programming

An Automatic Programming System to Support an Experimental Science (DRB, RD, SWS, SV), pp. 360–366.

ICSE-1982-LucasR #equation #evaluation #representation

Representation of Factual Information by Equations and Their Evaluation (PL, TR), pp. 367–376.

ICSE-1982-HarslemN #development

A Retrospective on the Development of Star (EH, LEN), pp. 377–385.

ICSE-1982-Forman #analysis #composition #data flow

Global Data Flow Analysis by Decomposition into Primes (IRF), pp. 386–392.

ICSE-1982-FutatsugiO #functional

A Hierarchical Structuring Method for Functional Software Systems (KF, KO), pp. 393–402.

ICSE-1982-ShiratoriGN #communication #design #protocol

A New Design Language for Communication Protocols and a Systematic Design Method of Communication Systems (NS, JG, SN), pp. 403–413.

ICSE-1982-TakahashiAK #debugging #fortran #visual notation

Visual Aid for FORTRAN Program Debugging (KT, TA, MK), pp. 414–415.

ICSE-1982-Runge

The Inspection Method Applied to Small Projects (BR), pp. 416–417.

ICSE-1982-Urban #development #execution #functional #specification

Software Development with Executable Functional Specifications (JEU), pp. 418–419.

ICSE-1982-MiyazawaOK #communication #protocol

The Portable Communication Protocol Program COMPAS for Data Terminal Systems (KM, MO, SK), pp. 420–421.

ICSE-1982-ManoOT #case study #experience #multi #programming

Early Experiences with a Multi-Display Programming Environment (YM, KO, KT), pp. 422–423.

ICSE-1982-ChibaKK #communication #protocol

A Model for Description of Communication Protocol (KC, KK, AK), pp. 424–428.