周産期の化学療法<特集>

スポンサーリンク

概要

• 論文の詳細を見る

論文 | ランダム

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

もっと見る

スポンサーリンク