【Alloy】形式言語による仕様記述【VDM】
■ このスレッドは過去ログ倉庫に格納されています
114デフォルトの名無しさん
2013/09/13(金) 22:19:56.75 でも形式手法をそういう言い方にするとAlloyやVDMの微妙さが際立ってしまうのだ
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【地震速報】青森県で震度6強 沿岸部に津波警報 ★6 [ぐれ★]
- 「日の丸にバツ印」掲げた大学生 あいまいな国旗損壊罪に「怖い」 The Mainichi [少考さん★]
- 高市内閣「支持」64％「不支持」19％ NHK世論調査 ★2 [少考さん★]
- 【音楽】BARBEE BOYS・KONTAが事故で四肢麻痺を公表、新体制で活動は継続 [少考さん★]
- 高市首相「多様なコメの増産を進める」 方針転換への懸念払拭狙いか ★2 [どどん★]
- 【速報】気象庁がマグニチュード7.5に修正しました [ニョキニョキ★]
- ぺこーら、地震で同僚が次々配信を止めるなか強行し続けるので悪目立ちするwww [268244553]
- 巨大地震 [957955821]
- 【🏡】岩手ビックウェーブ🏄うおおおおおおおおおおお🌊
- この中でエロ行為をしたい芸能人を1つだけ選べ
- 【速報】高市早苗、起床 [779938112]
- 久しぶりにヒカキンのチャンネル確認しに行ったら