Wilhelm Schäfer, Pere Botella
Proceedings of the Fifth European Software Engineering Conference
ESEC, 1995.

@proceedings{ESEC-1995,
	address       = "Sitges, Spain",
	editor        = "Wilhelm Schäfer and Pere Botella",
	isbn          = "3-540-60406-5",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fifth European Software Engineering Conference}",
	volume        = 989,
	year          = 1995,
}

Contents (32 items)

3 ×#analysis
3 ×#architecture
3 ×#case study
3 ×#design
3 ×#metric
3 ×#modelling
3 ×#process
3 ×#quality
2 ×#distributed
2 ×#formal method

ESEC-1995-Schwartzel #industrial

Demands and Perspectives for Future Software Engineers: An Industrial Viewpoint (HS), pp. 1–2.

ESEC-1995-Bancilhon #database #why

Why We Need Object Databases (FB), pp. 3–4.

ESEC-1995-Humphrey #quality

A Personal Commitment to Software Quality (WSH), pp. 5–7.

ESEC-1995-GrawG #distributed #modelling #process

Distributed Modeling and Distributed Enaction of Business Processes (GG, VG), pp. 8–27.

ESEC-1995-BarghoutiKC #interactive #multi #named #process #visualisation

Improvise: Interactive Multimedia Process Visualization Environment (NSB, EK, EC), pp. 28–43.

ESEC-1995-VottaZ #case study #design #process #using

Design Process Improvement Case Study Using Process Waiver Data (LGV, MLZ), pp. 44–58.

ESEC-1995-TuyaSC #model checking #modelling #safety #using #verification

Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models (JT, LS, JAC), pp. 59–75.

ESEC-1995-VidalFG #modelling #performance

Instrumentation of Synchronous Reactive Models for Performance Engineering (AVV, MVF, JGG), pp. 76–89.

ESEC-1995-Coen-PorisiniKM #framework #proving

A Formal Framework for ASTRAL Inter-level Proof Obligations (ACP, RAK, DM), pp. 90–108.

ESEC-1995-ChenKV #metric #reuse

An Objective Reuse Metric: Model and Methology (YFC, BK, KPV), pp. 109–123.

ESEC-1995-HitzM #object-oriented

Measuring Product Attributes of Object-Oriented Systems (MH, BM), pp. 124–136.

ESEC-1995-MageeDEK #architecture #distributed #specification

Specifying Distributed Software Architectures (JM, ND, SE, JK), pp. 137–153.

ESEC-1995-TaiC #concurrent #source code #testing

A Specification-Based Methology for Testing Concurrent Programs (KCT, RHC), pp. 154–172.

ESEC-1995-WarrenS #abstraction

Dynamic Configuration Abstraction (IW, IS), pp. 173–190.

ESEC-1995-ZellerS #logic #set

Handling Version Sets Through Feature Logic (AZ, GS), pp. 191–204.

ESEC-1995-WagnerG #analysis #incremental

Integrating Incremental Analysis with Version Management (TAW, SLG), pp. 205–218.

ESEC-1995-SchurrWZ #grammarware #graph grammar

Graph Grammar Engineering with PROGRES (AS, AJW, AZ), pp. 219–234.

ESEC-1995-GaskellP #ambiguity #analysis #execution #semantics

A Structured Analysis Formalism with Execution Semantics to Allow Unambiguous Model Interpretation (CG, RP), pp. 235–253.

ESEC-1995-Glinz #formal method

An Integrated Formal Model of Scenarios Based on Statecharts (MG), pp. 254–271.

ESEC-1995-HeiselSZ #architecture #development #formal method #tool support

Tool Support for Formal Software Development: A Generic Architecture (MH, TS, DZ), pp. 272–293.

ESEC-1995-LandesS #non-functional #requirements

The Treatment of Non-Functional Requirements in MIKE (DL, RS), pp. 294–306.

ESEC-1995-MonkSPD #design #evolution

Supporting Design Rationale for System Evolution (SRM, IS, JMP, BD), pp. 307–323.

ESEC-1995-Jarzabek #named #specification

PQL: A Language for Specifying Abstract Program Views (SJ), pp. 324–342.

ESEC-1995-Chamillard #analysis #case study #metric #performance #predict #reachability

An Exploratory Study of Program Metrics as Predictors of Reachability Analysis Performance (ATC), pp. 343–361.

ESEC-1995-KamstiesL #detection #empirical #evaluation

An Empirical Evaluation of Three Defect-Detection Techniques (EK, CML), pp. 362–383.

ESEC-1995-BrownCCMSWW #case study #quality #scalability

Assessing the Quality of Large, Software-Intensive Systems: A Case Study (AWB, DJC, PCC, BCM, DBS, NHW, WGW), pp. 384–404.

ESEC-1995-HsiaHKY #delivery #incremental #maintenance

The Impact of Incremental Delivery on Maintenance Effort: An Analytical Study (PH, CTH, DCK, ATY), pp. 405–422.

ESEC-1995-CastellS #metric #quality

Metrics for Quality Factors in the LESD Project (NC, OS), pp. 423–437.

ESEC-1995-Matsumoto

Quantitative Evaluations of Software Built in with Domain-specific Disciplines (MJM), pp. 438–456.

ESEC-1995-Jazayeri #component #fresh look #programming

Component Programming — a Fresh Look at Software Components (MJ), pp. 457–478.

ESEC-1995-KoskimiesM #design #framework

Designing a Framework by Stepwise Generalization (KK, HM), pp. 479–498.

ESEC-1995-GallKM #architecture #object-oriented

Object-Oriented Re-Architecturing (HG, RK, RM), pp. 499–519.