Theoretical Computer Science and General Issues Formal Methods

Software Engineering and Formal Methods

16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

Editors: Johnsen, Einar Broch, Schaefer, Ina (Eds.)

Free Preview

Buy this book

eBook $54.99
price for USA in USD
  • ISBN 978-3-319-92970-5
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Softcover $69.99
price for USA in USD
About this book

This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.
The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse.

Table of contents (18 chapters)

Table of contents (18 chapters)
  • We Need a Testability Transformation Semantics

    Pages 3-17

    Harman, Mark

  • From Software Specifications to Constraint Programming

    Pages 21-36

    Hallerstede, Stefan (et al.)

  • Automated Specification Extraction and Analysis with Specstractor

    Pages 37-53

    Schulze, Christoph (et al.)

  • Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation

    Pages 54-69

    Golra, Fahad Rafique (et al.)

  • Program Verification for Exception Handling on Active Objects Using Futures

    Pages 73-88

    Din, Crystal Chang (et al.)

Buy this book

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

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Software Engineering and Formal Methods
Book Subtitle
16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
Editors
  • Einar Broch Johnsen
  • Ina Schaefer
Series Title
Theoretical Computer Science and General Issues
Series Volume
10886
Copyright
2018
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing AG, part of Springer Nature
eBook ISBN
978-3-319-92970-5
DOI
10.1007/978-3-319-92970-5
Softcover ISBN
978-3-319-92969-9
Edition Number
1
Number of Pages
XIV, 303
Number of Illustrations
98 b/w illustrations
Topics