Tony Montgomery, Lori A. Clarke, Carlo Ghezzi
Proceedings of the 14th International Conference on Software Engineering
ICSE, 1992.

@proceedings{ICSE-1992,
	acmid         = "143062",
	address       = "Melbourne, Australia",
	editor        = "Tony Montgomery and Lori A. Clarke and Carlo Ghezzi",
	isbn          = "0-89791-504-6",
	publisher     = "{ACM Press}",
	title         = "{Proceedings of the 14th International Conference on Software Engineering}",
	year          = 1992,
}

Contents (33 items)

4 ×#reuse
4 ×#specification
3 ×#analysis
3 ×#experience
3 ×#process
3 ×#programming
3 ×#realtime
3 ×#source code
3 ×#testing
2 ×#automation

ICSE-1992-Leveson

High-Pressure Steam Engines and Computer Software (NGL), pp. 2–14.

ICSE-1992-Bjorner #experience

Trusted Computing Systems: The ProCoS Experience (DB), pp. 15–34.

ICSE-1992-Lister #design #realtime

Design of Dependable Real-Time Systems (AML), pp. 35–36.

ICSE-1992-PatelCB

A Measure for Composite Module Cohesion (SP, WCC, RB), pp. 38–48.

ICSE-1992-TsudaMTT #analysis #automation #development

Productivity Analysis of Software Development with an Integrated CASE Tool (MT, YM, MT, MT), pp. 49–58.

ICSE-1992-EickLLVW #fault

Estimating Software Fault Content Cefore Coding (SGE, CRL, MDL, LGV, SAVW), pp. 59–65.

ICSE-1992-HarroldMF #incremental #object-oriented #testing

Incremental Testing of Object-Oriented Class Structures (MJH, JDM, KJF), pp. 68–80.

ICSE-1992-AfifiWZ #fault #linear #source code #testing

Testing for Linear Errors in Nonlinear Computer Programs (FHA, LJW, SJZ), pp. 81–91.

ICSE-1992-Rosenblum #programming #towards

Towards a Method of Programming With Assertions (DSR), pp. 92–104.

ICSE-1992-RichardsonAO #testing

Specification-Based Test Oracles for Reactive Systems (DJR, SLA, TOO), pp. 105–118.

ICSE-1992-Beach #component #declarative

Connecting Software Components with Declarative Glue (BWB), pp. 120–137.

ICSE-1992-ConsensMR #query #visualisation

Visualizing and Querying Software Structures (MPC, AOM, AGR), pp. 138–156.

ICSE-1992-GoldmanN #evolution #prototype

Software Evolution through Iterative Prototyping (NMG, KN), pp. 158–172.

ICSE-1992-LubarsMPR #analysis #evolution #object-oriented

Object-Oriented Analysis for Evolving Systems (MDL, GM, CP, CR), pp. 173–185.

ICSE-1992-WangME #distributed #realtime #specification

Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL (FW, AKM, EAE), pp. 188–198.

ICSE-1992-FelderM #realtime #specification #validation

Validating Real-Time Systems by History-Checking TRIO Specifications (MF, AM), pp. 199–211.

ICSE-1992-DillonKMMR #concurrent #specification #visual notation

Graphical Specifications for Concurrent Software Systems (LKD, GK, LEM, PMMS, YSR), pp. 214–224.

ICSE-1992-RomanGB #concurrent #programming #rule-based

Seeking Concurrency in Rule-Based Programming (GCR, RFG, WEB), pp. 225–234.

ICSE-1992-PearceL #multi #specification

The Property Vector Specification of a Multiset Iterator (TWP, DAL), pp. 235–245.

ICSE-1992-FernandezGMRRS #source code #verification

A Toolbox for the Verification of LOTOS Programs (JCF, HG, LM, AR, CR, JS), pp. 246–259.

ICSE-1992-PeuschelS #concept #implementation #process #rule-based

Concepts and Implementation of a Rule-Based Process Engine (BP, WS), pp. 262–279.

ICSE-1992-GargB #process #programming

Process Programming by Hindsight (PKG, SB), pp. 280–293.

ICSE-1992-Hall #profiling

Call Path Profiling (RJH), pp. 296–306.

ICSE-1992-Devanbu #independence #named

GENOA: A Customizable Language- and Front-End Independent Code Analyzer (PTD), pp. 307–317.

ICSE-1992-Isoda #case study #experience #process #reuse #statistics

Experience Report on Software Reuse Project: Its Structure, Activities, and Statistical Results (SI), pp. 320–326.

ICSE-1992-GaffneyC #reuse

A General Economics Model of Software Reuse (JEGJ, RDC), pp. 327–337.

ICSE-1992-MargonoR #ada #analysis #reuse #scalability

Software Reuse Economics: Cost-Benefit Analysis on a Large-Scale Ada Project (JM, TER), pp. 338–348.

ICSE-1992-PodgurskiP #automation #behaviour #component #retrieval #reuse

Behavior Sampling: A Technique for Automated Retrieval of Reusable Components (AP, LP), pp. 349–360.

ICSE-1992-Tichy #in the large #named #past present future

Programming-in-the-Large: Past, Present, and Future (WFT), pp. 362–367.

ICSE-1992-BasiliCMPPW #experience #re-engineering

The Software Engineering Laboratory: An Operational Software Experience Factory (VRB, GC, FEM, RP, GTP, SW), pp. 370–381.

ICSE-1992-Fairley #estimation

Recent Advances in Software Estimation Techniques (REF), pp. 382–391.

ICSE-1992-HorwitzR #dependence #graph #re-engineering #using

The Use of Program Dependence Graphs in Software Engineering (SH, TWR), pp. 392–411.

ICSE-1992-RomanC #source code #visualisation

Program Visualization: The Art of Mapping Programs to Pictures (GCR, KCC), pp. 412–420.