skip to content
Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings Preview this item
ClosePreview this item
Checking...

Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Author: Rocco De Nicola; Eva Kühn
Publisher: Cham Springer International Publishing 2016.
Series: SpringerLink : Bücher; Lecture notes in computer science, 9763.
Edition/Format:   eBook : Conference publication : EnglishView all editions and formats
Summary:

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  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: Konferenzschrift
Additional Physical Format: Erscheint auch als
Software Engineering and Formal Methods
Cham : Springer International Publishing, 2016
XV, 391 Seiten in 1 Teil, 86 Illustrationen
Druck-Ausgabe
(DE-101)1102393053
Material Type: Conference publication, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Rocco De Nicola; Eva Kühn
ISBN: 9783319415918 3319415913 9783319415901 3319415905
OCLC Number: 953156312
Description: 1 Online-Ressource (XV, 419 p. 86 illus)
Contents: Invited Papers.- Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems.- Satisfiability Checking: Theory and Applications.- Concurrency and Non-Interference.- Automatic Derivation of Platform Noninterference Properties.- Linearizability and Causality.- Refinement-based verification of Communicating Unstructured Code.- Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information (short paper).- Program Analysis.- Correlating Structured Inputs and Outputs in Functional Specifications.- Combining Predicate Abstraction with Fixpoint Approximations.- Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis.- Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams.- Model Checking.- Program Generation using Simulated Annealing and Model Checking.- LTL Parameter Synthesis of Parametric Timed Automata.- Model checking simulation rules for linearizability.- LTL Model Checking under Fairness in ProB (short paper).- Verification.- Counterexamples from Proof Failures in SPARK.- Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution.- SMT-based automatic proof of ASM model refinement.- Coq Implementation of OO Verification Framework VeriJ (short paper).- Towards a Proof Framework for Information Systems with Weak Consistency (short paper).- Interaction and Adaptation.- A Cognitive Framework based on Rewriting Logic for the Analysis of Interactive Systems.- Incentive Stackelberg Mean-payoff Games.- Stability-based Adaptation of Asynchronously Communicating Software.- Compliance Checking in the Open Payments Ecosystem (short paper).- Development Methods.- CoCoSpec: A mode aware contract language.- Modularizing Crosscutting Concerns in Component-Based Systems.- Tightening a Contract Refinement.- BMotionWeb: A Tool for Rapid Creation of Formal Prototypes.
Series Title: SpringerLink : Bücher; Lecture notes in computer science, 9763.
Responsibility: edited by Rocco De Nicola, Eva Kühn.

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/953156312> # Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "953156312" ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3698931807#Topic/programming_languages_electronic_computers> ; # Programming languages (Electronic computers)
    schema:about <http://experiment.worldcat.org/entity/work/data/3698931807#Topic/programming_techniques> ; # Programming Techniques
    schema:about <http://experiment.worldcat.org/entity/work/data/3698931807#Topic/programmiersprache> ; # Programmiersprache
    schema:about <http://experiment.worldcat.org/entity/work/data/3698931807#Topic/computer_science> ; # Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/3698931807#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
    schema:about <http://experiment.worldcat.org/entity/work/data/3698931807#Topic/logischer_entwurf> ; # Logischer Entwurf
    schema:about <http://experiment.worldcat.org/entity/work/data/3698931807#Topic/informatik> ; # Informatik
    schema:about <http://experiment.worldcat.org/entity/work/data/3698931807#Topic/computer_logic> ; # Computer logic
    schema:about <http://experiment.worldcat.org/entity/work/data/3698931807#Topic/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters
    schema:about <http://experiment.worldcat.org/entity/work/data/3698931807#Topic/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages
    schema:about <http://dewey.info/class/005.1/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3698931807#Topic/artificial_intelligence_incl_robotics> ; # Artificial Intelligence (incl. Robotics)
    schema:about <http://experiment.worldcat.org/entity/work/data/3698931807#Topic/computer_programming> ; # Computer programming
    schema:about <http://experiment.worldcat.org/entity/work/data/3698931807#Topic/software_engineering> ; # Software Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/3698931807#Topic/mathematical_logic> ; # Mathematical logic
    schema:about <http://experiment.worldcat.org/entity/work/data/3698931807#Topic/artificial_intelligence> ; # Artificial intelligence
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3698931807#Person/kuhn_eva> ; # Eva Kühn
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3698931807#Person/de_nicola_rocco> ; # Rocco De Nicola
    schema:datePublished "2016" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/3698931807> ;
    schema:genre "Konferenzschrift" ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3698931807#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3698931807#Series/springerlink_bucher> ; # SpringerLink : Bücher
    schema:isSimilarTo <http://worldcat.org/entity/work/data/3698931807#CreativeWork/software_engineering_and_formal_methods> ;
    schema:name "Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings" ;
    schema:numberOfPages "419" ;
    schema:productID "953156312" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/953156312#PublicationEvent/2016> ;
    schema:url <http://www.springerlink.com/content/978-3-319-41591-8> ;
    schema:url <https://doi.org/10.1007/978-3-319-41591-8> ;
    schema:url <http://nbn-resolving.de/urn:nbn:de:1111-201606235906> ;
    schema:url <http://dx.doi.org/10.1007/978-3-319-41591-8> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-41591-8> ;
    schema:workExample <http://worldcat.org/isbn/9783319415918> ;
    schema:workExample <http://worldcat.org/isbn/9783319415901> ;
    umbel:isLike <http://d-nb.info/1104369524> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/953156312> ;
    .


