International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering (FSEN), Tehran, Iran, April 17-19, 2007. This event, FSEN 2007, was organized by the School of Computer Science at the Institute for Studies in Fundamental Sciences (IPM...

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, 2007.
Edición:1st ed. 2007.
Colección:Programming and Software Engineering, 4767
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:
  • Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic
  • Slicing Abstractions
  • Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme
  • Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata
  • Is Your Security Protocol on Time ?
  • Adapting the UPPAAL Model of a Distributed Lift System
  • Zone-Based Universality Analysis for Single-Clock Timed Automata
  • Compositional Semantics of System-Level Designs Written in SystemC
  • Reusing Requirements: The Need for Extended Variability Models
  • Test Selection Criteria for Quantifier-Free First-Order Specifications
  • Formal Testing of Systems Presenting Soft and Hard Deadlines
  • Automatic Composition of Stateless Components: A Logical Reasoning Approach
  • A Model of Component-Based Programming
  • Contract Based Multi-party Service Composition
  • Regulating Data Exchange in Service Oriented Applications
  • A Behavioural Congruence for Web Services
  • Logic-Based Detection of Conflicts in Appel Policies
  • Hoare Logic for ARM Machine Code
  • Action Abstraction in Timed Process Algebra
  • Type Abstractions of Name-Passing Processes
  • Formal Specification of Multi-agent Systems by Using EUSMs
  • Strong Safe Realizability of Message Sequence Chart Specifications
  • Implication-Based Approximating Bounded Model Checking
  • Logical Bisimulations and Functional Languages
  • Efficient State Space Reduction for Automata by Fair Simulation
  • Model Checking Temporal Metric Specifications with Trio2Promela
  • Design and Implementation of a Dynamic-Reconfigurable Architecture for Protocol Stack
  • Vulnerability Analysis in VGBPS Using Prolog
  • An Alternative Algorithm for Constraint Automata Product
  • A Review on Specifying Software Architectures Using Extended Automata-Based Models
  • ArchC#: A New Architecture Description Language for Distributed Systems
  • Relationships Meet Their Roles in Object Oriented Programming.

Ejemplares similares