Shop the Archives and get your next eBook for just 14.99! Stock up today >>

Theoretical Computer Science and General Issues

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.)

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-3-319-92970-5
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • Customers within the U.S. and Canada please contact Customer Service at 1-800-777-4643, Latin America please contact us at +1-212-460-1500 (Weekdays 8:30am – 5:30pm ET) to place your order.
  • Due: July 7, 2018
  • ISBN 978-3-319-92969-9
  • Free shipping for individuals worldwide
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)

  • We Need a Testability Transformation Semantics

    Harman, Mark

    Pages 3-17

  • From Software Specifications to Constraint Programming

    Hallerstede, Stefan (et al.)

    Pages 21-36

  • Automated Specification Extraction and Analysis with Specstractor

    Schulze, Christoph (et al.)

    Pages 37-53

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

    Golra, Fahad Rafique (et al.)

    Pages 54-69

  • Program Verification for Exception Handling on Active Objects Using Futures

    Din, Crystal Chang (et al.)

    Pages 73-88

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-3-319-92970-5
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • Customers within the U.S. and Canada please contact Customer Service at 1-800-777-4643, Latin America please contact us at +1-212-460-1500 (Weekdays 8:30am – 5:30pm ET) to place your order.
  • Due: July 7, 2018
  • ISBN 978-3-319-92969-9
  • Free shipping for individuals worldwide
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 and Tables
98 b/w illustrations
Topics