Search results 13
Paper図書
National Diet Library
- Subject Headingプログラム理解 対象世界モデル プログラム検証
Paper図書
National Diet Library
- Subject Heading鉄道車両と橋梁の連成振動 / 地震 / 数値計算法 / マルチボディダイナミックス / 車輪とレール間の衝撃 / プログラム開発 / プログラム検証
Paper図書
National Diet Library
- Subject Headingソフトウェアセキュリティ / 安全なメールシステム / 安全な情報基盤 / プログラム検証 / プログラム言語処理系 / オペレーティングシステム
Paper図書
National Diet Library
- Subject Headingタイプ理論 線形論理 プログラミング言語 プログラム意味論 形式的プログラム検証 形式的仕様 情報科学の論理 証明論
Digital文書・図像類
Other Libraries in Japan
- Subject Headingプログラム検証 モデル検査 高階関数 述語論理 型システム 抽象詳細化 時...
Digital文書・図像類
Other Libraries in Japan
- Subject Headingプログラム検証 定理証明 オブジェクト指向 データ管理領域
- Note (General)本研究では、データ管理領域に焦点を当て、プログラム検証を自動化する手法を提案した。データ管理システムに特有の繰り返...
Digital文書・図像類
Other Libraries in Japan
- Subject Heading...処理アルゴリズム 共役傾斜法 プログラム検証 数値解析 並列処理プログラム 熱伝導解析プログラム hea...
Digital文書・図像類
Other Libraries in Japan
- Subject Heading...Dコード 計算流体力学コード プログラム検証 風洞実験 超音速流 アロー翼 翼胴形態 マルチブロック格子...
Digital文書・図像類
Other Libraries in Japan
- Subject Heading...表面圧測定 容量型圧力変換器 プログラム検証 実在気体 CFDコード 計算流体力学 飛行データ解析 隔膜...
Digital文書・図像類
Other Libraries in Japan
- Subject Heading...空気流 空気取入口 よどみ点 プログラム検証 シミュレータプログラム 縮尺模型 地上発射 空中発射 研究...
Digital文書・図像類
Other Libraries in Japan
- Subject Heading...面効き 衝撃波離脱距離 CFDプログラム検証 hypersonic flow chemically no...
Reached to the end of result.