サクサク読めて、アプリ限定の機能も多数!
仕様記述言語 Alloy
masutaka26 のブックマーク 2012/04/12 14:19
教えて!アロイ人![Alloy] 仕様記述言語 Alloy2012/04/12 14:19
このブックマークにはスターがありません。 最初のスターをつけてみよう!
w.atwiki.jp2012/01/12
Alloyは、論理学の力で限定的に世界を記述し、その記述された世界を満たすような状態があるかどうか、あるとすればどのような状況か、を示してくれる、一種のプログラム的なものです。このような方法で状態や制約...
5 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
仕様記述言語 Alloy
masutaka26 のブックマーク 2012/04/12 14:19
このブックマークにはスターがありません。
最初のスターをつけてみよう!
教えて!アロイ人!
w.atwiki.jp2012/01/12
Alloyは、論理学の力で限定的に世界を記述し、その記述された世界を満たすような状態があるかどうか、あるとすればどのような状況か、を示してくれる、一種のプログラム的なものです。このような方法で状態や制約...
5 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /