Proceedings of the Sixth International Conference on Software Engineering
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

SE
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.