Skip to main content
  • Conference proceedings
  • © 2007

International Symposium on Fundamentals of Software Engineering

International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4767)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): FSEN: International Conference on Fundamentals of Software Engineering

Conference proceedings info: FSEN 2007.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (32 papers)

  1. Front Matter

  2. Slicing Abstractions

    • Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim
    Pages 17-32
  3. Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme

    • M. Torabi Dashti, S. Krishnan Nair, H. L. Jonker
    Pages 33-48
  4. Is Your Security Protocol on Time ?

    • Gizela Jakubowska, Wojciech Penczek
    Pages 65-80
  5. Adapting the UPPAAL Model of a Distributed Lift System

    • Wan Fokkink, Allard Kakebeen, Jun Pang
    Pages 81-97
  6. Zone-Based Universality Analysis for Single-Clock Timed Automata

    • Parosh Aziz Abdulla, Joël Ouaknine, Karin Quaas, James Worrell
    Pages 98-112
  7. Compositional Semantics of System-Level Designs Written in SystemC

    • Niloofar Razavi, Marjan Sirjani
    Pages 113-128
  8. Reusing Requirements: The Need for Extended Variability Models

    • Ramin Tavakoli Kolagari, Mark-Oliver Reiser
    Pages 129-143
  9. Test Selection Criteria for Quantifier-Free First-Order Specifications

    • Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet
    Pages 144-159
  10. Formal Testing of Systems Presenting Soft and Hard Deadlines

    • Mercedes G. Merayo, Manuel Núñez, Ismael Rodriguez
    Pages 160-174
  11. Automatic Composition of Stateless Components: A Logical Reasoning Approach

    • Seyyed Vahid Hashemian, Farhad Mavaddat
    Pages 175-190
  12. A Model of Component-Based Programming

    • Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan
    Pages 191-206
  13. Contract Based Multi-party Service Composition

    • Mario Bravetti, Gianluigi Zavattaro
    Pages 207-222
  14. Regulating Data Exchange in Service Oriented Applications

    • Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
    Pages 223-239
  15. A Behavioural Congruence for Web Services

    • Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci
    Pages 240-256
  16. Logic–Based Detection of Conflicts in Appel Policies

    • Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini
    Pages 257-271
  17. Hoare Logic for ARM Machine Code

    • Magnus O. Myreen, Anthony C. J. Fox, Michael J. C. Gordon
    Pages 272-286
  18. Action Abstraction in Timed Process Algebra

    • Michel A. Reniers, Muck van Weerdenburg
    Pages 287-301

Other Volumes

  1. International Symposium on Fundamentals of Software Engineering

About this book

The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering (FSEN), Tehran, Iran, April 17–19, 2007. This event, FSEN 2007, 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, and was additionally supported by the University of Tehran, Sharif University of Te- nology,andtheInternationalScienti?cMeetingsO?ce(ISMO).Thissymposium brought together researchers and practitioners working on di?erent aspects of formal methods in software engineering. FSEN 2007 covered many aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integrationwith practical engineering techniques. A truly international programcommittee of top researchersfrom 23 di?erent academic institutes in 9 countries selected the technical content of this sym- sium. We received a total of 73 submissions, out of which the PC selected 22 as regular papers and 8 as short papers to be published in the post-proceedings, and 6 papers accepted for poster presentations at the symposium. Each subm- sion was reviewed by at least 3 independent referees, for its quality, originality, contribution, clarity of presentation, and its relevance to the symposium topics. We had 93 registered participants at the symposium from 12 countries.

Keywords

  • CASE
  • formal method
  • model checking
  • software architecture
  • software engineering
  • theorem proving
  • validation
  • verification

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions