課題B3/C2設問2
Sign in to Google to save your progress. Learn more
お名前 *
以下のモデルは，InventoryManagement の元の仕様に，ある機能を追加した仕様を Alloy で記述したものです。またその下の図はこのモデルを，あるテストケースにしたがって仮想実行したものを可視化した図です。実行したテストケースを箇条書きで答えて下さい。 *
InventoryManagement の Alloy モデル（画像が小さい場合はこちら）
InventoryManagement の Alloy モデルの可視化（画像が小さい場合はこちら）
Submit
Clear form
Never submit passwords through Google Forms.
This content is neither created nor endorsed by Google. - Terms of Service - Privacy Policy

Does this form look suspicious? Report

Google Forms