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

Picture 1 of 1

Stock photo

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

Lecture Notes in Computer Science Ser.: Fundamental Approaches to Software Engineering : 18th International Conference, FASE 2015, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings by Ina Schaefer (2015, Trade Paperback)

Be the first towrite a review.

grandeagleretail (918857)
98.2% positive feedback

Price:

$76.97

Free shipping

Estimated delivery Fri, May 24 - Wed, May 29

Returns:

30 days returns. Buyer pays for return shipping.

Condition:

Brand New

Edition 2015th. Format Paperback. Author Alexander Egyed, Ina Schaefer.

About this product

Product Information

Models and Synthesis.- An Institution for Simple UML State Machines.- Map-Based Transparent Persistence for Very Large Models.- Composing Message Translators and Inferring Their Data Types Using Tree Automata.- On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications.- Testing and Fault Localization.- BPEL Integration Testing.- Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines.- Just Test What You Cannot Verify!.- Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme.- Modeling.- A Generalized Formal Framework for Partial Modeling.- Performance-Based Software Model Refactoring in Fuzzy Contexts.- Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin.- Verification.- Translation Validation for Clock Transformations in a Synchronous Compiler.- Symbolic Detection of Assertion Dependencies for Bounded Model Checking.- Verification of Loop.- Parallelisations.- Model-Based Formal Reasoning about Data-Management Applications.- Modeling and Adaptation.- Self-adaptive Software with Decentralised Control Loops.- Model-Based Adaptation of Software Communicating via FIFO Buffers.- Lazy TSO Reachability.- A Variability-Based Approach to Reusable and Efficient Model Transformations.- Applications.- Exploring Scenario Exploration.- Data-Oriented Characterization of Application-Level Energy Optimization.- Resource Specification for Prototyping Human-Intensive Systems.- The Prophecy of Undo.

Product Identifiers

Publisher
Springer Berlin / Heidelberg
ISBN-10
3662466740
ISBN-13
9783662466742
eBay Product ID (ePID)
210377808

Product Key Features

Author
Ina Schäfer
Publication Name
Fundamental Approaches to Software Engineering : 18th International Conference, FASE 2015, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Format
Trade Paperback
Language
English
Publication Year
2015
Series
Lecture Notes in Computer Science Ser.
Type
Textbook
Number of Pages
Xiv, 363 Pages

Dimensions

Item Length
9.3in
Item Width
6.1in
Item Weight
202.4 Oz

Additional Product Features

Series Volume Number
9033
Number of Volumes
1 Vol.
Lc Classification Number
Qa76.758
Table of Content
Models and Synthesis.- An Institution for Simple UML State Machines.- Map-Based Transparent Persistence for Very Large Models.- Composing Message Translators and Inferring Their Data Types Using Tree Automata.- On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllersfrom Scenario-Based Specifications.- Testing and Fault Localization.-BPEL Integration Testing.- Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines.- Just Test What You Cannot Verify!.- Evaluation of Measures for Statistical Fault Localisation and anOptimising Scheme.- Modeling.- A Generalized Formal Framework for Partial Modeling.- Performance-Based Software Model Refactoring in Fuzzy Contexts.- Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin.- Verification.- Translation Validation for Clock Transformations in a Synchronous Compiler.- Symbolic Detection of Assertion Dependencies for Bounded Model Checking.- Verification of Loop.- Parallelisations.- Model-Based Formal Reasoning about Data-Management Applications.- Modeling and Adaptation.- Self-adaptive Software with Decentralised Control Loops.- Model-Based Adaptation of Software Communicating via FIFO Buffers.- Lazy TSO Reachability.- A Variability-Based Approach to Reusable and Efficient Model Transformations.- Applications.- Exploring Scenario Exploration.- Data-Oriented Characterization of Application-Level Energy Optimization.- Resource Specification for Prototyping Human-Intensive Systems.- The Prophecy of Undo.
Copyright Date
2015
Topic
Software Development & Engineering / General, Computer Science, Compilers
Dewey Decimal
005.1
Intended Audience
Scholarly & Professional
Dewey Edition
23
Illustrated
Yes
Genre
Computers

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.....
$18.25
Trending at $18.75
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
Publication Manual of the American Psychological Association: 7th Edition, 2020
$14.45
Trending at $15.95
The Pragmatic Programmer : Your Journey to Mastery 20th Anniversary Edition
$25.00
Trending at $25.95

Shop by category

Picture 1 of 1

About this product

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features

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.....

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

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

Publication Manual of the American Psychological Association: 7th Edition, 2020

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

You may also like

Computer Science Paperback Textbooks

Theory and Practice of Counseling and Psychotherapy

London Paperbacks

Kaplan Usmle Step 1 Lecture Notes

Science Fiction Fiction Trade Paperbacks Books

Revision/Practice Workbook Study Paperbacks Prep