Del i serien Lecture Notes in Computer Science

Fundamentals of Software Engineering

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

Häftad, Engelska, 2010

719 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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

Utgivningsdatum2010-01-27
Mått155 x 235 x undefined mm
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor471
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783642116223

Tillhör följande kategorier

Programvaruutveckling inom Data och IT

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.