参加者 沼田(読み手)、今井、青木(記)
範囲 pp. 217 – 224
第10章 ケーススタディ(5) デザイン検証の実際を知る — 分散コンポーネントの振舞い検証
- 10.2 システム記述と検査性質
- 10.2.2 性質の表現と検査の方法
- 21.2.3 振舞い検査
- 10.3 まとめ
- 10.3.1 事例に関する経験のまとめ
p.222 最下行 誤植 誤:「満たされない可能が」、正:「満たされない可能性が」 - 10.3.2 モデル検査法の役割
- 10.3.1 事例に関する経験のまとめ
Let's Study!
参加者 沼田(読み手)、今井、青木(記)
範囲 pp. 217 – 224
第10章 ケーススタディ(5) デザイン検証の実際を知る — 分散コンポーネントの振舞い検証
参加者 青木(読み手)、今井(記)
範囲 pp. 205 – 217
第10章 ケーススタディ(5) デザイン検証の実際を知る — 分散コンポーネントの振舞い検証
retvaFC ? value ->
→ retvalFC ? value ->
参加者 今井(読み手)、青木(記)
範囲 pp. 195 – 204
第9章 ケーススタディ(4) 検査対象の大きさを適切に保つ — 抽象化の方法
参加者 青木(読み手)、沼田、今井(記)
範囲 pp. 186 – 195
第9章 ケーススタディ(4) 検査対象の大きさを適切に保つ — 抽象化の方法
参加者 今井(読み手)、青木、沼田(記)
範囲 pp. 176 – 186
第9章 ケーススタディ(4) 検査対象の大きさを適切に保つ — 抽象化の方法
参加者 沼田(読み手)、今井、青木(記)
範囲 pp. 165 – 176
第8章 ケーススタディ(3) 組込みソフトウェアの解析に使う — システムソフトウェアへの適用
第9章 ケーススタディ(4) 検査対象の大きさを適切に保つ — 抽象化の方法
参加者 青木(読み手)、沼田、今井(記)
範囲 pp. 153 – 164
第8章 ケーススタディ(3) 組込みソフトウェアの解析に使う — システムソフトウェアへの適用