人気の記事一覧

[TLA+] 分散システムを設計する際に形式仕様を導入してみた

3年前

AWSにおける形式手法 - 前書き(2/4) AWSのサービスの内部構造は複雑

AWSにおける形式手法 - 前書き(1/4) 論文を書いた動機

【追記あり】 MTGの「無限ループ」を形式的に決定することは可能か

論文:複数のユースケース記述に対するモデル検査を用いた要求検証プロセスの提案

4年前

論文:要求分析段階におけるモデル検査技術を用いた設計制約検証の自動化

4年前

論文:ユースケース記述からの状態遷移モデル生成

4年前

論文:シーケンス図とステートチャート図の相互変換に着目したソフトウェア分析・設計に関する研究

4年前

解けた!

【デブサミ2020】セッションレポート:13-F-6 「厳密な共通言語」としての形式手法

4年前

AWSにおける形式手法 - 前書き(3/4) 並列分散処理は難しい

形式手法 - 正しいソフトウェアを書くために

論文:ユースケース記述の規則への整合性検査に向けて

4年前

それでも解けず