Proceedings of the Fifth European Software Engineering Conference
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

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

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

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.

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.