PRINCIPIA
ProductsDocumentationsAbout Us

並行システムの設計 トレーニングプログラム

並行システムのモデル化・検査ツール SyncStitch を使った並行システムの設計 トレーニングプログラムを提供しています.詳細についてはこちらのページをご覧ください.

現在,トレーニング資料を全公開しています.トレーニングプログラム受講の判断材料としてご活用ください.

SyncStitch: 並行システムのモデル化・検査ツール

SyncStitch はソフトウェアシステムの動作に関する設計を支援するツールです.SyncStitch を使うと、開発の対象であるシステムやその構成要素であるコンポーネントの動作をモデル化し、期待通りに動くかどうか検査することができます.

詳細についてはこちらのページをご覧ください.

News

2016/11/26 並行システムの理論 CSP における重要な定理の1つである,トレースに基づく表示的意味論と操作的意味論の等価性について,定理証明支援器 Isabelle/HOL を使って形式的証明を行うことに成功しました.この証明について 2016年11月26日に東洋大学で行われた第18回 CSP 研究会において報告しました.証明の概要はこちらにあります.
2016/11/19 2016年11月19日に永和システムマネジメント様のコワーキングスペースで行われた静的コード解析の会 第0回において,「並行システムの理論 CSP の紹介」 というタイトルで話をさせていただきました.資料はこちらにあります.
2015/11/22 2015年11月21日に東洋大学で行われた第16回 CSP 研究会において,"A Reduced Modeling Language and Its Processing for Efficient CSP Refinement Checking" というタイトルで話をさせていただきました.資料はこちらにあります.
2015/10/10 並行システムの設計 トレーニングプログラムの提供を開始いたしました.詳細につきましてはこちらのページをご覧ください.
2015/9/30 Lisp Meet Up presented by Shibuya.lisp #32 において,SyncStitch の実装で使われている並行プログラミング言語と,それで記述した並行ウィンドウシステムについて紹介させていただきました.発表資料はこちらにあります.
2015/6/6 2015年6月6日に東洋大学で行われた第15回 CSP 研究会において,"Libraries for Concurrent Programming in C based on CSP" というタイトルで話をさせていただきました.資料はこちらにあります.
2015/04/18 SyncStitch version 1.2.0 をリリースしました.
2014/11/30 2014年11月29日に東洋大学で行われた第14回 CSP 研究会において,"Parallel and On-the-fly CSP Refinement Checking" というタイトルで話をさせていただきました.資料はこちらにあります.
2013/12/26 スマートニュース株式会社さんのご好意により,会議室をお借りして,「並行システムの設計と検証」について再度お話をさせていただきました.
2013/11/27 「並行システムの設計と検証」というテーマで話をさせていただく機会がありました.そのときの資料をSyncStitch 文書のページに置きました.
2013/09/04 SyncStitch version 1.1.1 をリリースしました.
2013/08/26 SyncStitch version 1.1.0 をリリースしました.
2013/07/29 SyncStitch 開発者 blog "Think Stitch" をはじめました.
2013/07/23 並行システムのモデル化・検査ツール SyncStitch リリース
© 2013-2017 PRINCIPIA Limited