0278デフォルトの名無しさん垢版 | 大砲2015/04/29(水) 13:07:57.19ID:f54jgqM7 >>271の問題はまさにそこのところ、モデルと実際のプログラムをどう対応付けるかなんだろう。 VDMが実際の開発に導入されている話は聞くがAlloyについてはあまり聞かないのは やはり抽象度のギャップの要因が大きいように思う。