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

این کتاب شامل مقالات منتخب اصلاح شده از کارگاه‌های آموزشی یازدهمین کنفرانس بین‌المللی مهندسی نرم‌افزار و روش‌های رسمی، SEFM 2013 است که در سپتامبر 2013 در مادرید، اسپانیا برگزار شد.

کنفرانس میزبان 5 کارگاه بود: دومین کارگاه بین المللی در مورد انواع رفتاری (BEAT2). هدف پیگیری موضوعات تحقیقاتی در استفاده از تئوری نوع رفتاری به عنوان مبنایی برای مبانی جدید، زبان های برنامه نویسی و روش های توسعه نرم افزار بود. برای سیستم های پراکنده ارتباط فشرده سومین کارگاه آموزشی روش های رسمی در توسعه نرم افزار (WS-FMDS). هدف گردآوری دانشمندان و متخصصان فعال در حوزه روش های رسمی و علاقه مند به تبادل تجربیات خود در استفاده صنعتی بود. از این روش ها کارگاه آموزشی روی مجموعه دانش روشهای رسمی برای سیستم های کنترل و ایمنی راه آهن (FM-RAIL-BOK). در بسیاری از حوزه های کاربردی مبتنی بر مهندسی مانند در حوزه راه آهن، روش های رسمی به سطحی رسیده اند. بلوغی که قبلاً امکان گردآوری به اصطلاح مجموعه ای از دانش را فراهم می کند. دومین سمپوزیوم بین المللی مدلسازی و مدیریت دانش برای توسعه پایدار (MoKMaSD). هدف گردآوری محققان و متخصصان دانشگاهی، صنعتی، دولتی و سازمان های غیردولتی برای ارائه نتایج تحقیقات و تبادل تجربیات بود. ، ایده ها و راه حل هایی برای مدل سازی و تجزیه و تحلیل سیستم های پیچیده. به ویژه در زمینه هایی از جمله اقتصاد، حکومت داری، بهداشت، زیست شناسی، محیط زیست، آب و هوا و کاهش فقر. هفتمین کارگاه بین المللی مبانی و تکنیک های صدور گواهینامه نرم افزار منبع باز (Open Cert). هدف گردآوری محققان از دانشگاه و صنعت علاقه مند به ارزیابی کیفیت پروژه های OSS و همچنین معیارها بود. ، رویه ها و ابزارهای مورد استفاده در جوامع OSS و برای اندازه گیری و ارزیابی کیفیت OSS.

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.