Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers /
This book constitutes the revised selected papers of the collocated workshops of the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The conference hosted 5 workshops: The Second International Workshop on Behavioural Type...
| Published in: | Springer eBooks |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2014.
|
| Series: | Lecture Notes in Computer Science,
|
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1007/978-3-319-05032-4 Перейти в каталог НБ ТГУ |
Table of Contents:
- 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.