Proceedings of the 17th 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

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

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

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.

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.