Fundamentals of Software Engineering

1. Front Matter

   PDF

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

   • Joost-Pieter Katoen

   Pages 1-14

3. Proposition Algebra and Short-Circuit Logic

   • Jan A. Bergstra, Alban Ponse

   Pages 15-31

4. Decompositional Reasoning about the History of Parallel Processes

   • Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, MohammadReza Mousavi

   Pages 32-47

5. A Model-Based Development Approach for Model Transformations

   • Shekoufeh Kolahdouz-Rahimi, Kevin Lano

   Pages 48-63

6. Analyzing Component-Based Systems on the Basis of Architectural Constraints

   • Christian Lambertz, Mila Majster-Cederbaum

   Pages 64-79

7. Constructive Development of Probabilistic Programs

   • Hassan Haghighi, Mohammad Mahdi Javanmard

   Pages 80-95

8. Composing Real-Time Concurrent Objects Refinement, Compatibility and Schedulability

   • Mohammad Mahdi Jaghoori

   Pages 96-111

9. Specification Guidelines to Avoid the State Space Explosion Problem

   • Jan Friso Groote, Tim W. D. M. Kouters, Ammar Osaiweran

   Pages 112-127

10. Strong Normalisation in λ-Calculi with References

    • Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi

    Pages 128-142

11. Compositional Reasoning for Markov Decision Processes

    • Yuxin Deng, Matthew Hennessy

    Pages 143-157

12. Safe Locking for Multi-threaded Java

    • Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen

    Pages 158-173

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

    • Yi-Ling Hwong, Vincent J. J. Kusters, Tim A. C. Willemse

    Pages 174-189

14. A Distributed Logic for Networked Cyber-Physical Systems

    • Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott

    Pages 190-205

15. Reachability Analysis of Non-linear Planar Autonomous Systems

    • Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen

    Pages 206-220

16. Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs

    • Qiusong Yang, Bei Zhang, Jian Zhai, Mingshu Li

    Pages 221-235

17. Refinement-Based Modeling of 3D NoCs

    • Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab

    Pages 236-252

18. Towards Model-Based Testing of Electronic Funds Transfer Systems

    • Hamid Reza Asaadi, Ramtin Khosravi, MohammadReza Mousavi, Neda Noroozi

    Pages 253-267

19. Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations

    • Luca Aceto, Ignacio Fábregas, David de Frutos Escrig, Anna Ingólfsdóttir, Miguel Palomino

    Pages 268-283

20. Decidability of Behavioral Equivalences in Process Calculi with Name Scoping

    • Chaodong He, Yuxi Fu, Hongfei Fu

    Pages 284-298

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.

• distributed declarative logic
• formal program development
• model checking
• probabilistic specification
• type theory

• Centre for Mathematics and Computer Science (CWI), Amsterdam, The Netherlands

  Farhad Arbab

• Reykjavik University, Reykjavik, Iceland

  Marjan Sirjani

Policies and ethics