| 1 |
仕様に基づく部品再利用法とその適用 |
川北 誠/ほか著 |
|
|
|
| 2 |
代数的仕様の解析・検証・変換のための視覚的支援環境 |
河口 信夫/ほか著 |
|
|
|
| 3 |
CafeOBJによるZ仕様の検証支援 |
谷津 弘一/著 |
二木 厚吉/著 |
|
|
| 4 |
フイールド指向言語Flage |
粂野 文洋/ほか著 |
|
|
|
| 5 |
受信者数を考慮したブロードキャストシステムのためのプロセス代数 |
磯部 祥尚/ほか著 |
|
|
|
| 6 |
オブジェクト指向言語におけるクラス集合型検査 |
大久保 弘崇/ほか著 |
|
|
|
| 7 |
スライシング技法の応用によるプログラムの検証法 |
小野 康一/ほか著 |
|
|
|
| 8 |
高レベルペトリネットに基づく形式的なオブジェクト指向設計モデル |
元木 誠/著 |
中島 震/著 |
|
|
| 9 |
プロセスモデルHFSPにおける実行状態の動的制御の基礎 |
岩井 淳/著 |
片山 卓也/著 |
|
|
| 10 |
Triadic Domain Modelに基づくシステムの分析・設計 |
伊藤 潔/ほか著 |
|
|
|
| 11 |
圏論を用いたデータモデリング |
森 彰/著 |
松本 吉弘/著 |
|
|
| 12 |
バージョン機能を持つオブジェクトベースの為の形式化 |
泉 直子/著 |
片山 卓也/著 |
|
|
| 13 |
エージェントモデルにおけるメタレベルアーキテクチャの代数的意味論 |
田原 康之/ほか著 |
|
|
|
| 14 |
ソフトウェア部品検索における形式的仕様の活用法 |
栗野 俊一/ほか著 |
|
|
|
| 15 |
形式的手法による機能分割手法 |
張 漢明/著 |
荒木 啓二郎/著 |
|
|
| 16 |
業務記述に基づく系統的な要求分析手法DREMの提案 |
山本 修一郎/著 |
斎 直人/著 |
|
|
| 17 |
オブジェクト指向概念に基づく要求仕様の導出支援システム |
滝沢 陽三/著 |
上田 賀一/著 |
|
|
| 18 |
オブジェクト指向開発アプローチCrossoverにおける設計モデル |
岸 知二/ほか著 |
|
|
|
| 19 |
構造化技法を取り入れたオブジェクト指向設計技法の提案 |
臼井 義美/著 |
|
|
|
| 20 |
クラスバージョンと関係に基づく記述モデル |
志村 秀人/著 |
上田 賀一/著 |
|
|
| 21 |
オブジェクト指向システム構造に対するデータ解析手法による評価に関する一考察 |
飯島 正/著 |
|
|
|
| 22 |
MSCとLOTOSによる通信システム設計支援系ITECS |
田口 毅/著 |
|
|
|
| 23 |
事象木に基づくサービス仕様設計法 |
加賀谷 聡/ほか著 |
|
|
|
| 24 |
ソフトウェアプロセス適応のための形式的モデル |
鈴木 正人/著 |
片山 卓也/著 |
|
|