| 书目名称 | Software Engineering and Formal Methods |
| 副标题 | SEFM 2013 Collocated |
| 编辑 | Steve Counsell,Manuel Núñez |
| 视频video | |
| 概述 | Includes supplementary material: |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | .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 (Mo |
| 出版日期 | Conference proceedings 2014 |
| 关键词 | FLOSS; OSS; Petri nets; behavioral type theory; complex systems; formal methods; knowledge management; logi |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-05032-4 |
| isbn_softcover | 978-3-319-05031-7 |
| isbn_ebook | 978-3-319-05032-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer International Publishing Switzerland 2014 |
发表于 2025-3-21 16:04:19
