skip to content
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 Preview this item
ClosePreview this item
Checking...

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

Author: Steve Counsell; Manuel Núñez, (Professor)
Publisher: Berlin : Springer, 2014.
Series: Lecture notes in computer science, 8368.; LNCS sublibrary., SL 2,, Programming and software engineering.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Steve Counsell; Manuel Núñez, (Professor)
ISBN: 9783319050324 331905032X
OCLC Number: 873554449
Notes: Revised conference papers.
Description: 1 online resource.
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.
Series Title: Lecture notes in computer science, 8368.; LNCS sublibrary., SL 2,, Programming and software engineering.
Responsibility: edited by Steve Counsell, Manuel Núñez.

Abstract:

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.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/873554449> # 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
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
   library:oclcnum "873554449" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1855720962#Place/berlin> ; # Berlin
   schema:about <http://experiment.worldcat.org/entity/work/data/1855720962#Topic/formal_methods_computer_science> ; # Formal methods (Computer science)
   schema:about <http://dewey.info/class/005.1/e23/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1855720962#Topic/software_engineering> ; # Software engineering
   schema:bookFormat schema:EBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1855720962#Meeting/workshop_on_a_formal_methods_body_of_knowledge_for_railway_control_and_safety_systems_2013_madrid_spain> ; # Workshop on a Formal Methods Body of Knowledge for Railway Control and Safety Systems (2013 : Madrid, Spain)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1855720962#Meeting/workshop_on_formal_methods_in_the_development_of_software_3rd_2013_madrid_spain> ; # Workshop on Formal Methods in the Development of Software (3rd : 2013 : Madrid, Spain)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1855720962#Meeting/international_conference_on_software_engineering_and_formal_methods_11th_2013_madrid_spain> ; # International Conference on Software Engineering and Formal Methods (11th : 2013 : Madrid, Spain)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1855720962#Meeting/international_symposium_on_modelling_and_knowledge_management_for_sustainable_development_2013_madrid_spain> ; # International Symposium on Modelling and Knowledge Management for Sustainable Development (2013 : Madrid, Spain)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1855720962#Meeting/international_workshop_on_foundations_and_techniques_for_open_source_software_certification_7th_2013_madrid_spain> ; # International Workshop on Foundations and Techniques for Open Source Software Certification (7th : 2013 : Madrid, Spain)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1855720962#Meeting/international_workshop_on_behavioral_types_workshop_2nd_2013_madrid_spain> ; # International Workshop on Behavioral Types Workshop (2nd : 2013 : Madrid, Spain)
   schema:datePublished "2014" ;
   schema:description "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."@en ;
   schema:editor <http://experiment.worldcat.org/entity/work/data/1855720962#Person/counsell_steve> ; # Steve Counsell
   schema:editor <http://experiment.worldcat.org/entity/work/data/1855720962#Person/nunez_manuel_professor> ; # (Professor) Manuel Núñez
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1855720962> ;
   schema:genre "Electronic books"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1855720962#Series/lncs_sublibrary> ; # LNCS sublibrary.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1855720962#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> ; # LNCS sublibrary. SL 2, Programming and software engineering
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1855720962#Series/lecture_notes_in_computer_science_sl2_programming_and_software_engineering> ; # Lecture notes in computer science ; SL2, Programming and Software Engineering
   schema:isPartOf <http://worldcat.org/issn/1611-3349> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/1855720962#CreativeWork/> ;
   schema:name "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"@en ;
   schema:productID "873554449" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/873554449#PublicationEvent/berlin_springer_2014> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1855720962#Agent/springer> ; # Springer
   schema:url <http://link.springer.com/10.1007/978-3-319-05032-4> ;
   schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-319-05031-7> ;
   schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-319-05031-7> ;
   schema:url <http://dx.doi.org/10.1007/978-3-319-05032-4> ;
   schema:url <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-05032-4> ;
   schema:url <http://public.eblib.com/choice/PublicFullRecord.aspx?p=3101212> ;
   schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/978-3-319-05032-4> ;
   schema:workExample <http://worldcat.org/isbn/9783319050324> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-319-05032-4> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/873554449> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1855720962#Meeting/international_conference_on_software_engineering_and_formal_methods_11th_2013_madrid_spain> # International Conference on Software Engineering and Formal Methods (11th : 2013 : Madrid, Spain)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/1855720962#Place/madrid_spain> ; # Madrid, Spain)
   schema:name "International Conference on Software Engineering and Formal Methods (11th : 2013 : Madrid, Spain)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1855720962#Meeting/international_symposium_on_modelling_and_knowledge_management_for_sustainable_development_2013_madrid_spain> # International Symposium on Modelling and Knowledge Management for Sustainable Development (2013 : Madrid, Spain)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/1855720962#Place/madrid_spain> ; # Madrid, Spain)
   schema:name "International Symposium on Modelling and Knowledge Management for Sustainable Development (2013 : Madrid, Spain)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1855720962#Meeting/international_workshop_on_behavioral_types_workshop_2nd_2013_madrid_spain> # International Workshop on Behavioral Types Workshop (2nd : 2013 : Madrid, Spain)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/1855720962#Place/madrid_spain> ; # Madrid, Spain)
   schema:name "International Workshop on Behavioral Types Workshop (2nd : 2013 : Madrid, Spain)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1855720962#Meeting/international_workshop_on_foundations_and_techniques_for_open_source_software_certification_7th_2013_madrid_spain> # International Workshop on Foundations and Techniques for Open Source Software Certification (7th : 2013 : Madrid, Spain)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/1855720962#Place/madrid_spain> ; # Madrid, Spain)
   schema:name "International Workshop on Foundations and Techniques for Open Source Software Certification (7th : 2013 : Madrid, Spain)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1855720962#Meeting/workshop_on_a_formal_methods_body_of_knowledge_for_railway_control_and_safety_systems_2013_madrid_spain> # Workshop on a Formal Methods Body of Knowledge for Railway Control and Safety Systems (2013 : Madrid, Spain)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/1855720962#Place/madrid_spain> ; # Madrid, Spain)
   schema:name "Workshop on a Formal Methods Body of Knowledge for Railway Control and Safety Systems (2013 : Madrid, Spain)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1855720962#Meeting/workshop_on_formal_methods_in_the_development_of_software_3rd_2013_madrid_spain> # Workshop on Formal Methods in the Development of Software (3rd : 2013 : Madrid, Spain)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/1855720962#Place/madrid_spain> ; # Madrid, Spain)
   schema:name "Workshop on Formal Methods in the Development of Software (3rd : 2013 : Madrid, Spain)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1855720962#Person/counsell_steve> # Steve Counsell
    a schema:Person ;
   schema:familyName "Counsell" ;
   schema:givenName "Steve" ;
   schema:name "Steve Counsell" ;
    .

