Programming and Software Engineering

Software Engineering and Formal Methods

SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

Editors: Bianculli, Domenico, Calinescu, Radu, Rumpe, Bernhard (Eds.)

Free Preview

Buy this book

eBook $54.99
price for USA in USD
  • ISBN 978-3-662-49224-6
  • 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
About this book


This book constitutes revised selected papers from the workshopscollocated with the SEFM 2015 conference on Software Engineering andFormal Methods, held in York, UK, in September 2015.The 25 papers included in this volume were carefully reviewed and
selected from 32 submissions. The satellite workshops provided a highly interactive and collaborative environment for researchers and practitioners from industry and academia to discuss emerging areas of software engineering and formal methods.The four workshops were:

  •  ATSE 2015: The 6th Workshop on Automating Test Case Design, Selection and Evaluation;
  • HOFM 2015: The 2nd Human-Oriented Formal Methods Workshop;
  • MoKMaSD 2015: The 4th International Symposium on Modelling and Knowledge Management Applications: Systems and Domains;
  • VERY*SCART 2015: The 1st International Workshop on the Art of Service Composition and Formal Verification for Self-* Systems.

Table of contents (25 chapters)

Table of contents (25 chapters)
  • Learning-Based Testing of Distributed Microservice Architectures: Correctness and Fault Injection

    Pages 3-10

    Meinke, Karl (et al.)

  • The Synergy Between User Experience Design and Software Testing

    Pages 11-21

    Meer, A. P. (et al.)

  • Combining Time and Concurrency in Model-Based Statistical Testing of Embedded Real-Time Systems

    Pages 22-31

    Homm, Daniel (et al.)

  • Helping the Tester Get It Right: Towards Supporting Agile Combinatorial Test Design

    Pages 35-42

    Zamansky, Anna (et al.)

  • Behavioral Types for Component-Based Development of Cyber-Physical Systems

    Pages 43-52

    Blech, Jan Olaf (et al.)

Buy this book

eBook $54.99
price for USA in USD
  • ISBN 978-3-662-49224-6
  • 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
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Software Engineering and Formal Methods
Book Subtitle
SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Editors
  • Domenico Bianculli
  • Radu Calinescu
  • Bernhard Rumpe
Series Title
Programming and Software Engineering
Series Volume
9509
Copyright
2015
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-662-49224-6
DOI
10.1007/978-3-662-49224-6
Softcover ISBN
978-3-662-49223-9
Edition Number
1
Number of Pages
XXIX, 325
Number of Illustrations
88 illustrations in colour
Topics