Fundamentals of Software Engineering : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers / edited by Farhad Arbab, Marjan Sirjani.

Format:

Book

Contributor:

Arbab, F. (Farhad), editor.

Sirjani, Marjan, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

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

Programming and Software Engineering ; 8161

Language:

English

Subjects (All):

Computer logic.

Software engineering.

Logics and Meanings of Programs.

Software Engineering.

Local Subjects:

Logics and Meanings of Programs.

Software Engineering.

Physical Description:

1 online resource (XIX, 283 pages) : 85 illustrations.

Edition:

First edition 2013.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.

System Details:

text file PDF

Summary:

This book constitutes the proceedings of the 5th IPM International Conference on Fundamentals of Software Engineering, FSEN 2013, held in Tehran, Iran, in April 2013. The 17 full papers presented in this volume were carefully reviewed and selected from 65 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques.

Contents:

Unbounded Allocation in Bounded Heaps

On the Complexity of Adding Convergence

Deadlock Checking by Data Race Detection

Delta Modeling and Model Checking of Product Families

Lending Petri Nets and Contracts

On Efficiency Preorders

Compiling Cooperative Task Management to Continuations

Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems

Efficient Operational Semantics for EB3 for Verification of Temporal Properties

Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair

Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks

A New Representation of Two-Dimensional Patterns and Applications to Interactive Programming

Push-Down Automata with Gap-Order Constraints

Model Checking MANETs with Arbitrary Mobility

Validating SCTP Simultaneous Open Procedure

Improving Time Bounded Reachability Computations in Interactive Markov Chains

Checking Compatibility of Web Services Behaviorally.

Other Format:

Printed edition:

ISBN:

978-3-642-40213-5

9783642402135

Access Restriction:

Restricted for use by site license.