{"product_id":"9783319050317","title":"Lecture Notes in Computer Science: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers","description":"\u003ch1\u003eLecture Notes in Computer Science: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers\u003c\/h1\u003e \u003ch2\u003eCounsell, Steve; Núñez, Manuel\u003c\/h2\u003e \u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis 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.\u003c\/p\u003e\u003cp\u003eThe conference hosted 5 workshops: The \u003ci\u003eSecond International Workshop on Behavioural Types (BEAT2).\u003c\/i\u003e 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 \u003ci\u003eThird Workshop on Formal Methods in the Development of Software (WS-FMDS).\u003c\/i\u003e 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 \u003ci\u003eWorkshop on a Formal Methods Body of Knowledge for Railway Control and Safety Systems (FM-RAIL-BOK).\u003c\/i\u003e 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 \u003ci\u003eSecond International Symposium on Modelling and Knowledge Management for Sustainable Development (MoKMaSD).\u003c\/i\u003e 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 \u003ci\u003e7th International Workshop on Foundations and Techniques for Open Source Software Certification (Open Cert).\u003c\/i\u003e 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.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2014-04-01\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783319050317\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-319-05032-4\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 432\u003c\/p\u003e ","brand":"Springer International Publishing","offers":[{"title":"Default Title","offer_id":45373724393612,"sku":"9783319050317","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783319050317.jpg?v=1774011857","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783319050317","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}