茂木 正寿 | Department of Surgery, Saiseikai-Kanagawaken Hospital

スポンサーリンク

概要

• 茂木 正寿の詳細を見る
• 同名の論文著者
• Department of Surgery, Saiseikai-Kanagawaken Hospitalの論文著者

論文 | ランダム

• フレームワーク・ナビゲータ : フレームワークを用いたアプリケーション実装の支援
• 仕様記述言語ZZと実行時仕様
• ドメインモデルの形式的記述手法ならびに要求仕様獲得への活用
• プログラム変更に対する正当性検証技法と分割技法の適用
• 論理型仕様の理解支援のための一手法

もっと見る

スポンサーリンク