did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

We're the #1 textbook rental company. Let us show you why.

9783540665380

Software Engineering - ESEC/FSE '99 : 7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6-10, 1999 Proceedings

by ; ; ; ; ;
  • ISBN13:

    9783540665380

  • ISBN10:

    3540665382

  • Format: Paperback
  • Copyright: 1999-11-01
  • Publisher: Springer Verlag
  • Purchase Benefits
List Price: $129.00 Save up to $110.44
  • Digital
    $40.22
    Add to Cart

    DURATION
    PRICE

Supplemental Materials

What is included with this book?

Summary

This book constitutes the refereed proceedings of the 7th European Software Engineering Conference, ESEC'99, held jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering in Toulouse, France in September 1999.The 29 revised full papers presented together with two invited contributions were carefully reviewed and selected from a total of 141 submissions. The papers are organized in topical sections on software components, software process, specification, program analysis, testing and debugging, Java, architectures and models, reuse, and verification and checking.

Table of Contents

Invited Papers
Extreme Programming: A Discipline of Software Development (Abstract)p. 1
Components and Generative Programmingp. 2
Software Components
A Component and Communication Model for Push Systemsp. 20
A Fine-Grained Model for Code Mobilityp. 39
Robots: A Real-Time Systems Architectural Stylep. 57
Software Process
Collaboration and Composition: Issues for a Second Generation Process Languagep. 75
Using UML for Software Process Modelingp. 91
A Probabilistic Model for Software Projectsp. 109
Specification
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Futurep. 127
Using Model Checking to Generate Tests from Requirements Specificationsp. 146
Specification-Based Prototyping for Embedded Systemsp. 163
Program Analysis
Coping with Type Casts in Cp. 180
Efficient Points-to Analysis for Whole-Program Analysisp. 199
The Concept of Dynamic Analysisp. 216
Data-Flow Analysis of Program Fragmentsp. 235
Testing and Debugging
Yesterday, My Program Worked. Today, It Does Not. Why?p. 253
Comparison Checking: An Approach to Avoid Debugging of Optimized Codep. 268
Structural Specification-Based Testing: Automated Support and Experimental Evaluationp. 285
An Efficient Relevant Slicing Method for Debuggingp. 303
Java
Analyzing Exception Flow in JavaÖ Programsp. 322
An Efficient Algorithm for Computing MHP Information for Concurrent Java Programsp. 338
CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Javap. 355
Architecture and Models
The CIP Method: Component- and Model-Based Construction of Embedded Systemsp. 375
Algebraic Software Architecture Reconfigurationp. 393
Consistency Checking for Multiple View Software Architecturesp. 410
Reuse
Synergy between Component-Based and Generative Approachesp. 429
Transitioning Legacy Assets to a Product Line Architecturep. 446
CHIME: A Metadata-Based Distributed Software Development Environmentp. 464
Verification and Checking
FACADE: A Typed Intermediate Language Dedicated to Smart Cardsp. 476
Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verificationp. 494
Checking Progress with Action Priority: Is it Fair?p. 511
Author Indexp. 529
Table of Contents provided by Publisher. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program