<http://experiment.worldcat.org/entity/work/data/1855720962#Person/nunez_manuel_professor> # (Professor) Manuel Núñez
    a schema:Person ;
   schema:familyName "Núñez" ;
   schema:givenName "Manuel" ;
   schema:name "(Professor) Manuel Núñez" ;
    .

<http://experiment.worldcat.org/entity/work/data/1855720962#Series/lecture_notes_in_computer_science_sl2_programming_and_software_engineering> # Lecture notes in computer science ; SL2, Programming and Software Engineering
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/873554449> ; # 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
   schema:name "Lecture notes in computer science ; SL2, Programming and Software Engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/1855720962#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/873554449> ; # 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
   schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/1855720962#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> # LNCS sublibrary. SL 2, Programming and software engineering
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/873554449> ; # 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
   schema:name "LNCS sublibrary. SL 2, Programming and software engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/1855720962#Topic/formal_methods_computer_science> # Formal methods (Computer science)
    a schema:Intangible ;
   schema:name "Formal methods (Computer science)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1855720962#Topic/software_engineering> # Software engineering
    a schema:Intangible ;
   schema:name "Software engineering"@en ;
    .

<http://link.springer.com/10.1007/978-3-319-05032-4>
   rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://worldcat.org/entity/work/data/1855720962#CreativeWork/>
    a schema:CreativeWork ;
   schema:description "Printed edition:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/873554449> ; # 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
    .

<http://worldcat.org/isbn/9783319050324>
    a schema:ProductModel ;
   schema:isbn "331905032X" ;
   schema:isbn "9783319050324" ;
    .

<http://worldcat.org/issn/1611-3349> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/873554449> ; # 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
   schema:issn "1611-3349" ;
   schema:name "Lecture notes in computer science ;" ;
    .

<http://www.worldcat.org/title/-/oclc/873554449>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/873554449> ; # 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
   schema:dateModified "2017-12-24" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.