0257デフォルトの名無しさん垢版
2013/10/16(水) 09:35:15.08既に誰かが指摘しているようだが
あなたが形式手法と呼んでいるものは
制限文法による仕様記述なのでは？
探検
【Alloy】形式言語による仕様記述【VDM】
■ このスレッドは過去ログ倉庫に格納されています
既に誰かが指摘しているようだが
あなたが形式手法と呼んでいるものは
制限文法による仕様記述なのでは？
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- コロナワクチン接種後死亡で国を集団提訴 訴状では河野太郎大臣の「2億回打って死んでる人は1人もいない」発言に焦点 [Hitzeschleier★]
- カフェオーレもプッチンプリンも…グリコ、5月中旬まで出荷できず [蚤の市★]
- 長渕剛が誹謗中傷に《具合が悪い》と告白…《話があるなら、来てほしい》と性被害告発の元女優に呼びかけ [フォーエバー★]
- 【MLB】大谷翔平「英語力」格段向上の皮肉 水原容疑者の裏切りが副産物を生んだ [ネギうどん★]
- 大地震前兆現象の仕組み解明 上空の電子変化、予知に期待―京都大 [蚤の市★]
- コロナワクチン接種後死亡で国を集団提訴 訴状では河野太郎大臣の「2億回打って死んでる人は1人もいない」発言に焦点 ★2 [Hitzeschleier★]
- 【フジテレビ】2024 FORMULA 1【NEXT】Lap269
- 【DAZN】フォーミュラ 【F1 F2 F3 P】lap1430
- とらせん
- 【フジテレビ】2024 FORMULA 1【NEXT】Lap268
- 【DAZN】フォーミュラ 【F1 F2 F3 P】lap1429
- 巨専】
- 【悲報】若者、気付いてしまう 「英語ってぶっちゃけ要らなくね？日常生活も仕事も娯楽も日本語だけで全く不自由しないし」 [878970802]
- 【動画】中国人彼女、めちゃくちゃ可愛い [834922174]
- 【画像】 腕立てを毎日2222回やってる男の肉体がヤバすぎる…ダンベルもジムも不要 今すぐやれお前ら！ [434776867]
- (´･ω･`)飲み会中なんだが
- なぜ日本人は「牛肉」を食わなくなったのか？食卓に上がるのは「豚肉」や「鶏肉」ばかり [676253315]
- OneDrive「クラウドに自動でデータアップしてあげるね」←優秀すぎんか！？