Formal Foundations for Software Engineering Methods, Heinrich Hu?mann

Автор: Karin Breitman; Ana Cavalcanti
Название: Formal Methods and Software Engineering
ISBN: 3642103723 ISBN-13(EAN): 9783642103728
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 11th International Conference on Formal Engineering Methods ICFEM 2009 Rio de Janeiro Brazil Decemb. .

Автор: Kazuhiro Ogata; Mark Lawford; Shaoying Liu
Название: Formal Methods and Software Engineering
ISBN: 3319478451 ISBN-13(EAN): 9783319478456
Издательство: Springer
Рейтинг:
Цена: 10342.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016.

Автор: 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.

Автор: Alessandro Cimatti; Marjan Sirjani
Название: Software Engineering and Formal Methods
ISBN: 3319661965 ISBN-13(EAN): 9783319661964
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Zhenhua Duan; Luke Ong
Название: Formal Methods and Software Engineering
ISBN: 3319686895 ISBN-13(EAN): 9783319686899
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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
Рейтинг:
Цена: 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.

Автор: 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.

Автор: Stephan Merz; Jun Pang
Название: Formal Methods and Software Engineering
ISBN: 331911736X ISBN-13(EAN): 9783319117362
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014.

Автор: Carlos Canal; Akram Idani
Название: Software Engineering and Formal Methods
ISBN: 3319152009 ISBN-13(EAN): 9783319152004
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: HOFM 2014.- A Usability Evaluation of Interactive Theorem Provers Using Focus Groups.- An Approach for Creating Domain Specific Visualisations of CSP Models.- Using Z in the Development and Maintenance of Computational Models of Real-World Systems.- When a Formal Model Rhymes with a Graphical Notation.- SaFoMe 2014.- On a Process Algebraic Representation of Sequence Diagrams.- Modelling and Verification of Survivability Requirements for Critical Systems.- Model-Based Verification of Safety Contracts.- A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems.- A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics.- OpenCert 2014.- Modelling and Verifying Smell-Free Architectures with the ARCHERY Language.- OntoLiFLOSS: Ontology for Learning Processes in FLOSS Communities.- Process Mining Event Logs from FLOSS Data: State of the Art and Perspectives.- MoKMaSD 2014.- A Latent Representation Model for Sentiment Analysis in Heterogeneous Social Networks.- Use of Mobile Phone Data to Estimate Visitors Mobility Flows.- An Abstract State Machine (ASM) Representation of Learning Process in FLOSS Communities.- A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer.- Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea.- Research Challenges in Modelling Ecosystems.- Retrieving Points of Interest from Human Systematic Movements.- WS-FMDS 2014.- Path-Sensitive Race Detection with Partial Order Reduced Symbolic Execution.- Phase-Type Approximations for Non-Markovian Systems: A Case Study.- Quantitative Anonymity Evaluation of Voting Protocols.- Scalable Verification of Markov Decision Processes.- Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis.- On Generation of Context-Abstract Plans.- A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF.

Автор: Radu Calinescu; Bernhard Rumpe
Название: Software Engineering and Formal Methods
ISBN: 3319229680 ISBN-13(EAN): 9783319229683
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015. The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions.

Автор: Michael Butler; Sylvain Conchon; Fatiha Za?di
Название: Formal Methods and Software Engineering
ISBN: 3319254227 ISBN-13(EAN): 9783319254227
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015.

Автор: V.S. Alagar; Laks V.S. Lakshmanan; F. Sadri
Название: Formal Methods in Databases and Software Engineering
ISBN: 3540198121 ISBN-13(EAN): 9783540198123
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Logic and object-orientation have come to be recognized as being among the most powerful paradigms for modeling information systems. The term "information systems" is used here in a very general context to denote database systems, software development systems, knowledge- base systems, proof support systems, distributed systems and reactive systems.