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 - Lecture Notes in Computer Science 8368 (Paperback)
  • 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 - Lecture Notes in Computer Science 8368 (Paperback)
zoom

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 - Lecture Notes in Computer Science 8368 (Paperback)

(editor), (editor)
£74.99
Paperback 432 Pages / Published: 01/04/2014
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket

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.

Publisher: Springer International Publishing AG
ISBN: 9783319050317
Number of pages: 432
Weight: 700 g
Dimensions: 235 x 155 x 24 mm
Edition: 2014 ed.

You may also be interested in...

Coding for Beginners in easy steps
Added to basket
C++ For Dummies
Added to basket
£21.99
Paperback
Python Cookbook: No. 3
Added to basket
Clean Code
Added to basket
£36.99
Paperback
Python for Finance
Added to basket
£35.99
Paperback
Python in Easy Steps
Added to basket
User Story Mapping
Added to basket
£27.99
Paperback
SQL in Easy Steps
Added to basket
£10.99
Paperback
Code
Added to basket
£21.99
Paperback
Functional Programming in Scala
Added to basket
JavaScript Pocket Reference
Added to basket
Python Crash Course
Added to basket
£33.99
Paperback
The Bride of Science
Added to basket
C++ Pocket Reference
Added to basket
SQL in 10 Minutes, Sams Teach Yourself
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.