Springer celebrates 175 years of publishing excellence! Join us >>

Programming and Software Engineering

Formal Methods and Software Engineering

16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

Editors: Merz, Stephan, Pang, Jun (Eds.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-319-11737-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $95.00
price for USA
  • ISBN 978-3-319-11736-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.

Table of contents (29 chapters)

  • Approximations for Stochastic Graph Rewriting

    Danos, Vincent (et al.)

    Pages 1-10

  • Computing Maximal Bisimulations

    Boulgakov, Alexandre (et al.)

    Pages 11-26

  • Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints

    Busard, Simon (et al.)

    Pages 27-42

  • A Formal Model for Natural-Language Timed Requirements of Reactive Systems

    Carvalho, Gustavo (et al.)

    Pages 43-58

  • A Hybrid Model of Connectors in Cyber-Physical Systems

    Chen, Xiaohong (et al.)

    Pages 59-74

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-319-11737-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $95.00
price for USA
  • ISBN 978-3-319-11736-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Methods and Software Engineering
Book Subtitle
16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Editors
  • Stephan Merz
  • Jun Pang
Series Title
Programming and Software Engineering
Series Volume
8829
Copyright
2014
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-11737-9
DOI
10.1007/978-3-319-11737-9
Softcover ISBN
978-3-319-11736-2
Edition Number
1
Number of Pages
XVIII, 460
Number of Illustrations and Tables
125 b/w illustrations
Topics