Software engineering and formal methods : SEFM 2013, Steve Counsell
Новое издание
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: Lindsay Groves; Jing Sun Название: Formal Methods and Software Engineering ISBN: 3642412017 ISBN-13(EAN): 9783642412011 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Keynote.- Lattices of Information for Security: Deterministic, Demonic, Probabilistic.- Specification.- Algebraic Laws for Process Subtyping.- Boundness Issues in CCSL Specifications.- Mining Dataflow Sensitive Specifications.- Proof.- A Proof Slicing Framework for Program Verification.- Formally Verified System Initialisation.- Verifying an Aircraft Proximity Characterization Method in Coq.- Testing.- Assisting Specification Refinement by Random Testing.- Generation of Checking Sequences Using Identification Sets.- The Circus Testing Theory Revisited in Isabelle/HOL.- Timed Systems.- A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification.- Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts.- Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction.- Concurrency.- A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems.- A UTP Semantics for Communicating Processes with Shared Variables.- Verification of Static and Dynamic Barrier Synchronization Using- Bounded Permissions.- SysML/MDD.- Formal Models of SysML Blocks.- Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML .- Translation from Workflow Nets to MSVL.- Verification.- Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems.- Verification of Functional and Non-functional Requirements of Web Service Composition.- vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems.- Application.- Formal Kinematic Analysis of the Two-Link Planar Manipulator.- Formal Modelling of Resilient Data Storage in Cloud.- Linking Operational Semantics and Algebraic Semantics for Wireless Networks.- Static Analysis.- Automated Specification Discovery via User-Defined Predicates.- Path-Sensitive Data Flow Analysis Simplified.- Reconstructing Paths for Reachable Code.- The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software.
Описание: Emerging scientific and industrial applications in today's world require significant computing power. Modern software tools are available for such platforms but are relatively complex and require the use of innovative programming models. One promising area in modern software design is the development, analysis, and implementation of algorithms and adaptive methods. These advancements in programming are promising but lack relevant research and understanding.
Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities is an essential reference source that solves the problem of the development of efficient models, methods, and tools for parallel programming automation based on the algebra of algorithms, term rewriting, and auto-tuning paradigms. The results of this book will help to further develop and improve existing research on design, synthesis, and optimization of sequential and parallel algorithms and programs. Featuring research on topics such as auto-tuning methods, graphics processing, and algorithmic language, this book is ideally designed for mathematicians, software engineers, data scientists, researchers, academicians, and students seeking coverage on developing tools for automated design and parallel programs.
Автор: 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.
Автор: Yamine Ait-Ameur; Shengchao Qin Название: Formal Methods and Software Engineering ISBN: 3030324087 ISBN-13(EAN): 9783030324087 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019.
The 28 full and 8 short papers presented in this volume were carefully reviewed and selected from 94 submissions. They deal with the recent progress in the use and development of formal engineering methods for software and system design and record the latest development in formal engineering methods.
Автор: Maurice H. ter Beek; Alessandro Fantechi; Laura Se Название: From Software Engineering to Formal Methods and Tools, and Back ISBN: 3030309843 ISBN-13(EAN): 9783030309848 Издательство: Springer Рейтинг: Цена: 11459.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Following a survey of Stefania`s legacy in research and a homage by her thesis supervisor, these seven sections are ordered according to Stefania`s life cycle in research, from software engineering to formal methods and tools, and back: Software Engineering;
Описание: The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
