Save 50% on Print Books, eBooks & Journals in Medicine! Browse now >>

Programming and Software Engineering

Fundamentals of Software Engineering

Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers

Editors: Arbab, Farhad, Sirjani, Marjan (Eds.)

Buy this book

eBook $99.00
price for USA
  • ISBN 978-3-642-11623-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-642-11622-3
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
About this book

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Fundamentals of Software Engineering, FSEN 2009, held in Kish Island, Iran, in April 2009.

The 22 revised full papers and 5 revised short papers presented together with 3 invited lectures were carefully reviewed and selected from 88 submissions. The topics include models of programs and systems, software specification, validation and verification, software architectures and their description languages, object and multi-agent systems, coordination and feature interaction, integration of formal and informal methods, integration of different formal methods, component-based development, service-oriented development, model checking and theorem proving, software and hardware verification and CASE tools and tool integration.

Table of contents (30 chapters)

  • A Process-Theoretic Look at Automata

    Baeten, J. C. M. (et al.)

    Pages 1-33

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

    Fahrenberg, Uli (et al.)

    Pages 34-61

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

    Liu, Zhiming (et al.)

    Pages 62-80

  • Termination in Higher-Order Concurrent Calculi

    Demangeon, Romain (et al.)

    Pages 81-96

  • Typing Asymmetric Client-Server Interaction

    Barbanera, Franco (et al.)

    Pages 97-112

Buy this book

eBook $99.00
price for USA
  • ISBN 978-3-642-11623-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-642-11622-3
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Fundamentals of Software Engineering
Book Subtitle
Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
Editors
  • Farhad Arbab
  • Marjan Sirjani
Series Title
Programming and Software Engineering
Series Volume
5961
Copyright
2010
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-11623-0
DOI
10.1007/978-3-642-11623-0
Softcover ISBN
978-3-642-11622-3
Edition Number
1
Number of Pages
XIII, 471
Topics