【Alloy】形式言語による仕様記述【VDM】

[37 デフォルトの名無しさん 2013/01/28(月) 01:22:14.84]

>>13は今のクソでない形式仕様言語を現実に作るために、一流人材が参加すれば可能だと述べているんだろ。
とはいえ、この論旨を許せば一流人材とやらがいれば世界征服すら可能になるが。