Amazon cover image
Image from Amazon.com

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 / edited by Steve Counsell, Manuel Núñez.

Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 8368. | LNCS sublibrary. SL 2, Programming and software engineering.Publisher: Berlin : Springer, 2014Description: 1 online resourceContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783319050324
  • 331905032X
Subject(s): Genre/Form: Additional physical formats: Printed edition:: No titleDDC classification:
  • 005.1 23
LOC classification:
  • QA76.9.L63
Online resources:
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.
Subject: Contains selected papers of the workshops collocated with the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013: Second International Workshop on Behavioral Types Workshop, BEAT ; Third Workshop on Formal Methods in the Development of Software, WS-FMDS ; Workshop on a Formal Methods Body of Knowledge for Railway Control and Safety Systems, FM-RAIL-BOK ; International Symposium on Modelling and Knowledge Management for Sustainable Development, MoKMaSD ; Seventh International Workshop on Foundations and Techniques for Open Source Software Certification, OpenCert.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Revised conference papers.

Contains selected papers of the workshops collocated with the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013: Second International Workshop on Behavioral Types Workshop, BEAT ; Third Workshop on Formal Methods in the Development of Software, WS-FMDS ; Workshop on a Formal Methods Body of Knowledge for Railway Control and Safety Systems, FM-RAIL-BOK ; International Symposium on Modelling and Knowledge Management for Sustainable Development, MoKMaSD ; Seventh International Workshop on Foundations and Techniques for Open Source Software Certification, OpenCert.

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.

English.

Powered by Koha