2013-02-24から1日間の記事一覧
Alloy についてまともに使えるようになろうと、最近ああだこうだやっている。 静的なモデリングについてはほぼ納得できた気がしているのだが、動的なモデリングについては、Timeイディオムあたりでどうも理解が追いつかずに止まってしまっていた。 なぜそこ…
Alloy についてまともに使えるようになろうと、最近ああだこうだやっている。 静的なモデリングについてはほぼ納得できた気がしているのだが、動的なモデリングについては、Timeイディオムあたりでどうも理解が追いつかずに止まってしまっていた。 なぜそこ…