Software Engineering and Formal Methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / edited by Radu Calinescu, Bernhard Rumpe.

Format:

Book

Contributor:

Calinescu, Radu, editor.

Rumpe, Bernhard, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Programming and software engineering ; SL 2, 9276.

Programming and Software Engineering ; 9276

Language:

English

Subjects (All):

Software engineering.

Computer logic.

Programming languages (Electronic computers).

Logic, Symbolic and mathematical.

Computer networks.

Computer programming.

Software Engineering.

Logics and Meanings of Programs.

Programming Languages, Compilers, Interpreters.

Mathematical Logic and Formal Languages.

Computer Communication Networks.

Programming Techniques.

Local Subjects:

Software Engineering.

Logics and Meanings of Programs.

Programming Languages, Compilers, Interpreters.

Mathematical Logic and Formal Languages.

Computer Communication Networks.

Programming Techniques.

Physical Description:

1 online resource (XI, 369 pages) : 84 illustrations.

Edition:

First edition 2015.

Contained In:

Springer eBooks

Place of Publication:

Cham : Springer International Publishing : Imprint: Springer, 2015.

System Details:

text file PDF

Summary:

This book constitutes the refereed proceedings of the 12th 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. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.

Contents:

Invited Papers

Reasoning about Separation using Abstraction and Reification

An Interface Theory for the Internet of Things

Program Verification

Learning Assertions to Verify Linked-List Programs

Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications

Specification and Verification of Atomic Operations in GPGPU Programs

History-based Verification of Functional Behaviour of Concurrent Programs

Investigating Instrumentation Techniques for ESB Runtime Verification

Towards Domain Refinement for UML/OCL Bounded Verification

Testing

Efficient Testing of Different Loop Paths

Model-Based Robustness Testing in Event-B using Mutation

On the Testability of Properties Patterns

Certification

Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning

Formal Analysis of Proactive, Distributed Routing

Certification of Distributed Algorithms Solving Problems with Optimal Substructure

Formal Specification and Proof

From Failure to Proof: The ProB Disprover for B and Event-B

Formalizing a Secure Foreign Function Interface

A Formal Study of Backward Compatible Dynamic Software Updates

Testing and Model Checking

Memory Management Test-Case Generation of C Programs using Bounded Model Checking

Techniques for Memory-Efficient Model Checking of C and C++ Code

NAT2TEST Tool: from Natural Language Requirements to Test Cases based on CSP

Planning

Task Planning of Cyber-Human Systems

Generating None-Plans in Order to Find Plans

Modelling and Model Transformation Twitlang(er): interactions modeling language (and interpreter) for Twitter

From Featured Transition Systems to Modal Transition Systems with Variability Constraints

An extensible operational semantics for UML activity diagrams.

Other Format:

Printed edition:

ISBN:

978-3-319-22969-0

9783319229690

Access Restriction:

Restricted for use by site license.