Formal Methods for Components and Objects, Elena Giachino; Reiner H?hnle; Frank S. de Boer; M

Автор: Marcello M. Bonsangue; Susanne Graf; Willem-Paul d
Название: Formal Methods for Components and Objects
ISBN: 3540921877 ISBN-13(EAN): 9783540921875
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 6th International Symposium on Formal Methods for Components and Objects, FMCO 2007, was held in Amsterdam, The Netherlands, in October 2007. This title presents 12 revised papers submitted after the symposium by the speakers of various European IST projects.

Автор: Erika ?brah?m; Catuscia Palamidessi
Название: Formal Techniques for Distributed Objects, Components, and Systems
ISBN: 3662436124 ISBN-13(EAN): 9783662436127
Издательство: Springer
Рейтинг:
Цена: 52170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in June 2014, as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014.

Автор: Bernhard Beckert; Ferruccio Damiani; Frank S. de B
Название: Formal Methods for Components and Objects
ISBN: 3642358861 ISBN-13(EAN): 9783642358869
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The ASCENS Project.- ASCENS: Engineering Autonomic Service-Component Ensembles.- A Language-Based Approach to Autonomic Computing.- A Survey on Basic Connectors and Buffers.- The EternalS Coordination Action.- Synthesis-Based Variability Control: Correctness by Construction.- Modeling Application-Level Management of Virtualized Resources in ABS.- HATS Abstract Behavioral Specification: The Architectural View.- Automatic Service Categorisation through Machine Learning in Emergent Middleware.- Towards a Model- and Learning-Based Framework for Security Anomaly Detection.- Enhancing Model Driven Security through Pattern Refinement Techniques.- Project Zeppelin: A Modern Web Application Development Framework.- The ParaPhrase Project.- Managing Adaptivity in Parallel Systems.- The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems.- Paraphrasing: Generating Parallel Programs Using Refactoring.- An Abstract Annotation Model for Skeletons.- The PRO3D Project.- PRO3D, Programming for Future 3D Manycore Architectures: Project Interim Status.- Thermal-Aware Task Assignment for Real-Time Applications on Multi-Core Systems.- Component Assemblies in the Context of Manycore.- Low-Cost Dynamic Voltage and Frequency Management Based upon Robust Control Techniques under Thermal Constraints.

Автор: Marcello M. Bonsangue; Eric Madelaine
Название: Formal Methods for Components and Objects
ISBN: 3642041663 ISBN-13(EAN): 9783642041662
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Frank S. de Boer; Marcello M. Bonsangue; Susanne G
Название: Formal Methods for Components and Objects
ISBN: 3540229426 ISBN-13(EAN): 9783540229421
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Albert
Название: Formal Techniques for Distributed Objects, Components, and Systems
ISBN: 3319395696 ISBN-13(EAN): 9783319395692
Издательство: Springer
Рейтинг:
Цена: 59630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: On the Power of Attribute-Based Communication.- Fencing Programs with Self-Invalidation and Self-Downgrade.- A Framework for Certified Self-Stabilization.- Developing Honest Java Programs with Diogenes.- Playing with our CAT and Communication-Centric Applications.- Multiparty Session Types Within A Canonical Binary Theory, and Beyond.- A Type Theory for Robust Failure Handling in Distributed Systems.- Choreographies in Practice.- Specification-Based Synthesis of Distributed Self-Stabilizing Protocols.- Branching Bisimulation Games.- A Configurable CEGAR Framework with Interpolation-Based Refinements.- A Theory for the Composition of Concurrent Processes.- Enforcing Availability in Failure-Aware Communicating Systems.- Ransomware Steals Your Phone. Formal Methods Rescue It.- Multiple Mutation Testing from FSM.- The Challenge of Typed Expressiveness in Concurrency.- Type-Based Analysis for Session Inference.- SimAutoGen Tool: Test Vector Generation from Large Scale Matlab/Simulink Models.

Автор: Ahmed Bouajjani; Alexandra Silva
Название: Formal Techniques for Distributed Objects, Components, and Systems
ISBN: 3319602241 ISBN-13(EAN): 9783319602240
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Session types for Link failures.- Learning-based compositional parameter synthesis for event-recording automata.- Modularising opacity verification for Hybrid Transactional Memory.- Proving opacity via linearizability: a sound and complete method.- On futures for streaming data in ABS.- Session-based concurrency, reactively.- Procedural choreographic programming.- An observational approach to defining linearizability on weak memory models.- Applying a dependency mechanism in the formal development of voting protocol models using event-B.- Weak simulation quasimetric in a gossip scenario.- Reasoning about distributed secrets.- Classical higher-order processes.- Weak nominal modal logic.- Type inference of simulink hierarchical block diagrams in Isabelle.- Creating Bьchi automata for multi-valued model checking.- Privacy assessment using static taint analysis.- EPTL - a temporal logic for weakly consistent systems.

Автор: Susanne Graf; Mahesh Viswanathan
Название: Formal Techniques for Distributed Objects, Components, and Systems
ISBN: 3319191942 ISBN-13(EAN): 9783319191942
Издательство: Springer
Рейтинг:
Цена: 57770.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015.

Автор: Jan Vitek
Название: Objects, Models, Components, Patterns
ISBN: 3642139523 ISBN-13(EAN): 9783642139529
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the 48th International Conference on Objects, Models, Components, Patterns, held in Malaga, Spain, in June/July 2010.

Автор: Dimitra Giannakopoulou; Gwen Sala?n
Название: Software Engineering and Formal Methods
ISBN: 3319104306 ISBN-13(EAN): 9783319104300
Издательство: Springer
Рейтинг:
Цена: 59630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions.

Автор: De Nicola
Название: Software Engineering and Formal Methods
ISBN: 3319415905 ISBN-13(EAN): 9783319415901
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions.

Автор: Marco Bernardo; Erik de Vink; Alessandra Di Pierr
Название: Formal Methods for Dynamical Systems
ISBN: 3642388736 ISBN-13(EAN): 9783642388736
Издательство: Springer
Рейтинг:
Цена: 42860.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covered several topics including chaotic dynamics;