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

Häftad, Engelska, 1999

729 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum1999-08-30
Mått155 x 235 x 30 mm
Vikt820 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor536
Upplaga1999
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540665380

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Programvaruutveckling inom Data och it
Programmeringsböcker inom Data och it
Affärsförhandlingar inom Ekonomi och ledarskap

Extreme Programming: A Discipline of Software Development.- Components and Generative Programming.- A Component and Communication Model for Push Systems.- A Fine-Grained Model for Code Mobility.- Robots: A Real-Time Systems Architectural Style.- Collaboration and Composition: Issues for a Second Generation Process Language.- Using UML for Software Process Modeling.- A Probabilistic Model for Software Projects.- Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future?.- Using Model Checking to Generate Tests from Requirements Specifications.- Specification-Based Prototyping for Embedded Systems’.- Coping with Type Casts in C.- Efficient Points-to Analysis for Whole-Program Analysis.- The Concept of Dynamic Analysis.- Data-Flow Analysis of Program Fragments.- Yesterday, my Program Worked. Today, it Does Not. Why?.- Comparison Checking: An Approach to Avoid Debugging of Optimized Code.- Structural Specification-Based Testing: Automated Support and Experimental Evaluation.- An Efficient Relevant Slicing Method for Debugging.- Analyzing Exception Flow in Java™ Programs.- An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs.- CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java.- The CIP Method: Component- and Model-Based Construction of Embedded Systems.- Algebraic Software Architecture Reconfiguration.- Consistency Checking for Multiple View Software Architectures.- Synergy Between Component-Based and Generative Approaches.- Transitioning Legacy Assets to a Product Line Architecture.- CHIME: A Metadata-Based Distributed Software Development Environment.- FACADE: A Typed Intermediate Language Dedicated to Smart Cards.- Verification of Real-Time Designs:Combining Scheduling Theory with Automatic Formal Verification.- Checking Progress with Action Priority: Is it Fair?.