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

[1 デフォルトの名無しさん 2013/01/05(土) 21:09:06.67]

スレがないので立ててみた

参考ページ
http://en.wikipedia.org/wiki/Formal_methods
http://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E6%89%8B%E6%B3%95

[298 デフォルトの名無しさん 2015/12/30(水) 12:08:29.72 ID:z2Nurwun]

Alloyって楽しいな。
コンピュータと対話しながら、記述対象に対する自分の理解を深められるのがとても楽しい。

[299 デフォルトの名無しさん 2016/03/03(木) 22:41:34.71 ID:tH72Ij/h]

test

[300 デフォルトの名無しさん 2018/05/23(水) 23:09:57.69 ID:Au5e7VGg]

僕の知り合いの知り合いができたパソコン一台でお金持ちになれるやり方
役に立つかもしれません
グーグルで検索するといいかも『ネットで稼ぐ方法　モニアレフヌノ』

ZLPAL

[301 デフォルトの名無しさん 2018/07/04(水) 22:59:43.98 ID:gFgZc5FG]

LGL

[302 デフォルトの名無しさん 2018/07/06(金) 12:34:31.11 ID:uTPDH9XV]

ZLPAL