Related Entities

<http://dx.doi.org/10.1007/978-3-319-41591-8>
    a schema:IndividualProduct ;
    rdfs:comment "URL des Erstveröffentlichers" ;
    .

<http://experiment.worldcat.org/entity/work/data/3698931807#Person/de_nicola_rocco> # Rocco De Nicola
    a schema:Person ;
    schema:familyName "De Nicola" ;
    schema:givenName "Rocco" ;
    schema:name "Rocco De Nicola" ;
    .

<http://experiment.worldcat.org/entity/work/data/3698931807#Person/kuhn_eva> # Eva Kühn
    a schema:Person ;
    schema:familyName "Kühn" ;
    schema:givenName "Eva" ;
    schema:name "Eva Kühn" ;
    .

<http://experiment.worldcat.org/entity/work/data/3698931807#Series/lecture_notes_in_computer_science> # Lecture notes in computer science
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/953156312> ; # Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
    schema:name "Lecture notes in computer science" ;
    schema:name "Lecture Notes in Computer Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/3698931807#Series/springerlink_bucher> # SpringerLink : Bücher
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/953156312> ; # Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
    schema:name "SpringerLink : Bücher" ;
    .

<http://experiment.worldcat.org/entity/work/data/3698931807#Topic/artificial_intelligence> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/3698931807#Topic/artificial_intelligence_incl_robotics> # Artificial Intelligence (incl. Robotics)
    a schema:Intangible ;
    schema:name "Artificial Intelligence (incl. Robotics)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3698931807#Topic/computer_programming> # Computer programming
    a schema:Intangible ;
    schema:name "Computer programming" ;
    .

<http://experiment.worldcat.org/entity/work/data/3698931807#Topic/computer_science> # Computer Science
    a schema:Intangible ;
    schema:name "Computer Science" ;
    schema:name "Computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/3698931807#Topic/logics_and_meanings_of_programs> # Logics and Meanings of Programs
    a schema:Intangible ;
    schema:name "Logics and Meanings of Programs" ;
    .

<http://experiment.worldcat.org/entity/work/data/3698931807#Topic/logischer_entwurf> # Logischer Entwurf
    a schema:Intangible ;
    schema:name "Logischer Entwurf" ;
    .

<http://experiment.worldcat.org/entity/work/data/3698931807#Topic/mathematical_logic> # Mathematical logic
    a schema:Intangible ;
    schema:name "Mathematical logic" ;
    .

<http://experiment.worldcat.org/entity/work/data/3698931807#Topic/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages
    a schema:Intangible ;
    schema:name "Mathematical Logic and Formal Languages" ;
    .

<http://experiment.worldcat.org/entity/work/data/3698931807#Topic/programmiersprache> # Programmiersprache
    a schema:Intangible ;
    schema:name "Programmiersprache" ;
    .

<http://experiment.worldcat.org/entity/work/data/3698931807#Topic/programming_languages_compilers_interpreters> # Programming Languages, Compilers, Interpreters
    a schema:Intangible ;
    schema:name "Programming Languages, Compilers, Interpreters" ;
    .

<http://experiment.worldcat.org/entity/work/data/3698931807#Topic/programming_languages_electronic_computers> # Programming languages (Electronic computers)
    a schema:Intangible ;
    schema:name "Programming languages (Electronic computers)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3698931807#Topic/programming_techniques> # Programming Techniques
    a schema:Intangible ;
    schema:name "Programming Techniques" ;
    .

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

<http://worldcat.org/entity/work/data/3698931807#CreativeWork/software_engineering_and_formal_methods>
    a schema:CreativeWork ;
    rdfs:label "Software Engineering and Formal Methods" ;
    schema:description "Erscheint auch als" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/953156312> ; # Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
    .

<http://worldcat.org/isbn/9783319415901>
    a schema:ProductModel ;
    schema:isbn "3319415905" ;
    schema:isbn "9783319415901" ;
    .

<http://worldcat.org/isbn/9783319415918>
    a schema:ProductModel ;
    schema:isbn "3319415913" ;
    schema:isbn "9783319415918" ;
    .

<http://www.worldcat.org/title/-/oclc/953156312>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/953156312> ; # Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
    schema:dateModified "2018-03-22" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<https://doi.org/10.1007/978-3-319-41591-8>
    rdfs:comment "URL des Erstveröffentlichers" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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