Programming and Software Engineering

Integrated Formal Methods

5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

Editors: Romijn, Judi M.T., Smith, Graeme P., van de Pol, Jaco C. (Eds.)

Free Preview

Buy this book

eBook $89.00
price for USA in USD
  • ISBN 978-3-540-32240-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Softcover $119.00
price for USA in USD

Table of contents (22 chapters)

Table of contents (22 chapters)
  • A Family of Mathematical Methods for Professional Software Documentation

    Pages 1-4

    Parnas, David Lorge

  • Generating Path Conditions for Timed Systems

    Pages 5-19

    Bensalem, Saddek (et al.)

  • Software Model Checking: Searching for Computations in the Abstract or the Concrete

    Pages 20-32

    Godefroid, Patrice (et al.)

  • Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study

    Pages 33-52

    Malik, Robi (et al.)

  • State/Event Software Verification for Branching-Time Specifications

    Pages 53-69

    Chaki, Sagar (et al.)

Buy this book

eBook $89.00
price for USA in USD
  • ISBN 978-3-540-32240-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Softcover $119.00
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Integrated Formal Methods
Book Subtitle
5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
Editors
  • Judi M.T. Romijn
  • Graeme P. Smith
  • Jaco C. van de Pol
Series Title
Programming and Software Engineering
Series Volume
3771
Copyright
2005
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-32240-5
DOI
10.1007/11589976
Softcover ISBN
978-3-540-30492-0
Edition Number
1
Number of Pages
XI, 407
Topics