Agile Methods, Tiago Silva da Silva; Bernardo Est?cio; Josiane Kr

Автор: Renate A. Schmidt; Cl?udia Nalon
Название: Automated Reasoning with Analytic Tableaux and Related Methods
ISBN: 331966901X ISBN-13(EAN): 9783319669014
Издательство: Springer
Рейтинг:
Цена: 60550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasilia, Bazil, in September 2017.

Автор: Alessandro Cimatti; Marjan Sirjani
Название: Software Engineering and Formal Methods
ISBN: 3319661965 ISBN-13(EAN): 9783319661964
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017. The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions.

Автор: Rayadurgam
Название: NASA Formal Methods
ISBN: 3319406477 ISBN-13(EAN): 9783319406473
Издательство: Springer
Рейтинг:
Цена: 52170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016. The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from 70 submissions.

Автор: Zhenhua Duan; Luke Ong
Название: Formal Methods and Software Engineering
ISBN: 3319686895 ISBN-13(EAN): 9783319686899
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The conference focuses on all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.

Автор: Steve Counsell; Manuel N??ez
Название: Software Engineering and Formal Methods
ISBN: 3319050311 ISBN-13(EAN): 9783319050317
Издательство: Springer
Рейтинг:
Цена: 77320.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

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.

Автор: Cliff Jones, Pekka Pihlajasaari
Название: FM 2014 :
ISBN: 3319064096 ISBN-13(EAN): 9783319064093
Издательство: Springer
Рейтинг:
Цена: 107130.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.

Автор: Torgeir Dings?yr; Nils Brede Moe; Roberto Tonelli;
Название: Agile Methods. Large-Scale Development, Refactoring, Testing, and Estimation
ISBN: 3319143573 ISBN-13(EAN): 9783319143576
Издательство: Springer
Рейтинг:
Цена: 44720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Part: Principles of Large-Scale Agile Development.- Towards Principles of Large-Scale Agile Development: A Summary of the Workshop at XP2014 and a Revised Research Agenda.- Characteristics and Principles of Scaled Agile.- Architecture in Large Scale Agile Development.- Industrial Challenges of Scaling Agile in Mass-Produced Embedded Systems.- Agile in Distress: Architecture to the Rescue.- Conventions for Coordinating Large Agile Projects.- Supporting a Large-Scale Lean and Agile Transformation by Defining Common Values.- A Model for Understanding When Scaling Agile Is Appropriate in Large Organizations.- Control in Software Project Portfolios: A Complex Adaptive Systems Approach.- Part: Refactoring & Testing.- A Measure of the Modularisation of Sequential Software Versions Using Random Graph Theory.- Refactoring Clustering in Java Software Networks.- Are Some Refactorings Attached to Fault-Prone Classes and Others to Fault-Free Classes?.- Capturing Software Evolution and Change through Code Repository Smells.- Considering Polymorphism in Change-Based Test Suite Reduction.- Part: Estimations in the 21st Century Software Engineering.- Effort Estimation in Agile Global Software Development Context.- Early Software Project Estimation the Six Sigma Way.

Автор: Nadia Polikarpova and Steve Schneider
Название: Integrated formal methods.
ISBN: 3319668447 ISBN-13(EAN): 9783319668444
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Automated verification techniques.- Testing and scheduling.- Formal Methods for mobile and autonomous robots.- Modeling and analysis techniques.

Автор: Manju Nanda; Yogananda Jeppu
Название: Formal Methods for Safety and Security
ISBN: 9811041202 ISBN-13(EAN): 9789811041204
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering.

Автор: Felix Piazolo; Michael Felderer
Название: Novel Methods and Technologies for Enterprise Information Systems
ISBN: 3319070541 ISBN-13(EAN): 9783319070544
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Part I: Keynotes.- Part II: Future Tools.- Part III: Business Process Models.- Part IV: Requirements Engineering and Testing of ERP Systems.- Part V: Open Source.- Part VI: ERP Training.- Part VII: Mobility for Business Applications.- Part VIII: Cultural Issues in ERP Systems.- Part IX: Implementations Strategies and Concepts.- Part X: Public Sector.

Автор: Marco Bernardo; Ferruccio Damiani; Reiner Haehnle;
Название: Formal Methods for Executable Software Models
ISBN: 3319073168 ISBN-13(EAN): 9783319073163
Издательство: Springer
Рейтинг:
Цена: 68010.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

Analysis of Executable Software Models.- Deadlock Detection in Linear Recursive Programs.- Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey.- Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms.- Verification of Concurrent Systems with VerCors.- Combining Monitoring with Run-Time Assertion Checking.- Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency.- Model-Based Testing.