Fundamentals of Software Engineering

Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers

AvFarhad Arbab,Marjan Sirjani

Häftad, Engelska, 2010

Del i serien Lecture Notes in Computer Science

550 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

The present volume contains the proceedings of the Third IPM International Conference on Fundamentals of Software Engineering (FSEN), Kish, Iran, April 15–17, 2009.

Produktinformation

Utgivningsdatum:2010-01-27
Mått:155 x 235 x undefined mm
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:471
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783642116223

Utforska kategorier

Programvaruutveckling inom Data och IT

Innehållsförteckning

Session 1. Invited Papers.- A Process-Theoretic Look at Automata.- Verification, Performance Analysis and Controller Synthesis for Real-Time Systems.- rCOS: Theory and Tool for Component-Based Model Driven Development.- Session 2. Regular Papers.- Termination in Higher-Order Concurrent Calculi.- Typing Asymmetric Client-Server Interaction.- Equational Reasoning on Ad Hoc Networks.- Towards a Notion of Unsatisfiable Cores for LTL.- Rule Formats for Determinism and Idempotence.- The Complexity of Reachability in Randomized Sabotage Games.- Applying Step Coverability Trees to Communicating Component-Based Systems.- Program Logics for Sequential Higher-Order Control.- Modular Schedulability Analysis of Concurrent Objects in Creol.- A Timed Calculus for Wireless Systems.- Model Checking Linear Duration Invariants of Networks of Automata.- Automata Based Model Checking for Reo Connectors.- On the Expressiveness of Refinement Settings.- Bounded Rational Search for On-the-Fly Model Checking of LTL Properties.- Automated Translation and Analysis of a ToolBus Script for Auctions.- Executable Interface Specifications for Testing Asynchronous Creol Components.- Compositional Strategy Mapping.- A Sound Analysis for Secure Information Flow Using Abstract Memory Graphs.- Refinement Patterns for Hierarchical UML State Machines.- Specification and Validation of Behavioural Protocols in the rCOS Modeler.- The Interplay between Relationships, Roles and Objects.- A Coordination Model for Interactive Components.- Session 3. Short Papers.- Evolution Control in MDE Projects: Controlling Model and Code Co-evolution.- An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures.- A First Step towards Security Policy Compliance of Connectors.- A Safe Implementation of Dynamic Overloading in Java-Like Languages.- Fundamental Concepts for the Structuring of Functionality into Modular Parts.