HOMELv032 モデル駆動開発において、実装コードをモデルに戻し、設計情報を更新することを何と呼ぶか。 2026年1月25日 コードからモデルを生成・抽出するプロセスをリバースエンジニアリングと呼ぶ。 OCLにおいて、コレクション「s」の全要素が「一意（Unique）」であることを確認する演算はどれか。 OCL式「Set{1,2,3}->sortedBy(e | -e)->first()」の結果はどれか。
