言語規格だか何だか知らんが絵に描いた餅でも喰ってろ
VDM-SLはISO化されたが
VDM++に関しては文法こそ仕様はあるものの
挙動は実装が仕様みたいな状況だぞ
探検
【Alloy】形式言語による仕様記述【VDM】
■ このスレッドは過去ログ倉庫に格納されています
121デフォルトの名無しさん
2013/09/14(土) 16:17:21.73■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【地震速報】青森県で震度6強 沿岸部に津波警報 ★6 [ぐれ★]
- 「日の丸にバツ印」掲げた大学生 あいまいな国旗損壊罪に「怖い」 The Mainichi [少考さん★]
- 高市内閣「支持」64％「不支持」19％ NHK世論調査 ★2 [少考さん★]
- 【音楽】BARBEE BOYS・KONTAが事故で四肢麻痺を公表、新体制で活動は継続 [少考さん★]
- 高市首相「多様なコメの増産を進める」 方針転換への懸念払拭狙いか ★2 [どどん★]
- 【速報】気象庁がマグニチュード7.5に修正しました [ニョキニョキ★]
- ぺこーら、地震で同僚が次々配信を止めるなか強行し続けるので悪目立ちするwww [268244553]
- 巨大地震 [957955821]
- 【🏡】岩手ビックウェーブ🏄うおおおおおおおおおおお🌊
- 【速報】高市早苗、起床 [779938112]
- 日本ほど隣国ガチャが失敗した国、ないｗｗｗｗwｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ [279254606]
- 久しぶりにヒカキンのチャンネル確認しに行ったら