Fundamentals of Software Engineering: Fourth International Ipm Conference, Fsen 2011, Tehran, Iran, April 20-22, 2011, Revised Selected P by Farhad ArbabFundamentals of Software Engineering: Fourth International Ipm Conference, Fsen 2011, Tehran, Iran, April 20-22, 2011, Revised Selected P by Farhad Arbab

Fundamentals of Software Engineering: Fourth International Ipm Conference, Fsen 2011, Tehran, Iran…

byFarhad ArbabEditorMarjan Sirjani

Paperback | April 5, 2012

Pricing and Purchase Info

$104.20 online 
$124.50 list price save 16%
Earn 521 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Fundamentals of Software Engineering: Fourth International Ipm Conference, Fsen 2011, Tehran, Iran…Format:PaperbackDimensions:377 pagesPublished:April 5, 2012Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642293190

ISBN - 13:9783642293191

Reviews

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