SoftwareEngineeringandFormalMethodsSEFM2013CollocatedWorkshops:BEAT2,WS-FMDS,FM-RAIL-Bok,MoKMaSD,andOpenCert,Madrid,Spain,September23-24,2013,RevisedSelectedPapers

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 (Springer) [電子書籍版]

9,363円(税込)

楽天Koboの始め方
初めての方へ 楽天Koboへようこそ

商品基本情報

  • 編集:   Steve Counsell, Manuel Núñez
  • レーベル:  Springer
  • 発売日:  2016年04月03日
  • 出版社:  Springer International Publishing
  • 商品番号:  9783319050324
  • 言語:  English

商品説明

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.

商品レビュー

楽天Koboのレビュー

まだレビューがありません。 レビューを書く

楽天ブックスランキング情報

  • 週間ランキング

    ランキング情報がありません。

  • 日別ランキング

    ランキング情報がありません。

楽天Kobo電子書籍版

  • 電子書籍のお得なクーポン・キャンペーン

  • 人気コミックや最新の雑誌など!今すぐ読める無料作品をご紹介♪人気コミックや最新の雑誌など!今すぐ読める無料作品をご紹介♪
  • もっと見る

最近チェックした商品

    ※表示を削除したい場合は閲覧履歴のページから削除お願いいたします

    ランキング:電子書籍

    ※1時間ごとに更新

    1. 1
      鬼滅の刃 20
      電子書籍鬼滅の刃 20

      吾峠呼世晴

      460円(税込)

    2. 2
      乙女ゲームの破滅フラグしかない悪役令嬢に転生してしまった…(5)【電子限定描き下ろしマンガ付】
      電子書籍乙女ゲームの破滅フラグしかない悪役令嬢…

      ひだかなみ

      550円(税込)

    3. 3
      恋と弾丸(5)
      電子書籍恋と弾丸(5)

      箕野希望

      462円(税込)

    4. 4
      SPY×FAMILY 4
      電子書籍SPY×FAMILY 4

      遠藤達哉

      502円(税込)

    5. 5
      その着せ替え人形は恋をする 5巻
      電子書籍その着せ替え人形は恋をする 5巻

      福田晋一

      660円(税込)

    購入データ自動連携!楽天ブックス公式 無料 読書管理パプリ Readee

    このページの先頭へ