Dewayne E. Perry, Ross Jeffrey, David Notkin
Proceedings of the 17th International Conference on Software Engineering
ICSE, 1995.

@proceedings{ICSE-1995,
	acmid         = "225014",
	address       = "Seattle, Washington, USA",
	editor        = "Dewayne E. Perry and Ross Jeffrey and David Notkin",
	isbn          = "0-89791-708-1",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 17th International Conference on Software Engineering}",
	year          = 1995,
}

Contents (32 items)

7 ×#process
5 ×#architecture
4 ×#experience
4 ×#requirements
3 ×#approach
3 ×#case study
3 ×#framework
3 ×#reverse engineering
3 ×#specification
3 ×#testing

ICSE-1995-HeimdahlL #analysis #consistency #requirements

Completeness and Consistency Analysis of State-Based Requirements (MPEH, NGL), pp. 3–14.

ICSE-1995-JacksonZ #requirements #specification

Deriving Specifications from Requirements: An Example (MJ, PZ), pp. 15–24.

ICSE-1995-ChungN #approach #non-functional #requirements

Dealing with Non-Functional Requirements: Three Experimental Studies of a Process-Oriented Approach (LC, BAN), pp. 25–37.

ICSE-1995-WongHLM #detection #effectiveness #fault #testing

Effect of Test Set Minimization on Fault Detection Effectiveness (WEW, JRH, SL, APM), pp. 41–50.

ICSE-1995-ClarkeL #algebra #constraints #process #realtime #testing

Testing Real-Time Constraints in a Process Algebraic Setting (DC, IL), pp. 51–60.

ICSE-1995-BertolinoS #assessment #dependence #metric #testing #using

Using Testability Measures for Dependability Assessment (AB, LS), pp. 61–70.

ICSE-1995-CookW #automation #data analysis #process

Automating Process Discovery Through Event-Data Analysis (JEC, ALW), pp. 73–82.

ICSE-1995-BarghoutiK #constraints #monitoring #process #using

Using Event Contexts and Matching Constraints to Monitor Software Processes (NSB, BK), pp. 83–92.

ICSE-1995-HenningerLR #analysis #approach #learning

An Organizational Learning Approach to Domain Analysis (SH, KL, AR), pp. 95–104.

ICSE-1995-RosenbaumC #case study #experience #reuse

Managing Software Reuse — An Experience Report (SR, BdC), pp. 105–111.

ICSE-1995-CattaneoFL #assessment #experience #process

An Experience in Process Assessment (FC, AF, LL), pp. 115–121.

ICSE-1995-TanakaSKMK #estimation #process

Improvement of Software Process by Process Description and Benefit Estimation (TT, KS, SK, KiM, TK), pp. 123–132.

ICSE-1995-BriandMSB #maintenance #scalability

Characterizing and Assessing a Large-Scale Software Maintenance Organization (LCB, WLM, CBS, VRB), pp. 133–143.

ICSE-1995-DwyerCN #concurrent #petri net #representation #source code

A Compact Petri Net Representation for Concurrent Programs (MBD, LAC, KAN), pp. 147–157.

ICSE-1995-ArdisCJMPSO #case study #experience #framework #specification

A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report (MAA, JAC, LJJ, PM, CP, MGS, JVO), pp. 159–168.

ICSE-1995-KangK #named #realtime #specification #verification

PARTS: A Temporal Logic-Based Real-Time Software Specification and Verification Method (KCK, KIK), pp. 169–176.

ICSE-1995-GarlanAO #architecture #why

Architectural Mismatch or Why It’s Hard to Build Systems Out Of Existing Parts (DG, RA, JO), pp. 179–185.

ICSE-1995-HarrisRY #architecture #reverse engineering

Reverse Engineering to the Architectural Level (DRH, HBR, ASY), pp. 186–195.

ICSE-1995-SoniNH #architecture #industrial

Software Architecture in Industrial Applications (DS, RLN, CH), pp. 196–207.

ICSE-1995-Floch #automation #code generation #evolution #flexibility #maintenance #using

Supporting Evolution and Maintenance by Using a Flexible Automatic Code Generator (JF), pp. 211–219.

ICSE-1995-ChambersDG #dependence #framework

A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies (CC, JD, DG), pp. 221–230.

ICSE-1995-Janicki #semantics #towards

Towards a Formal Semantics of Parnas Tables (RJ), pp. 231–240.

ICSE-1995-BoehmBHL #approach #requirements

Software Requirements Negotiation and Renegotiation Aids: A Theory-W Based Spiral Approach (BWB, PKB, EH, MJL), pp. 243–253.

ICSE-1995-LeonhardtKN #development #distributed #multi #process

Decentralised Process Enactment in a Multi-Perspective Development Environment (UL, JK, BN), pp. 255–264.

ICSE-1995-CugolaNGM #how #process

How to Deal With Deviations During Process Model Enactment (GC, EDN, CG, MM), pp. 265–273.

ICSE-1995-VottaP #re-engineering #state of the art

Experimental Software Engineering: A Report on the State of the Art (LGV, AAP), pp. 277–279.

ICSE-1995-Jackson

The World and the Machine (MJ), pp. 283–292.

ICSE-1995-TaylorMAWR #architecture #component #message passing #user interface

A Component- and Message-Based Architectural Style for GUI Software (RNT, NM, KMA, EJWJ, JER), pp. 295–304.

ICSE-1995-HeinemanK #architecture #concurrent #framework

An Architecture for Integrating Concurrency Control into Environment Frameworks (GTH, GEK), pp. 305–313.

ICSE-1995-GautierLST #case study #experience #integration #tool support

Tool Integration: Experiences and Directions (BG, CWL, ES, LT), pp. 315–324.

ICSE-1995-WeideHH #legacy #reverse engineering

Reverse Engineering of Legacy Code Exposed (BWW, WDH, JEH), pp. 327–331.

ICSE-1995-Quilici #legacy #reverse engineering #towards

Reverse Engineering of Legacy Systems: A Path Toward Success (AQ), pp. 333–336.