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

Programming and Software Engineering

Software Engineering and Formal Methods

SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Editors: Counsell, Steve, Núñez, Manuel (Eds.)

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-3-319-05032-4
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-319-05031-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the revised selected papers of the collocated workshops of the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013.

The conference hosted 5 workshops: The Second International Workshop on Behavioural Types (BEAT2). The aim was to pursue research topics in the use of behavioural type theory as the basis for new foundations, programming languages and software development methods for communication-intensive distributed systems. The Third Workshop on Formal Methods in the Development of Software (WS-FMDS). The aim was to bring together scientists and practitioners active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The Workshop on a Formal Methods Body of Knowledge for Railway Control and Safety Systems (FM-RAIL-BOK). In many engineering-based application areas such as in the railway domain, formal methods have reached a level of maturity that already enables the compilation of a so-called body of knowledge. The Second International Symposium on Modelling and Knowledge Management for Sustainable Development (MoKMaSD). The aim was to bring together researchers and practitioner from academia, industry, government and non-government organisations to present research results and exchange experience, ideas and solutions for modelling and analysing complex systems. In particular in areas including economy, governance, health, biology, ecology, climate and poverty reduction. The 7th International Workshop on Foundations and Techniques for Open Source Software Certification (Open Cert). The aim was to bring together researchers from Academia and Industry interested in the quality assessment of OSS projects, as well as the metrics, procedures and tools used in OSS communities and for the measurement and assessment of OSS quality.

Table of contents (30 chapters)

  • Towards Global and Local Types for Adaptation

    Bravetti, Mario (et al.)

    Pages 3-14

  • A Concurrent Programming Language with Refined Session Types

    Franco, Juliana (et al.)

    Pages 15-28

  • Behavioural Types Inspired by Cellular Thresholds

    Aman, Bogdan (et al.)

    Pages 29-43

  • Ensuring Faultless Communication Behaviour in A Commercial Cloud

    Horne, Ross (et al.)

    Pages 44-55

  • A Typing System for Privacy

    Kouzapas, Dimitrios (et al.)

    Pages 56-68

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-3-319-05032-4
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-319-05031-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Software Engineering and Formal Methods
Book Subtitle
SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Editors
  • Steve Counsell
  • Manuel Núñez
Series Title
Programming and Software Engineering
Series Volume
8368
Copyright
2014
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-05032-4
DOI
10.1007/978-3-319-05032-4
Softcover ISBN
978-3-319-05031-7
Edition Number
1
Number of Pages
XXV, 432
Number of Illustrations and Tables
150 b/w illustrations
Topics