The item you selected is unavailable, but we found something similar.

Picture 1 of 1

Stock photo

Fundamental Approaches to Software Engineering: 13th International Conference, F - Picture 1 of 1

Lecture Notes in Computer Science Ser.: Fundamental Approaches to Software Engineering : 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 2010, Proceedings by Gabriele Taentzer (2010, Trade Paperback)

Be the first towrite a review.

Bargain Book Stores (1097540)
99.3% positive feedback

Price:

$64.91

Free shipping

Estimated delivery Tue, May 14 - Sat, May 18

Returns:

30 days returns. Seller pays for return shipping.

Condition:

Brand New

ISBN: 9783642120282. Condition Guide. Publication Date: 3/16/2010. Item Availability.

About this product

Product Information

ETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryand Practiceof Software. ETAPS is anannual federatedconference that was establishedin1998bycombininganumberofexistingandnewconferences. This yearitcomprisedtheusual'vesisterconferences(CC, ESOP, FASE, FOSSACS, TACAS), 19 satellite workshops (ACCAT, ARSPA-WITS, Bytecode, CMCS, COCV, DCC, DICE, FBTC, FESCA, FOSS-AMA, GaLoP, GT-VMT, LDTA, MBT, PLACES, QAPL, SafeCert, WGT, and WRLA) and seven invited l- tures (excluding those that were speci'c to the satellite events). The ?ve main conferences this year received 497 submissions (including 31 tool demonstration papers), 130 of which were accepted (10 tool demos), giving an overall acc- tance rate of 26%, with most of the conferences at around 24%. Congratulations thereforetoalltheauthorswhomadeittothe'nalprogramme Ihopethatmost of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference on software science and engineering. The events that comprise ETAPS address various aspects of the system - velopment process, including speci'cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di'erent blends of theory and practice are represented, withaninclinationtowardtheorywithapracticalmotivationonthe one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. ETAPS is a confederation in which each event retains its own identity, with a separate Programme Committee and proceedings.

Product Identifiers

Publisher
Springer Berlin / Heidelberg
ISBN-10
3642120288
ISBN-13
9783642120282
eBay Product ID (ePID)
92361488

Product Key Features

Author
Gabriele Taentzer
Publication Name
Fundamental Approaches to Software Engineering : 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 2010, Proceedings
Format
Trade Paperback
Language
English
Publication Year
2010
Series
Lecture Notes in Computer Science Ser.
Type
Textbook
Number of Pages
Xiii, 383 Pages

Dimensions

Item Weight
21.6 Oz

Additional Product Features

Series Volume Number
6013
Number of Volumes
1 Vol.
Lc Classification Number
Qa76.758
Table of Content
Invited Speaker.- Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization.- Model Transformation.- A Formalisation of Constraint-Aware Model Transformations.- Formal Real-Time Model Transformations in MOMENT2.- Reusing Model Transformations While Preserving Properties.- Software Evolution.- Are Popular Classes More Defect Prone'.- Operation-Based, Fine-Grained Version Control Model for Tree-Based Representation.- A Method for Analyzing Code Homology in Genealogy of Evolving Software.- Dynamic Resource Scheduling in Disruption-Prone Software Development Environments.- Graph Transformation.- Incremental Service Composition Based on Partial Matching of Visual Contracts.- Formal Analysis and Verification of Self-Healing Systems.- Stochastic Simulation of Graph Transformation Systems.- Modeling Concepts.- Prescriptive Semantics for Big-Step Modelling Languages.- A Modular Model Composition Technique.- A Verifiable Modeling Approach to Configurable Role-Based Access Control.- Incremental Consistency Checking of Dynamic Constraints.- Verification.- Proving Consistency and Completeness of Model Classes Using Theory Interpretation.- Automatic Cross Validation of Multiple Specifications: A Case Study.- An Automata-Theoretic Approach to Hardware/Software Co-verification.- Program Analysis.- Shape Refinement through Explicit Heap Analysis.- Memory Leaks Detection in Java by Bi-abductive Inference.- Analyzing the Impact of Change in Multi-threaded Programs.- Testing and Debugging.- Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques.- A Lightweight and Portable Approach to Making Concurrent Failures Reproducible.- Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups.- Performance Modeling and Analysis.- Performance Modeling and Analysis of Context-Aware Mobile Software Systems.- A Process to Effectively Identify "Guilty" Performance Antipatterns.
Copyright Date
2010
Topic
Software Development & Engineering / General, Computer Science, Networking / General
Intended Audience
Scholarly & Professional
Illustrated
Yes
Genre
Computers

