原田 稔 | 協同システム開発(株)
スポンサーリンク
概要
協同システム開発(株) | 論文
- 仕様記述過程モデル化のための実験と分析
- 異なった形式的仕様記述間の変換について : FASET(9)ツールゲート
- ASPELAによる仕様記述法 : FASET(2)代数的記述による開発支援ツール
- Formal Approachに基づくFASETプロジェクトFASET(1)ソフトウェア環境統合化技術開発計画
- システム・インテグレーション基盤技術開発計画(II) : (6)要求分析プロセス・ガイダンス支援ツール