Fundamental Approaches to Software Engineering, Reiner H?hnle; Wil van der Aalst

Автор: Egidio Astesiano
Название: Fundamental Approaches to Software Engineering
ISBN: 3540643036 ISBN-13(EAN): 9783540643036
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Besides two invited presentations and three system demonstrations, this volume presents 18 papers. Among the fundamental software engineering issues addressed are formal methods, specification languages, refinements, object-oriented modelling, software architectures, statecharts and model checking.

Автор: Marsha Chechik; Martin Wirsing
Название: Fundamental Approaches to Software Engineering
ISBN: 3642005926 ISBN-13(EAN): 9783642005923
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software.

Автор: David S. Rosenblum; Gabriele Taentzer
Название: Fundamental Approaches to Software Engineering
ISBN: 3642120288 ISBN-13(EAN): 9783642120282
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Includes the refereed proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering, FASE 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.

Автор: Marieke Huisman; Julia Rubin
Название: Fundamental Approaches to Software Engineering
ISBN: 3662544938 ISBN-13(EAN): 9783662544938
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Learning and Inference.- Should We Learn Probabilistic Models for Model Checking? A New Approach and an Empirical Study.- Bordeaux: a tool for thinking outside the box.- Test Selection.- Bucketing Failing Tests via Symbolic Analysis.- Selective Bisection Debugging. - On the Effectiveness of Bug Predictors with Procedural Systems: a Quantitative Study.- Program and System Analysis.- Inference and Evolution of TypeScript Declaration Files.- Explicit Connection Actions in Multiparty Session Types.- Change and Delay Contracts for Hybrid System Component Verification. - Precise Version Control of Trees with Line-based Version Control Systems.- Graph Modelling and Transformation.- StaticGen: Static Generation of UML Sequence Diagrams.- Inter-Model Consistency Checking using Triple Graph Grammars and Linear Optimization Techniques.- GTS Families for the Flexible Composition of Graph Transformation Systems.- Symbolic Model Generation for Graph Properties. - Model Transformations.- Traceability Mappings as a Fundamental Instrument in Model Transformations.- Reusing Model Transformations through Typing Requirement Models.- Change-preserving model repair. -A deductive approach for fault localization in ATL model transformations. -Configuration and Synthesis.- OpenSAW: Open Security Analysis Workbench.- Visual Configuration of Mobile Privacy Policies.- Automated Workarounds from Java Program Specifications based on SAT Solving. -Slicing from Formal Sematics: Chisel.- EasyInterface: A toolkit for rapid development of GUIs for research prototype tools.- Software Product Lines.- Family-Based Model Checking with mCRL2.- Variability-specific Abstraction Refinement for Family-based Model Checking.- A Unified and Formal Programming Model for Deltas and Traits.

Автор: Stefania Gnesi; Arend Rensink
Название: Fundamental Approaches to Software Engineering
ISBN: 3642548032 ISBN-13(EAN): 9783642548031
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014.

Автор: Alexander Egyed; Ina Schaefer
Название: Fundamental Approaches to Software Engineering
ISBN: 3662466740 ISBN-13(EAN): 9783662466742
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering, FASE 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015.

Автор: Perdita Stevens; Andrzej W?sowski
Название: Fundamental Approaches to Software Engineering
ISBN: 366249664X ISBN-13(EAN): 9783662496640
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

The Death of Object-Oriented Programming.- Concurrent and Distributed Systems Automated Choreography Repair.- A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs.- ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters.- Integrated environment for verifying and running distributed components.- Model-Driven Development.- Iterative and incremental model generation by logic solvers.- Automated Model Merge by Design Space Exploration.- RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules.- Two-Step Transformation of Model Traversal EOL Queries for Large CDO Repositories.- Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-based Feature Models.- Analysis and Bug Triaging.- Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices.- The Influences of Edge Instability on Change Propagation and Connectivity in Call Graphs.- Modeling and Abstraction of Memory Management in a Hypervisor.- Crowdsourced Bug Triaging: Leveraging Q&A resources for Bug Assignment.- Probabilistic and Stochastic Systems Model-Based Testing of Probabilistic Systems.- An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-Adaptive Systems.- Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat.- Statistical model checking of e-Motions domain-specific modeling languages.- Proof and Theorem Proving.- Towards Formal Proof Metrics.- Reduction Rules for Colored Workflow Nets.- Many-valued Institutions for Constraint Specification.- CafeInMaude: a CafeOBJ interpreter in Maude.- Verification.- Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique.- Hybrid Session Verification through Endpoint API Generation.- PVAIR: Partial Variable Assignment InterpolatoR.

Автор: Heinrich Hussmann
Название: Fundamental Approaches to Software Engineering
ISBN: 3540418636 ISBN-13(EAN): 9783540418634
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: ETAPS 2001 is the fourth instance of the European Joint Conferences on Theory and Practice of Software. 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.

Автор: Jean-Pierre Finance
Название: Fundamental Approaches to Software Engineering
ISBN: 3540657185 ISBN-13(EAN): 9783540657187
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text presents the proceedings of the Second International Conference on Fundamental Approaches to Software Engineering. Among the topics addressed are formal methods, real time specifications, process calculi, reactive concurrent systems, term rewriting, dynamic systems and UML modelling.

Автор: Vittorio Cortellessa; D?niel Varr?
Название: Fundamental Approaches to Software Engineering
ISBN: 364237056X ISBN-13(EAN): 9783642370564
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering, FASE 2013, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. They are organized in topical sections named: model-driven engineering;

Автор: Russo
Название: Fundamental Approaches to Software Engineering
ISBN: 3319893629 ISBN-13(EAN): 9783319893624
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Model-Based Software Development.- A Formal Framework for Incremental Model Slicing.- Multiple Model Synchronization with Multiary Delta Lenses.- Controlling the Attack Surface of Object-Oriented Refactorings.- Efficient Analysis of Attack Trees: a Model-Driven Approach.- Distributed Program and System Analysis.- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis.- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism.- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems.- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States.- Software Design and Verification.- Hierarchical Specification and Verification of Architectural Design Patterns.- Supporting Verification-Driven Incremental Distributed Design of Components.- Summarizing Software API Usage Examples using Clustering Techniques.- Fast Computation of Arbitrary Control Dependencies.- Specification and Program Testing.- Iterative Generation of Diverse Models for Testing Specifications of SL Tools.- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications.- TCM: Test Case Mutation to Improve Crash Detection in Android.- CRETE: A Versatile Binary-Level Concolic Testing Framework.- Family-Based Software Development.- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL*.- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems.- Taming Multi-Variability of Software Product Line Transformations.