Fundamentals of Software Engineering

1. Front Matter

   PDF

2. Session 1. Invited Papers

   1. A Process-Theoretic Look at Automata

      • J. C. M. Baeten, P. J. L. Cuijpers, B. Luttik, P. J. A. van Tilburg

      Pages 1-33

   2. Verification, Performance Analysis and Controller Synthesis for Real-Time Systems

      • Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane

      Pages 34-61

   3. rCOS: Theory and Tool for Component-Based Model Driven Development

      • Zhiming Liu, Charles Morisset, Volker Stolz

      Pages 62-80

3. Session 2. Regular Papers

   1. Termination in Higher-Order Concurrent Calculi

      • Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi

      Pages 81-96

   2. Typing Asymmetric Client-Server Interaction

      • Franco Barbanera, Sara Capecchi, Ugo de’Liguoro

      Pages 97-112

   3. Equational Reasoning on Ad Hoc Networks

      • Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar

      Pages 113-128

   4. Towards a Notion of Unsatisfiable Cores for LTL

      • Viktor Schuppan

      Pages 129-145

   5. Rule Formats for Determinism and Idempotence

      • Luca Aceto, Arnar Birgisson, Anna Ingolfsdottir, MohammadReza Mousavi, Michel A. Reniers

      Pages 146-161

   6. The Complexity of Reachability in Randomized Sabotage Games

      • Dominik Klein, Frank G. Radmacher, Wolfgang Thomas

      Pages 162-177

   7. Applying Step Coverability Trees to Communicating Component-Based Systems

      • Jetty Kleijn, Maciej Koutny

      Pages 178-193

   8. Program Logics for Sequential Higher-Order Control

      • Martin Berger

      Pages 194-211

   9. Modular Schedulability Analysis of Concurrent Objects in Creol

      • Frank de Boer, Tom Chothia, Mohammad Mahdi Jaghoori

      Pages 212-227

   10. A Timed Calculus for Wireless Systems

       • Massimo Merro, Eleonora Sibilio

       Pages 228-243

   11. Model Checking Linear Duration Invariants of Networks of Automata

       • Miaomiao Zhang, Zhiming Liu, Naijun Zhan

       Pages 244-259

   12. Automata Based Model Checking for Reo Connectors

       • Marcello M. Bonsangue, Mohammad Izadi

       Pages 260-275

   13. On the Expressiveness of Refinement Settings

       • Harald Fecher, David de Frutos-Escrig, Gerald Lüttgen, Heiko Schmidt

       Pages 276-291

   14. Bounded Rational Search for On-the-Fly Model Checking of LTL Properties

       • Razieh Behjati, Marjan Sirjani, Majid Nili Ahmadabadi

       Pages 292-307

   15. Automated Translation and Analysis of a ToolBus Script for Auctions

       • Wan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko

       Pages 308-323

   16. Executable Interface Specifications for Testing Asynchronous Creol Components

       • Immo Grabe, Marcel Kyas, Martin Steffen, Arild B. Torjusen

       Pages 324-339

The present volume contains the proceedings of the Third IPM International Conference on Fundamentals of Software Engineering (FSEN), Kish, Iran, April 15–17, 2009. FSEN 2009 was organized by the School of Computer Science at the Institute for Studies in Fundamental Sciences (IPM) in Iran, in cooperation with the ACM SIGSOFT and IFIP WG 2.2. This conference brought together around 100 researchers and practitioners working on di?erent aspects of formal methods in software engineering from 15 di?erentcountries.ThetopicsofinterestinFSENspanoverallaspects offormal methods,especiallythoserelatedtoadvancingtheapplicationofformalmethods in software industry and promoting their integration with practical engineering techniques. The Program Committee of FSEN 2009 consisted of top researchers from 24 di?erent academic institutes in 11 countries. We received a total of 88 submissions from 25 countries out of which the Program Committee selected 22 as regular papers, 5 as short papers, and 7 as poster presentations in the conferenceprogram.Eachsubmissionwasreviewedbyatleastthreeindependent referees, for its quality, originality, contribution, clarity of presentation, and its relevance to the conference topics. This volume contains the revised versions of the regular and short papers presented at FSEN 2009. Three distinguished keynote speakers delivered their lectures at FSEN 2009 on models of computation: automata and processes (Jos Baeten), veri?cation, performanceanalysisandcontrollersynthesisforreal-timesystems(KimLarsen), and theory and tool for component-based model-driven development in rCOS (Zhiming Liu). Our invited speakers also contributed to this volume by s- mitting their keynote papers, which were accepted after they were reviewed by independent referees.

• Software Engineering
• abstract interpretation
• ad hoc network algebra
• approximation
• client/server interaction
• complexity
• compliance
• components
• composition of models
• concurrent systems
• coordination models
• deployment management
• software architecture
• validation
• verification

• Center for Mathematics and Computer Science (CWI), Science Park 123, Amsterdam, The Netherlands

  Farhad Arbab

• Reykjavik University, School of Computer Science, Reykjavik, Iceland

  Marjan Sirjani

Policies and ethics