+612 9045 4394
Software Engineering - Esec-Fse '97 : 6th European Software Engineering Conference Held Jointly with the 5th ACM Sigsoft Symposium on the Foundations of Software Engineering, Zurich, Switzerland, September 22-25, 1997. Proceedings - Mehdi Jazayeri

Software Engineering - Esec-Fse '97

6th European Software Engineering Conference Held Jointly with the 5th ACM Sigsoft Symposium on the Foundations of Software Engineering, Zurich, Switzerland, September 22-25, 1997. Proceedings

By: Mehdi Jazayeri (Editor), Helmut Schauer (Editor)

Paperback Published: 10th September 1997
ISBN: 9783540635314
Number Of Pages: 538

Share This Book:


or 4 easy payments of $39.60 with Learn more
Ships in 5 to 9 business days

This book constitutes the refereed proceedings of the 6th European Conference on Software Engineering, FSE '97, held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, FSE '97 in Zurich, Switzerland in September 1997.
The volume presents 27 revised full papers selected from a total of 194 submissions. Also included are six invited presentations. All in all the volume is a unique presentation of state-of-the-art research and development in software engineering. The papers are organized in topical sections on software engineering education, software architecture, processes, configuration and process tools, formal analysis, empirical studies, system modelling, testing, program analysis, and decomposition and distribution.

Software Engineering: An Unconsummated Marriagep. 1
Subtypes for Specificationsp. 4
Developing Multimedia Applications with the Win-Win Spiral Modelp. 20
What we Teach Software Engineers in the University: Do we take engineering seriously?p. 40
What we Expect from Software Engineers in the Industryp. 51
Security Issues in Distributed Softwarep. 52
A Framework for Classifying and Comparing Architecture Description Languagesp. 60
Applying Static Analysis to Software Architecturesp. 77
Making Design Patterns Explicit in FACE - A Framework Adaptive Composition Environmentp. 94
TTM15 - A Large Multi-Site Improvement Projectp. 111
Change Management Needs Integrated Process and Configuration Managementp. 125
The Design of a Next-Generation Process Languagep. 142
Software Release Managementp. 159
A Contextual Approach for Process-Integrated Toolsp. 176
Generic Fuzzy Reasoning Nets as a Basis for Reverse Engineering Relational Database Applicationsp. 193
Providing Automated Support to Deductive Analysis of Time Critical Systemsp. 211
Verification of Liveness Properties Using Compositional Reachability Analysisp. 227
Model Checking Graphical User Interfaces Using Abstractionsp. 244
Comparing and Combining Software Defect Detection Techniques: A Replicated Empirical Studyp. 262
Experiences with Criticality Predictions in Software Developmentp. 278
Validating the Defect Detection Performance Advantage of Group Designs for Software Reviews: Report of a Laboratory Experiment Using Program Codep. 294
Integration of Sequential Scenariosp. 310
A View-Oriented Approach to System Modelling Based on Graph Transformationp. 327
A Design Framework for Internet-Scale Event Observation and Notificationp. 344
Refining Data Flow Information Using Infeasible Pathsp. 361
Feasible Test Path Selection by Principal Slicingp. 378
Cryptographic Verification of Test Coverage Claimsp. 395
A C++ Data Model Supporting Reachability Analysis and Dead Code Detectionp. 414
The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problemp. 432
Reduction and Slicing of Hierarchical State Machinesp. 450
A Pattern-Based Application Generator for Building Simulationp. 468
Executable Connectors: Towards Reusable Design Elementsp. 483
Expressing Code Mobility in Mobile UNITYp. 500
Incremental Development for AXE 10p. 519
The Tale of Two Projectsp. 521
Analysis of Software Architectures in High and Low Volume Electronic Systemsp. 523
Towards an Adaptation of the COCOMO Cost Model to the Software Measurement Theoryp. 525
Formalizing Software Architectures: An Industrial Experiencep. 527
Software Engineering - Old Problems, New Problems, and Unsolved Problemsp. 530
Author Indexp. 531
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540635314
ISBN-10: 3540635319
Series: NATO Asi Series. Series G, Ecological Sciences,
Audience: General
Format: Paperback
Language: English
Number Of Pages: 538
Published: 10th September 1997
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.85
Weight (kg): 0.76