仕様記述テクニック「Promotion」の紹介 - DeNA Testing Blog
こんにちは、SWETの鈴木穂高（@hoddy3190）です。 私はこちらの記事に記載の通り、形式手法の可能性を模索しています。 現在はツールやゲームの仕様を形式的に記述すること（形式仕様記述）で、仕様の欠陥をなるべく早く見つける取り組みにチャレンジしています。 今回は仕様記述をするにあたりよく使う重要な記述テクニックである「Promotion」を紹介します。 形式仕様記述とAlloyというツールを知っている人を対象にしています。 もし形式仕様記述やAlloyをご存じない方は、以前私がbuilderscon tokyo 2019で発表したときに使った資料をご覧ください。 Promotionとは 一般にソフトウェアシステムは複数のコンポーネントから構成されます。 システム全体としての状態（以下、システム状態）は各コンポーネントの状態の組み合わせからなります。 たとえどんなに奥深くのどんなに小さ
経験値は申告制？ファンタジー世界の“労働”を紐解く『竜と勇者と配達人』がおもしろい！ - ぐるりみち。
いつの時代も、どこの世界でも、働く人は大変だ。 労働それ自体の苦悩や職場問題は言うに及ばず、ただ目の前の仕事に取り組んでいれば自動的にお給料が振り込まれる──わけではないのがダルい。取引先との折衝に書類の整理＆提出、業界は常に変化し続けているし、いつまでもその職が安定しているとも限らない。 そして、そういった “お仕事事情” はどうやら、どの時代、どこの世界にも共通したものらしい。そのなかでも大変なのがお役所仕事であり、剣と魔法が支配する（支配していた）ファンタジー世界においても、役人さんは面倒な役回りを押し付けられるのが常のようだ。 竜と勇者と配達人 1 (ヤングジャンプコミックス) posted with ヨメレバ グレゴリウス山田 集英社 2017-01-19 Amazon Kindle 楽天ブックス ──というわけで、そんな最新の “お仕事マンガ”（？）として、『竜と勇者と配達人』
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
