2011-10-19から1日間の記事一覧
第2章から実際に Alloy を使ってみるようです。 「メールクライアントのアドレス帳の設計」という例題 Alloy の具体的な使い方の説明はないんですね。まあなんとかなりましたけど。 sig - シグネチャ。クラスみたいなものかな。「オブジェクトの集合」らしい…
第2章から実際に Alloy を使ってみるようです。 「メールクライアントのアドレス帳の設計」という例題 Alloy の具体的な使い方の説明はないんですね。まあなんとかなりましたけど。 sig - シグネチャ。クラスみたいなものかな。「オブジェクトの集合」らしい…