Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th ESEC 1995: Sitges, Spain
- Wilhelm Schäfer, Pere Botella:
5th European Software Engineering Conference, Sitges, Spain, September 25-28, 1995, Proceedings. Lecture Notes in Computer Science 989, Springer 1995, ISBN 3-540-60406-5
Invited Keynotes
- Heinz Schwärtzel:
Demands and Perspectives for Future Software Engineers: An Industrial Viewpoint (Abstract). 1-2 - François Bancilhon:
Why We Need Object Databases (Abstract). 3-4 - Watts S. Humphrey:
A Personal Commitment to Software Quality. 5-7
Business Process (Re-)Engineering
- Günter Graw, Volker Gruhn:
Distributed Modeling and Distributed Enaction of Business Processes. 8-27 - Naser S. Barghouti, Eleftherios Koutsofios, Edith Cohen:
Improvise: Interactive Multimedia Process Visualization Environment. 28-43 - Lawrence G. Votta, Mary L. Zajak:
Design Process Improvement Case Study Using Process Waiver Data. 44-58
Real Time
- Javier Tuya, Luciano Sánchez, José A. Corrales:
Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models. 59-75 - Alberto Valderruten Vidal, Manuel Vilares Ferro, Jorge Graña Gil:
Instrumentation of Synchronous Reactive Models for Performance Engineering. 76-89 - Alberto Coen-Porisini
, Richard A. Kemmerer, Dino Mandrioli:
A Formal Framework for ASTRAL Inter-level Proof Obligations. 90-108
Metrics
- Yih-Farn Chen, Balachander Krishnamurthy, Kiem-Phong Vo:
An Objective Reuse Metric: Model and Methology. 109-123 - Martin Hitz, Behzad Montazeri:
Measuring Product Attributes of Object-Oriented Systems. 124-136
Concurrency
- Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer:
Specifying Distributed Software Architectures. 137-153 - Kuo-Chung Tai, Richard H. Carver:
A Specification-Based Methology for Testing Concurrent Programs. 154-172
Version and Configuration Management
- Ian Warren, Ian Sommerville:
Dynamic Configuration Abstraction. 173-190 - Andreas Zeller, Gregor Snelting:
Handling Version Sets Through Feature Logic. 191-204 - Tim A. Wagner, Susan L. Graham:
Integrating Incremental Analysis with Version Management. 205-218
Formal Methods
- Andy Schürr, Andreas J. Winter, Albert Zündorf:
Graph Grammar Engineering with PROGRES. 219-234 - Craig Gaskell, Roger Phillips:
A Structured Analysis Formalism with Execution Semantics to Allow Unambiguous Model Interpretation. 235-253 - Martin Glinz:
An Integrated Formal Model of Scenarios Based on Statecharts. 254-271
Support of the Design Process
- Maritta Heisel, Thomas Santen, Dominik Zimmermann:
Tool Support for Formal Software Development: A Generic Architecture. 272-293 - Dieter Landes, Rudi Studer:
The Treatment of Non-Functional Requirements in MIKE. 294-306 - Simon R. Monk, Ian Sommerville, Jean Michel Pendaries, Bernard Durin:
Supporting Design Rationale for System Evolution. 307-323
Program Analysis
- Stan Jarzabek:
PQL: A Language for Specifying Abstract Program Views. 324-342 - A. T. Chamillard:
An Exploratory Study of Program Metrics as Predictors of Reachability Analysis Performance. 343-361 - Erik Kamsties, Christopher M. Lott:
An Empirical Evaluation of Three Defect-Detection Techniques. 362-383
Quality
- Alan W. Brown, David J. Carney, Paul C. Clements, B. Craig Meyers, Dennis B. Smith, Nelson H. Weiderman, William G. Wood:
Assessing the Quality of Large, Software-Intensive Systems: A Case Study. 384-404 - Pei Hsia, Chih-Tung Hsu, David Chenho Kung, Alan T. Yaung:
The Impact of Incremental Delivery on Maintenance Effort: An Analytical Study. 405-422 - Núria Castell, Olga Slavkova:
Metrics for Quality Factors in the LESD Project. 423-437 - Masao J. Matsumoto:
Quantitative Evaluations of Software Built in with Domain-specific Disciplines. 438-456
Object-Oriented Software Development
- Mehdi Jazayeri:
Component Programming - a Fresh Look at Software Components. 457-478 - Kai Koskimies, Hanspeter Mössenböck:
Designing a Framework by Stepwise Generalization. 479-498 - Harald C. Gall, René Klösch, Roland T. Mittermeir:
Object-Oriented Re-Architecturing. 499-519
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-18 20:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
