Описание: This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October 2012.The 9 revised full papers presented were carefully reviewed and selected from 22 submissions. This volume combines the post-conference proceedings of the 2014 Doctoral Symposium and the 2014 Tutorial 'Automata Learning in Practice' with the post-conference publication of selected contributions from the Tracks 'Process-Oriented Geoinformation Systems and Applications' and 'Processes and Data Integration in the Networked Healthcare' of ISoLA 2012.
Автор: Wolfgang Grieskamp; Thomas Santen; Bill Stoddart Название: Integrated Formal Methods ISBN: 3540411968 ISBN-13(EAN): 9783540411963 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This title presents topical sections on computer science, linking and extending notations, methodology, foundation of one formalism by another, semantics and verification and validation. It is intended for use by compilers, interpreters, and software engineering researchers and professionals.
Автор: Erika ?brah?m; Marieke Huisman Название: Integrated Formal Methods ISBN: 3319336924 ISBN-13(EAN): 9783319336923 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This bookconstitutes the refereed proceedings of the 12th International Conference on IntegratedFormal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016. The 33 paperspresented in this volume were carefully reviewed and selected from 99submissions. They were organized in topical sections named: invitedcontributions;
Автор: Elvira Albert; Emil Sekerinski Название: Integrated Formal Methods ISBN: 3319101803 ISBN-13(EAN): 9783319101804 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions.
Автор: Nadia Polikarpova and Steve Schneider Название: Integrated formal methods. ISBN: 3319668447 ISBN-13(EAN): 9783319668444 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions.
Автор: Laure Petrucci; Cristina Seceleanu; Ana Cavalcanti Название: Critical Systems: Formal Methods and Automated Verification ISBN: 331967112X ISBN-13(EAN): 9783319671123 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Automated verification techniques.- Testing and scheduling.- Formal Methods for mobile and autonomous robots.- Modeling and analysis techniques.
Автор: De Nicola Название: Software Engineering and Formal Methods ISBN: 3319415905 ISBN-13(EAN): 9783319415901 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Dimitra Giannakopoulou; Gwen Sala?n Название: Software Engineering and Formal Methods ISBN: 3319104306 ISBN-13(EAN): 9783319104300 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Darren Cofer; Alessandro Fantechi Название: Formal Methods for Industrial Critical Systems ISBN: 3642032397 ISBN-13(EAN): 9783642032394 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 13th International Workshop FMICS 2008 LAquila Italy September 1516 2008 Revised Selected Papers. .
Автор: Stephen J. Goldsack; Stuart J.H. Kent Название: Formal Methods and Object Technology ISBN: 3540199772 ISBN-13(EAN): 9783540199779 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text presents an overview of two approaches to software engineering - formal methods and object-oriented techniques. By extracting the best aspects of each, the text demonstrates how better and safer software is being developed. Three main strands of research are identified and discussed.
Автор: Marie-Claude Gaudel; James Woodcock Название: FME `96: Industrial Benefit and Advances in Formal Methods ISBN: 3540609733 ISBN-13(EAN): 9783540609735 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These conference proceedings address all relevant aspects of formal methods, from the point of view of the industrial R&D professional, as well as from the academic viewpoint. They also document progress in the use of formal methods for the solution of real-world problems.
Автор: Steve Counsell; Manuel N??ez Название: Software Engineering and Formal Methods ISBN: 3319050311 ISBN-13(EAN): 9783319050317 Издательство: Springer Рейтинг: Цена: 11598.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Towards Global and Local Types for Adaptation.- A Concurrent Programming Language with Refined Session Types.- Behavioural Types Inspired by Cellular Thresholds.- Ensuring Faultless Communication Behaviour in A Commercial Cloud.- A Typing System for Privacy.- Compliance and Testing Preorders Differ.- Scalable Session Programming for Heterogeneous High-Performance Systems.- A Supervisor Synthesis Tool for Finite Nondeterministic Automata with Data.- SMT-Constrained Symbolic Execution for Eclipse CDT/Codan.- IOCO as a Simulation.- Modeling and Simulating Interaction Protocols Using Nested Petri Nets.- PetriCode: A Tool for Template-Based Code Generation from CPN Models.- Twenty-Five Years of Formal Methods and Railways: What Next.- What IS a BoK? Large - Extended Abstract.- Verification of Scheme Plans Using CSPjjB.- Applied Bounded Model Checking for Interlocking System Designs.- Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO.- Validation of Railway Interlocking Systems by Formal Verification, A Case Study.- Verification of Solid State Interlocking Programs.- Towards Knowledge Modeling for Sustainable Transport.- XBRL-Driven Business Process Improvement: A Simulation Study in the Accounting Domain.- The Role of Linked Data and Semantic-Technologies for Sustainability Idea Management.- Stochastic Modelling of Seasonal Migration Using Rewriting Systems with Spatiality.- A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations.- Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models.- DISPAS: An Agent-Based Tool for the Management of Fishing Effort.- Certifying Machine Code Safe from Hardware Aliasing: RISC is Not Necessarily Risky.- Soundness and Completeness of the NRB Verification Logic.- Analysis of FLOSS Communities as Learning Contexts.- Small World Characteristics of FLOSS Distributions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
