気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
www.slideshare.net/slideshowエントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
アジャイルと形式手法
8. 仕様を書く 自分たちの手法 ー ユーザーストーリーの実現の仕方 8 自分たちの手法 テストケース をつ... 8. 仕様を書く 自分たちの手法 ー ユーザーストーリーの実現の仕方 8 自分たちの手法 テストケース をつくる ソースコード レビュー 不具合を 修正する テストを 実施する ユーザー ストーリー 仕様書 （形式的記述） 設計して 実装する プログラム テストケース 開発チーム QAチーム 9. 自分たちの手法 ー 仕様の書き方 9 自分たちの手法 仕様は状態遷移モデルで記述する。遷移の構成要素は、 – 遷移元の状態、イベント（パラメータを含む）、ガード条件、事後条件、遷移先の状態 状態は変数をもつことができる。ガード条件、事後条件の記述を論理式と自然言語で書く。 論理式は、独自の仕様記述言語KMLで書く 独自の言語を作った理由 – 気に入ったものがなかった。VDMも候補だったが、補助関数については関数型プログラ ムのように書けるものがほしかった。 10. KMLの記述例 1
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
www.slideshare.net/slideshow
www.slideshare.net/slideshow
www.slideshare.net/slideshow
www.slideshare.net/slideshow
www3.nhk.or.jp
news.tv-asahi.co.jp
tonarinoyj.jp
anond.hatelabo.jp
www.nttdata.com
soudai.hatenablog.com
togetter.com
qiita.com/yaju
www.itmedia.co.jp
zenn.dev/yskn_sid25
www.itmedia.co.jp
misuzu.ag.ebb.jp
carp-matome.blog.jp
www.asahi.com
n5eorrbcowdl.jugem.jp
2020/12/09 リンク