Mehdi Jazayeri, Helmut Schauer
Proceedings of the Sixth European Software Engineering Conference / Fifth Symposium on Foundations of Software Engineering
ESEC/FSE, 1997.

@proceedings{ESEC-FSE-1997,
	address       = "Zurich, Switzerland",
	editor        = "Mehdi Jazayeri and Helmut Schauer",
	isbn          = "3-540-63531-9",
	publisher     = "{ACM}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Sixth European Software Engineering Conference / Fifth Symposium on Foundations of Software Engineering}",
	volume        = 1301,
	year          = 1997,
}

Contents (38 items)

4 ×#analysis
4 ×#architecture
4 ×#design
4 ×#using
3 ×#detection
3 ×#experience
3 ×#industrial
2 ×#adaptation
2 ×#approach
2 ×#case study

ESEC-FSE-1997-Parnas #re-engineering

Software Engineering: An Unconsummated Marriage (DLP), pp. 1–3.

ESEC-FSE-1997-Rushby #specification #type system

Subtypes for Specifications (JMR), pp. 4–19.

ESEC-FSE-1997-BoehmEKM #multi

Developing Multimedia Applications with the WinWin Spiral Model (BWB, AE, JK, RJM), pp. 20–39.

ESEC-FSE-1997-Maibaum #education #question #what

What We Teach Software Engineers in the University: Do We Take Engineering Seriously? (TSEM), pp. 40–50.

ESEC-FSE-1997-Uhl #industrial #what

What we Expect from Software Engineers in the Industry (JU), p. 51.

ESEC-FSE-1997-Kemmerer #distributed #security

Security Issues in Distributed Software (RAK), pp. 52–59.

ESEC-FSE-1997-MedvidovicT #architecture #framework

A Framework for Classifying and Comparing Architecture Description Languages (NM, RNT), pp. 60–76.

ESEC-FSE-1997-NaumovichACO #architecture #static analysis

Applying Static Analysis to Software Architectures (GN, GSA, LAC, LJO), pp. 77–93.

ESEC-FSE-1997-MeijlerDE #adaptation #composition #design pattern

Making Design Patterns Explicit in FACE: A Frame Work Adaptive Composition Environment (TDM, SD, RE), pp. 94–110.

ESEC-FSE-1997-AllenDLK #multi #named #scalability

TTM15 — A Large Multi-Site Improvement Project (GA, LD, GL, EAK), pp. 111–124.

ESEC-FSE-1997-Joeris #configuration management #process

Change Management Needs Integrated Process and Configuration Management (GJ), pp. 125–141.

ESEC-FSE-1997-SuttonO #design #process

The Design of a Next-Generation Process Language (SMSJ, LJO), pp. 142–158.

ESEC-FSE-1997-HoekHHW

Software Release Management (AvdH, RSH, DH, ALW), pp. 159–175.

ESEC-FSE-1997-PohlW #approach #tool support

A Contextual Approach for Process-Integrated Tools (KP, KW), pp. 176–192.

ESEC-FSE-1997-JahnkeSZ #database #fuzzy #reasoning #relational #reverse engineering

Generic Fuzzy Reasoning Nets as a Basis for Reverse Engineering Relational Database Applications (JHJ, WS, AZ), pp. 193–210.

ESEC-FSE-1997-AlborghettiGM #analysis #automation #deduction

Providing Automated Support to Deductive Analysis of Time Critical Systems (AA, AG, AM), pp. 211–226.

ESEC-FSE-1997-CheungGK #analysis #composition #liveness #reachability #using #verification

Verification of Liveness Properties Using Compositional Reachability Analysis (SCC, DG, JK), pp. 227–243.

ESEC-FSE-1997-DwyerCH #abstraction #model checking #user interface #using #visual notation

Model Checking Graphical User Interfaces Using Abstractions (MBD, VC, LH), pp. 244–261.

ESEC-FSE-1997-WoodRBM #detection #empirical #fault

Comparing and Combining Software Defect Detection Techniques: A Replicated Empirical Study (MW, MR, AB, JM), pp. 262–277.

ESEC-FSE-1997-Ebert #case study #development #experience #predict

Experiences with Criticality Predictions in Software Development (CE), pp. 278–293.

ESEC-FSE-1997-LandSJ #design #detection #empirical #fault #performance #using #validation

Validating the Defect Detection Performance Advantage of Group Designs for Software Reviews: Report of a Laboratory Experiment Using Program Code (LPWL, CS, DRJ), pp. 294–309.

ESEC-FSE-1997-DesharnaisFKM #integration

Integration of Sequential Scenarios (JD, MF, RK, AM), pp. 310–326.

ESEC-FSE-1997-EngelsHTE #approach #graph transformation #modelling

A View-Oriented Approach to System Modelling Based on Graph Transformation (GE, RH, GT, HE), pp. 327–343.

ESEC-FSE-1997-RosenblumW #design #framework

A Design Framework for Internet-Scale Event Observation and Notification (DSR, ALW), pp. 344–360.

ESEC-FSE-1997-BodikGS #data flow #using

Refining Data Flow Information Using Infeasible Paths (RB, RG, MLS), pp. 361–377.

ESEC-FSE-1997-ForgacsB #slicing

Feasible Test Path Selection by Principal Slicing (IF, AB), pp. 378–394.

ESEC-FSE-1997-DevanbuS #encryption #test coverage #verification

Cryptographic Verification of Test Coverage Claims (PTD, SGS), pp. 395–413.

ESEC-FSE-1997-ChenGK #analysis #c++ #detection #reachability

A C++ Data Model Supporting Reachability Analysis and Dead Code Detection (YFC, ERG, EK), pp. 414–431.

ESEC-FSE-1997-RepsBDL #maintenance #problem #profiling #using

The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem (TWR, TB, MD, JRL), pp. 432–449.

ESEC-FSE-1997-HeimdahlW #reduction #slicing #state machine

Reduction and Slicing of Hierarchical State Machines (MPEH, MWW), pp. 450–467.

ESEC-FSE-1997-SchutzeRZ #generative #simulation

A Pattern-Based Application Generator for Building Simulation (MS, JPR, GZ), pp. 468–482.

ESEC-FSE-1997-DucasseR #design #execution #reuse #towards

Executable Connectors: Towards Reusable Design Elements (SD, TR), pp. 483–499.

ESEC-FSE-1997-PiccoRM #mobile

Expressing Code Mobility in Mobile UNITY (GPP, GCR, PJM), pp. 500–518.

ESEC-FSE-1997-KarlssonT #development #incremental

Incremental Development for AXE 10 (EAK, LT), pp. 519–520.

ESEC-FSE-1997-PerryV

The Tale of Two Projects — Abstract (DEP, LGV), pp. 521–522.

ESEC-FSE-1997-Obbink #analysis #architecture #case study #experience #industrial

Analysis of Software Architectures in High and Low Volume Electronic Systems, Industrial Experience Report (JHO), pp. 523–524.

ESEC-FSE-1997-IdriGI #adaptation #cost analysis #metric #towards

Towards an Adaptation of the COCOMO Cost Model to the Software Measurement Theory (AI, BG, AEI), pp. 525–526.

ESEC-FSE-1997-DiniBM #architecture #experience #formal method #industrial

Formalizing Software Architectures: An Industrial Experience (PD, AB, WLM), pp. 527–529.