This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Fundamentals of Software Engineering, FSEN 2009, held in Kish Island, Iran, in April 2009.
The 22 revised full papers and 5 revised short papers presented together with 3 invited lectures were carefully reviewed and selected from 88 submissions. The topics include models of programs and systems, software specification, validation and verification, software architectures and their description languages, object and multi-agent systems, coordination and feature interaction, integration of formal and informal methods, integration of different formal methods, component-based development, service-oriented development, model checking and theorem proving, software and hardware verification and CASE tools and tool integration.
Author(s): J. C. M. Baeten, P. J. L. Cuijpers, B. Luttik, P. J. A. van Tilburg (auth.), Farhad Arbab, Marjan Sirjani (eds.)
Series: Lecture Notes in Computer Science 5961 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2010
Language: English
Pages: 471
Tags: Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Programming Techniques; Models and Principles
Front Matter....Pages -
A Process-Theoretic Look at Automata....Pages 1-33
Verification, Performance Analysis and Controller Synthesis for Real-Time Systems....Pages 34-61
rCOS: Theory and Tool for Component-Based Model Driven Development....Pages 62-80
Termination in Higher-Order Concurrent Calculi....Pages 81-96
Typing Asymmetric Client-Server Interaction....Pages 97-112
Equational Reasoning on Ad Hoc Networks....Pages 113-128
Towards a Notion of Unsatisfiable Cores for LTL....Pages 129-145
Rule Formats for Determinism and Idempotence....Pages 146-161
The Complexity of Reachability in Randomized Sabotage Games....Pages 162-177
Applying Step Coverability Trees to Communicating Component-Based Systems....Pages 178-193
Program Logics for Sequential Higher-Order Control....Pages 194-211
Modular Schedulability Analysis of Concurrent Objects in Creol....Pages 212-227
A Timed Calculus for Wireless Systems....Pages 228-243
Model Checking Linear Duration Invariants of Networks of Automata....Pages 244-259
Automata Based Model Checking for Reo Connectors....Pages 260-275
On the Expressiveness of Refinement Settings....Pages 276-291
Bounded Rational Search for On-the-Fly Model Checking of LTL Properties....Pages 292-307
Automated Translation and Analysis of a ToolBus Script for Auctions....Pages 308-323
Executable Interface Specifications for Testing Asynchronous Creol Components....Pages 324-339
Compositional Strategy Mapping....Pages 340-354
A Sound Analysis for Secure Information Flow Using Abstract Memory Graphs....Pages 355-370
Refinement Patterns for Hierarchical UML State Machines....Pages 371-386
Specification and Validation of Behavioural Protocols in the rCOS Modeler....Pages 387-401
The Interplay between Relationships, Roles and Objects....Pages 402-415
A Coordination Model for Interactive Components....Pages 416-430
Evolution Control in MDE Projects: Controlling Model and Code Co-evolution....Pages 431-438
An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures....Pages 439-446
A First Step towards Security Policy Compliance of Connectors....Pages 447-454
A Safe Implementation of Dynamic Overloading in Java-Like Languages....Pages 455-462
Fundamental Concepts for the Structuring of Functionality into Modular Parts....Pages 463-470
Back Matter....Pages -
