Book Volume 7141 2012

Fundamentals of Software Engineering

4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

Editors:

ISBN: 978-3-642-29319-1 (Print) 978-3-642-29320-7 (Online)

Table of contents (26 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. No Access

    Chapter

    Pages 1-14

    Model Checking: One Can Do Much More Than You Think!

  3. No Access

    Chapter

    Pages 15-31

    Proposition Algebra and Short-Circuit Logic

  4. No Access

    Chapter

    Pages 32-47

    Decompositional Reasoning about the History of Parallel Processes

  5. No Access

    Chapter

    Pages 48-63

    A Model-Based Development Approach for Model Transformations

  6. No Access

    Chapter

    Pages 64-79

    Analyzing Component-Based Systems on the Basis of Architectural Constraints

  7. No Access

    Chapter

    Pages 80-95

    Constructive Development of Probabilistic Programs

  8. No Access

    Chapter

    Pages 96-111

    Composing Real-Time Concurrent Objects Refinement, Compatibility and Schedulability

  9. No Access

    Chapter

    Pages 112-127

    Specification Guidelines to Avoid the State Space Explosion Problem

  10. No Access

    Chapter

    Pages 128-142

    Strong Normalisation in λ-Calculi with References

  11. No Access

    Chapter

    Pages 143-157

    Compositional Reasoning for Markov Decision Processes

  12. No Access

    Chapter

    Pages 158-173

    Safe Locking for Multi-threaded Java

  13. No Access

    Chapter

    Pages 174-189

    Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider

  14. No Access

    Chapter

    Pages 190-205

    A Distributed Logic for Networked Cyber-Physical Systems

  15. No Access

    Chapter

    Pages 206-220

    Reachability Analysis of Non-linear Planar Autonomous Systems

  16. No Access

    Chapter

    Pages 221-235

    Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs

  17. No Access

    Chapter

    Pages 236-252

    Refinement-Based Modeling of 3D NoCs

  18. No Access

    Chapter

    Pages 253-267

    Towards Model-Based Testing of Electronic Funds Transfer Systems

  19. No Access

    Chapter

    Pages 268-283

    Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations

  20. No Access

    Chapter

    Pages 284-298

    Decidability of Behavioral Equivalences in Process Calculi with Name Scoping

  21. No Access

    Chapter

    Pages 299-315

    Rewriting Approximations for Properties Verification over CCS Specifications

previous Page of 2