Software Engineering - ESEC/FSE '99
Editat de Oskar Nierstrasz, Michel Lemoineen Limba Engleză Paperback – 30 aug 1999
Preț: 333.82 lei
Preț vechi: 417.28 lei
-20% Nou
Puncte Express: 501
Preț estimativ în valută:
59.06€ • 68.81$ • 51.58£
59.06€ • 68.81$ • 51.58£
Carte tipărită la comandă
Livrare economică 19 ianuarie-02 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540665380
ISBN-10: 3540665382
Pagini: 548
Ilustrații: XII, 536 p.
Dimensiuni: 155 x 235 x 30 mm
Greutate: 0.82 kg
Ediția:1999
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540665382
Pagini: 548
Ilustrații: XII, 536 p.
Dimensiuni: 155 x 235 x 30 mm
Greutate: 0.82 kg
Ediția:1999
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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?.
Caracteristici
Includes supplementary material: sn.pub/extras