Bruno Fadini, Leon J. Osterweil, Axel van Lamsweerde
Proceedings of the 16th International Conference on Software Engineering
ICSE, 1994.

@proceedings{ICSE-1994,
	acmid         = "257734",
	address       = "Sorrento, Italy",
	editor        = "Bruno Fadini and Leon J. Osterweil and Axel van Lamsweerde",
	isbn          = "0-8186-5855-X",
	publisher     = "{IEEE Computer Society / ACM Press}",
	title         = "{Proceedings of the 16th International Conference on Software Engineering}",
	year          = 1994,
}

Contents (42 items)

8 ×#process
7 ×#experience
6 ×#testing
5 ×#case study
5 ×#reuse
4 ×#architecture
3 ×#analysis
3 ×#approach
3 ×#distributed
3 ×#modelling

ICSE-1994-Ardis #lessons learnt #using

Lessons from Using Basic LOTOS (MAA), pp. 5–14.

ICSE-1994-KeaneH #approach #case study #experience #formal method #parallel

A Formal Approach to Determining Parallel Resource Bindings: Experience Report (JAK, WH), pp. 15–22.

ICSE-1994-DevanbuJ #case study #experience #logic #using

The Use of Description Logics in KBSE Systems: Experience Report (PTD, MAJ), pp. 23–35.

ICSE-1994-MayrhauserV #comprehension #maintenance #process #scalability

Comprehension Processes During Large Scale Maintenance (AvM, AMV), pp. 39–48.

ICSE-1994-KroneS #on the #source code

On the Inference of Configuration Structures from Source Code (MK, GS), pp. 49–57.

ICSE-1994-BakerE #visualisation

Visualizing Software Systems (MJB, SGE), pp. 59–67.

ICSE-1994-AllenG #architecture #formal method

Formalizing Architectural Connection (RJA, DG), pp. 71–80.

ICSE-1994-KazmanBWA #architecture #named

SAAM: A Method for Analyzing the Properties of Software Architectures (RK, LJB, MW, GDA), pp. 81–90.

ICSE-1994-MiliMM #component #refinement

Storing and Retrieving Software Components: A Refinement Based System (AM, RM, RM), pp. 91–100.

ICSE-1994-PorterV #detection #empirical #fault #requirements

An Experiment to Assess Different Defect Detection Methods for Software Requirements Inspections (AAP, LGV), pp. 103–112.

ICSE-1994-Johnson #approach #overview #perspective #quality

An Instrumented Approach to Improving Software Quality Through Formal Technical Review (PMJ), pp. 113–122.

ICSE-1994-TakadaMT #debugging #performance #process #testing

A Programmer Performance Measure Based on Programmer State Transitions in Testing and Debugging Process (YT, KiM, KT), pp. 123–132.

ICSE-1994-GreenspanMB #modelling #on the #requirements #revisited

On Formal Requirements Modeling Languages: RML Revisited (SJG, JM, AB), pp. 135–147.

ICSE-1994-GarlanHR #research

Nico Habermann’s Research: A Brief Retrospective (DG, JFH, DN), pp. 149–153.

ICSE-1994-YuM #analysis #comprehension #design #modelling #process #why

Understanding “Why” in Software Process Modelling, Analysis, and Design (ESKY, JM), pp. 159–168.

ICSE-1994-YasumotoHT #process #using

Software Process Description Using LOTOS and Its Enaction (KY, TH, KT), pp. 169–178.

ICSE-1994-Ben-ShaulK #distributed #modelling #paradigm #process

A Paradigm for Decentralized Process Modeling and Its Realization in the Oz Environment (IBS, GEK), pp. 179–188.

ICSE-1994-HutchinsFGO #effectiveness #test coverage #testing

Experiments of the Effectiveness of Dataflow- and Controlflow-Based Test Adequacy Criteria (MH, HF, TG, TJO), pp. 191–200.

ICSE-1994-RothermelH #framework #testing

A Framework for Evaluating Regression Test Selection Techniques (GR, MJH), pp. 201–210.

ICSE-1994-ChenRV #named #testing

TestTube: A System for Selective Regression Testing (YFC, DSR, KPV), pp. 211–220.

ICSE-1994-Gaudel #specification

Formal Specification Techniques (MCG), pp. 223–227.

ICSE-1994-DeshmukhDLL #case study #experience #standard #testing

The Role of Testing Methodologies in Open Systems Standards: A POSIX Experience Report (GD, RD, JFL, KAL), pp. 233–240.

ICSE-1994-DevanbuRW #analysis #automation #testing #tool support

Automated Construction of Testing and Analysis Tools (PTD, DSR, ALW), pp. 241–250.

ICSE-1994-Kramer #distributed #re-engineering

Distributed Software Engineering (JK), pp. 253–263.

ICSE-1994-Wentzel #reuse

Software Reuse — Facts and Myths (KDW), pp. 267–268.

ICSE-1994-Basili #reuse

Facts and Myths Affecting Software Reuse (VRB), p. 269.

ICSE-1994-Griss #experience #reuse

Software Reuse Experience at Hewlett-Packard (MLG), p. 270.

ICSE-1994-Tracz #reuse #revisited

Software Reuse Myths Revisited (WT), pp. 271–272.

ICSE-1994-Wasmund #reuse

Reuse Facts and Myths (MW), p. 273.

ICSE-1994-Parnas

Software Aging (DLP), pp. 279–287.

ICSE-1994-Callison #realtime

A Periodic Object Model for Real-Time Systems (HRC), pp. 291–300.

ICSE-1994-Vardanega #ada #development #embedded #experience #realtime

Experience with the Development of Hard Real-Time Embedded Ada Software (TV), pp. 301–308.

ICSE-1994-CheungK #analysis #behaviour #distributed #effectiveness

An Integrated Method for Effective Behaviour Analysis of Distributed Systems (SCC, JK), pp. 309–320.

ICSE-1994-Johnson94a #case study #experience #process

Software Process Improvement Experience in the DP/MIS Function: Experience Report (AJ), pp. 323–329.

ICSE-1994-BrodmanJ #case study #experience #what

What Small Business and Small Organizations Say About the CMM: Experience Report (JGB, DLJ), pp. 331–340.

ICSE-1994-GargMPST #approach #process

The SMART Approach for Software Process Engineering (PKG, PM, TP, WS, GT), pp. 341–350.

ICSE-1994-FickasS #re-engineering

Software Engineering and Artificial Intelligence (SF, PGS), pp. 353–354.

ICSE-1994-Finkelstein #education #question #re-engineering

Software Engineering Education: A Place in the Sun? (AF), pp. 358–359.

ICSE-1994-GarlanA #architecture

Software Architecture: Practice, Potential, and Pitfalls (DG, DEP), pp. 363–364.

ICSE-1994-Boehm #architecture

Software Architectures: Critical Success Factors and Cost Drivers (BWB), p. 365.

ICSE-1994-Kramer94a

Exoskeletal Software (JK), p. 366.

ICSE-1994-Curtis #process

A Process for Hitting Paydirt (BC), p. 369.