オブジェクト指向システム分析到着・・・

koichikさんのコメント : Csus4.net – Just example. ≫ Blog Archive ≫ PoEAA 4th
により書名を教えてたいただき、早速購入したのですが・・・・・

む、むずいっす・・・・。
付録AのOSAの形式的定義の構成を抜粋します・・・。

* A.1 ORMから第一階述語と規則への写像
* A.1.1 述語
* A.1.2 規則
* A.2 第一階言語から数学的モデルへの写像
* A.3 OSAメタモデル
* A.3.1 図A.4における最初の制約の変換
* A.3.2 図A.4における二つ目の制約の変換
* A.3.3 図A.4における三つ目の制約の変換
* A.3.4 図A.4における四つ目の制約の変換

なかなか手ごわそうです・・・オブジェクト指向システム開発―分析・設計・プログラミングへの実践的アプローチ