All listings for this product

item 1 Fundamental Approaches to Software Engineering: 13th International Conference, F
$64.91
Free shipping
item 2 Fundamental Approaches to Software Engineering: 13th International Conference, F
$66.42
Free shipping

Best Selling in Textbooks

See all

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)
4.6 out of 5 stars based on 15 product ratings
$35.70 New
$34.00 Used
Desk Reference to the Diagnostic Criteria from DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)
5.0 out of 5 stars based on 7 product ratings
$12.20 New
$11.50 Used
Self Heal by Design : The Role of Micro-organisms for Health by Barbara O'Neill (2018, Trade Paperback)
5.0 out of 5 stars based on 14 product ratings
$29.99 New
---- Used
Leadership : Theory and Practice by Peter G. Northouse (2021, Trade Paperback, Revised edition)
5.0 out of 5 stars based on 1 product rating
$19.98 New
$10.00 Used
Research Design : Qualitative, Quantitative, and Mixed Methods Approaches by J. David Creswell and John W. Creswell (2022, Trade Paperback)
4.2 out of 5 stars based on 5 product ratings
$21.00 New
$18.00 Used
Diagnostic and Statistical Manual of Mental Disorders : DSM-5-TR by American Psychiatric Association (2022, Hardcover)
4.9 out of 5 stars based on 8 product ratings
$41.45 New
$38.99 Used
Designing Data-Intensive Applications : The Big Ideas Behind Reliable, Scalable, and Maintainable Systems by Martin Kleppmann (2017, Trade Paperback)
4.9 out of 5 stars based on 17 product ratings
$18.25 New
$15.86 Used

Save on Textbooks

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR Brand new
$32.00
Trending at $42.75
Designing Data-Intensive Applications : The Big Ideas Behind Reliable Brand New
$15.00
Trending at $18.95
International Residential Code for One and Two-Family Dwellings 2021 free ship
$58.00
Trending at $68.00
National Electrical Code (NEC) NFPA 70 2020 Edition Spiral USA STOCK
$33.90
Trending at $36.40
The Pragmatic Programmer : Your Journey to Mastery 20th Anniversary Edition
$25.00
Trending at $25.95
NEW IFGC 2018 International Fuel Gas Code by ICC USA 2018 EDITION
$28.99
Trending at $39.14

Shop by category

Picture 1 of 1

About this product

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features

All listings for this product

item 1 Fundamental Approaches to Software Engineering: 13th International Conference, F

item 2 Fundamental Approaches to Software Engineering: 13th International Conference, F

Best Selling in Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)

Desk Reference to the Diagnostic Criteria from DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)

Self Heal by Design : The Role of Micro-organisms for Health by Barbara O'Neill (2018, Trade Paperback)

Leadership : Theory and Practice by Peter G. Northouse (2021, Trade Paperback, Revised edition)

Research Design : Qualitative, Quantitative, and Mixed Methods Approaches by J. David Creswell and John W. Creswell (2022, Trade Paperback)

Diagnostic and Statistical Manual of Mental Disorders : DSM-5-TR by American Psychiatric Association (2022, Hardcover)

Designing Data-Intensive Applications : The Big Ideas Behind Reliable, Scalable, and Maintainable Systems by Martin Kleppmann (2017, Trade Paperback)

Save on Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR Brand new

Designing Data-Intensive Applications : The Big Ideas Behind Reliable Brand New

International Residential Code for One and Two-Family Dwellings 2021 free ship

National Electrical Code (NEC) NFPA 70 2020 Edition Spiral USA STOCK

The Pragmatic Programmer : Your Journey to Mastery 20th Anniversary Edition

NEW IFGC 2018 International Fuel Gas Code by ICC USA 2018 EDITION

You may also like

Revision/Practice 2010-Now Publication Year Study Paperbacks Prep

2010-Now Publication Year Trade Paperbacks Books

Computer Science 2010-Now Publication Year Textbooks

2010s Nonfiction Paperbacks Books

Social Sciences 2010-Now Publication Year Study Paperbacks Prep

2010-Now Publication Year Paperbacks Books