Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8368)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: SEFM 2013.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (30 papers)
-
Front Matter
-
BEAT 2
-
Front Matter
-
-
WS-FMDS 2013
-
Front Matter
-
Other volumes
-
Software Engineering and Formal Methods
-
Software Engineering and Formal Methods
Keywords
- FLOSS
- OSS
- Petri nets
- behavioral type theory
- complex systems
- formal methods
- knowledge management
- logic and verification
- open source software
- program constructs
- programming languages
- railways
- software creation and management
- software development methods
- software extra-functional properties
- software organization and properties
- software system structures
- software verification and validation
- sustainability
- sustainable development
- type structures
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.
Editors and Affiliations
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: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-05032-4
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2014
Softcover ISBN: 978-3-319-05031-7Published: 01 April 2014
eBook ISBN: 978-3-319-05032-4Published: 08 July 2014
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXV, 432
Number of Illustrations: 150 b/w illustrations
Topics: Logics and Meanings of Programs, Software Engineering, Programming Languages, Compilers, Interpreters