92-27 様相論理におけるアクションと属性の共有
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1992-09-15
著者
関連論文
- 第5回パターン指向開発とパターンの今後(パターン : ソフトウェア開発ノウハウの再利用)
- ウィンターワークショップ・イン・金沢報告 : 再利用
- コンポーネントベースフレームワーク開発手法におけるコンポーネントの形式的仕様記述
- コンポーネントベース・フレームワーク技術を利用したアプリケーションの形式的仕様記述
- コンポーネントベース・フレームワーク技術を利用したアプリケーションの形式的仕様記述
- 2000-SE-128-4 コンポーネントベース・フレームワーク技術におけるコンポーネジトの抽出/設計方結論
- パターン : ソフトウェア開発ノウハウの再利用 : 第4回アナリシスパターンの比較 : 分析モデル構築の一般的ノウハウ
- パターン : ソフトウェア開発ノウハウの再利用 : 第3回デザインパターンの適用 : 応用編:ドキュメンテーション, フレームワーク, リファクタリング
- パターン : ソフトウェア開発ノウハウの再利用 第2回デザインパターンの適用 : 基本編:プログラム設計のヒント
- 代数的仕様のΔ拡張
- オブジェクト指向開発におけるドキュメント量の問題と解決
- 「TFF」導入によるBooch法の機能モデルの拡張
- OMT法における画像ファイリングシステムの分析 : 拡張容易性と分析指針
- 5. 画像ファイリングシステムへの適用 ( オブジェクト指向分析・設計)
- 92-27 様相論理におけるアクションと属性の共有