ログイン
会員登録
形式手法
書いてみる
関連タグ
#要求工学 (28)
#TLA (11)
#AWS (6,794)
#ソフトウェア品質 (300)
#日記 (4,321,286)
#MTG (21,862)
人気
急上昇
新着
定番
有料のみ
14件
人気の記事一覧
[TLA+] 分散システムを設計する際に形式仕様を導入してみた
hden
3年前
6
AWSにおける形式手法 - 前書き(2/4) AWSのサービスの内部構造は複雑
なさだ十三
4年前
6
AWSにおける形式手法 - 前書き(1/4) 論文を書いた動機
なさだ十三
4年前
4
【追記あり】 MTGの「無限ループ」を形式的に決定することは可能か
闇ぶいれこ
4年前
8
論文:複数のユースケース記述に対するモデル検査を用いた要求検証プロセスの提案
suhahide
4年前
3
論文:要求分析段階におけるモデル検査技術を用いた設計制約検証の自動化
suhahide
4年前
1
論文:ユースケース記述からの状態遷移モデル生成
suhahide
4年前
1
論文:シーケンス図とステートチャート図の相互変換に着目したソフトウェア分析・設計に関する研究
suhahide
4年前
1
解けた!
りょうじ
4年前
1
【デブサミ2020】セッションレポート:13-F-6 「厳密な共通言語」としての形式手法
dora_e_m
4年前
2
AWSにおける形式手法 - 前書き(3/4) 並列分散処理は難しい
なさだ十三
4年前
形式手法 - 正しいソフトウェアを書くために
なさだ十三
4年前
論文:ユースケース記述の規則への整合性検査に向けて
suhahide
4年前
それでも解けず
りょうじ
4年前