対馬のハバチ類

スポンサーリンク

概要

• 論文の詳細を見る
• 2003-12-12

論文 | ランダム

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

もっと見る

スポンサーリンク