Communications in Computer and Information Science

Leveraging Applications of Formal Methods, Verification and Validation

Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings

Editors: Margaria, Tiziana, Steffen, Bernhard (Eds.)

Buy this book

eBook $169.00
price for USA in USD (gross)
  • ISBN 978-3-540-88479-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $219.00
price for USA in USD
  • ISBN 978-3-540-88478-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the thoroughly refereed proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Porto Sani, Greece, in October 2008

The 68  revised full papers presented together with 2 invited talks and 1 keynote speech were carefully selected from numerous submissions. The topics covered are tools and applications in industrial software quality control; an introduction of multi-core systems in automotive applications; model-driven SOA; applications of formal approaches to service-oriented computing; trustworthy computing: theories, methods, tools and experience in China and South East Asia; non-functional requirements in embedded systems; processes, methods and tools for developing educational modules to support teaching and technology transfer; ubiquitous and context aware systems; formal methods for analysing and verifying very large systems; tools for service-oriented discovery of knowledge; tackling the challenges of software development process for SMEs with rigorous support and open source.

Table of contents (49 chapters)

  • Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress)

    Broy, Manfred

    Pages 1-13

  • Information System Engineering Supporting Observation, Orientation, Decision, and Compliant Action

    Georgakopoulos, Dimitrios

    Pages 14-14

  • Modelling Coordination and Compensation

    Jifeng, He

    Pages 15-36

  • Animating Event B Models by Formal Data Models

    Ait-Sadoune, Idir (et al.)

    Pages 37-55

  • Automated Formal Testing of C API Using T2C Framework

    Khoroshilov, Alexey V. (et al.)

    Pages 56-70

Buy this book

eBook $169.00
price for USA in USD (gross)
  • ISBN 978-3-540-88479-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $219.00
price for USA in USD
  • ISBN 978-3-540-88478-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Leveraging Applications of Formal Methods, Verification and Validation
Book Subtitle
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings
Editors
  • Tiziana Margaria
  • Bernhard Steffen
Series Title
Communications in Computer and Information Science
Series Volume
17
Copyright
2008
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-88479-8
DOI
10.1007/978-3-540-88479-8
Softcover ISBN
978-3-540-88478-1
Series ISSN
1865-0929
Edition Number
1
Number of Pages
XIV, 869
Topics