中島 震 | Necネットワーキング研究所:(現)法政大学経営学部

スポンサーリンク

概要

• 同名の論文著者
• Necネットワーキング研究所:(現)法政大学経営学部の論文著者

関連著者

• 中島 震

  Necネットワーキング研究所

• 中島 震

  Necネットワーキング研究所:(現)法政大学経営学部

• 前田 直人

  Necネットワーキング研究所

著作論文

• ソフトウェア開発へのモデル検査技法の応用
• 分散システム開発のための移動エージェントの定量的評価手法
• ユビキタス計算環境向け軽量移動エージェントシステム
• ソフトウェア開発へのモデル検査技法の応用
• ソフトウェア開発へのモデル検査技法の応用
• ICSE 2001参加報告 (新しいソフトウェア工学の実践と課題)
• SPIN2001参加報告
• オブジェクト指向デザインと形式手法

スポンサーリンク