Overview

This book constitutes the thoroughly refereed post-conference proceedings of the Fourth International Conference on Fundamentals of Software Engineering, FSEN 2011, held in Tehran, Iran, in April 2011. The 19 revised full papers and 5 revised short papers presented together with 3 poster presentations were carefully reviewed and selected from 64 submissions. The papers are organized in topical section on models of programs and systems, software specification, validation and verification, software architectures and their description languages, object and multi-agent systems, CASE tools and tool integration, model checking and theorem proving, and Integration of different formal methods.

Full Product Details

Author:   Farhad Arbab ,  Marjan Sirjani
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   2012 ed.
Volume:   7141
Dimensions:   Width: 15.50cm , Height: 2.00cm , Length: 23.50cm
Weight:   0.599kg
ISBN:  

9783642293191

ISBN 10:   3642293190
Pages:   377
Publication Date:   05 April 2012
Audience:   College/higher education ,  Postgraduate, Research & Scholarly
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Model Checking: One Can Do Much More Than You Think!.-Proposition Algebra and Short-Circuit Logic.-Decompositional Reasoning about the History of Parallel Processes.-A Model-Based Development Approach for Model Transformations.-Analyzing Component-Based Systems on the Basis of Architectural Constraints.-Constructive Development of Probabilistic Programs.-Composing Real-Time Concurrent Objects: Refinement, Compatibility and Schedulability.-Specification Guidelines to Avoid the State Space Explosion Problem.-Strong Normalisation in λ-Calculi with References.-Compositional Reasoning for Markov Decision Processes (Extended Abstract).-Safe Locking for Multi-threaded Java.-Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider.-A Distributed Logic for Networked Cyber-Physical Systems.-Reachability Analysis of Non-linear Planar Autonomous Systems.-Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs.-Refinement-Based Modeling of 3D NoCs.-Towards Model-Based Testing of Electronic Funds Transfer Systems.-Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations.-Decidability of Behavioral Equivalences in Process Calculi with Name Scoping.-Rewriting Approximations for Properties Verification over CCS Specifications.-Type Checking Cryptography Implementations.-Intentional Automata: A Context-Dependent Model for Component Connectors (Extended Abstract).-Nested Dynamic Condition Response Graphs.-Efficient Verification of Evolving Software Product Lines.-Extending Interface Automata with Z Notation.-A Specification Language for Reo Connectors.-

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions