Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers (Lecture Notes in Computer Science Book 8161)

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. Front Matter....Pages I-XIX Unbounded Allocation in Bounded Heaps....Pages 1-16 On the Complexity of Adding Convergence....Pages 17-33 Deadlock Checking by Data Race Detection....Pages 34-50 Delta Modeling and Model Checking of Product Families....Pages 51-65 Lending Petri Nets and Contracts....Pages 66-82 On Efficiency Preorders....Pages 83-94 Compiling Cooperative Task Management to Continuations....Pages 95-110 Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems....Pages 111-132 Efficient Operational Semantics for $$ EB ^3$$ for Verification of Temporal Properties....Pages 133-149 Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair....Pages 150-167 Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks....Pages 168-182 A New Representation of Two-Dimensional Patterns and Applications to Interactive Programming....Pages 183-198 Push-Down Automata with Gap-Order Constraints....Pages 199-216 Model Checking MANETs with Arbitrary Mobility....Pages 217-232 Validating SCTP Simultaneous Open Procedure....Pages 233-249 Improving Time Bounded Reachability Computations in Interactive Markov Chains....Pages 250-266 Checking Compatibility of Web Services Behaviorally....Pages 267-282 Back Matter....Pages 283-283