Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

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 lectur...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Arbab, Farhad (Editor ), Sirjani, Marjan (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Colección:Programming and Software Engineering, 5961
Temas:
Software engineering.
Computer science.
Computer programming.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Programming Techniques.
Models of Computation.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares