Search results for "プログラム検証" | NDL Search

Search results 13

Group by title

構成的プログラミングにおける最適化の研究

Paper図書

林, 晋, 神戸大学1996-1997<Y151-H08680367>

National Diet Library

Subject Headingプログラム検証プログラム合成形式的方法

対象系のシミユレーシヨンに基づくプログラム理解とそのプログラム開発支援への応用

Paper図書

伊東, 幸宏, 静岡大学1996-1997<Y151-H08680393>

National Diet Library

Subject Headingプログラム理解対象世界モデルプログラム検証

地震時の高速走行鉄道車両と軌道構造との連成振動・衝撃現象の数値解析法の開発と解明

Paper図書

田辺誠, 神奈川工科大学 [著][田辺誠]2005-2007<Y151-H17560215>

National Diet Library

Subject Heading鉄道車両と橋梁の連成振動 / 地震 / 数値計算法 / マルチボディダイナミックス / 車輪とレール間の衝撃 / プログラム開発 / プログラム検証

構成的プログラミングの新局面の研究

Paper図書

林, 晋, 神戸大学1994-1995<Y151-H06680333>

National Diet Library

Subject Heading構成的プログラミングプログラム検証プログラム論理

「社会基盤としてのセキュアコンピューティングの実現方式の研究」の推進と評価

Paper図書

米澤明憲, 東京大学 [著][米澤明憲]2000-2003<Y151-TR747-001>

National Diet Library

Subject Headingソフトウェアセキュリティ / 安全なメールシステム / 安全な情報基盤 / プログラム検証 / プログラム言語処理系 / オペレーティングシステム

タイプ理論と線形論理のプログラム言語理論への応用

Paper図書

岡田, 光弘, 慶応義塾大学1998-1999<Y151-H10044094>

National Diet Library

Subject Headingタイプ理論線形論理プログラミング言語プログラム意味論形式的プログラム検証形式的仕様情報科学の論理証明論

高階プログラミング言語で記述された大規模ソフトウェアの検証

Digital文書・図像類

寺内, 多智弘2017-05-31科学研究費助成事業研究成果報告書p.1-4

Other Libraries in Japan

Subject Headingプログラム検証モデル検査高階関数述語論理型システム抽象詳細化時...

データ管理領域におけるプログラム検証の自動化に関する研究

Digital文書・図像類

矢竹, 健朗2011-04-01科学研究費補助金研究成果報告書p.1-4

Other Libraries in Japan

Subject Headingプログラム検証定理証明オブジェクト指向データ管理領域
Note (General)本研究では、データ管理領域に焦点を当て、プログラム検証を自動化する手法を提案した。データ管理システムに特有の繰り返...

熱伝導有限要素法解析プログラムの並列化条件

Digital文書・図像類

原田, 公一, 磯部, 俊夫, 奥村, 秀人, Harada, Koichi, Isobe, Toshio, Okumura, Hidehito航空宇宙技術研究所1998-07航空宇宙技術研究所報告 = Technical Report of National Aerospace Laboratory1350p.1-11

Other Libraries in Japan

Subject Heading...処理アルゴリズム共役傾斜法プログラム検証数値解析並列処理プログラム熱伝導解析プログラム hea...

複雑形状まわりの流れの数値解析手法の検証

Digital文書・図像類

高木, 亮治, Takaki, Ryoji航空宇宙技術研究所1998-10航空宇宙技術研究所報告 = Technical Report of National Aerospace Laboratory1376p.1-28

Other Libraries in Japan

Subject Heading...Dコード計算流体力学コードプログラム検証風洞実験超音速流アロー翼翼胴形態マルチブロック格子...

軌道再突入実験における高々度圧力計測

Digital文書・図像類

松崎, 貴至, 井上, 安敏, Matsuzaki, Takashi, Inoue, Yasutoshi航空宇宙技術研究所1995-11航空宇宙技術研究所報告 = Technical Report of National Aerospace Laboratory1281p.1-15

Other Libraries in Japan

Subject Heading...表面圧測定容量型圧力変換器プログラム検証実在気体 CFDコード計算流体力学飛行データ解析隔膜...

スクラムジェット飛行実験の検討

Digital文書・図像類

スクラム実験機検討グループ, Scramjet Flight Test Study Group航空宇宙技術研究所1994-02航空宇宙技術研究所資料 = Technical Memorandum of National Aerospace Laboratory662p.1-56

Other Libraries in Japan

Subject Heading...空気流空気取入口よどみ点プログラム検証シミュレータプログラム縮尺模型地上発射空中発射研究...

HOPEの極超音速流数値シミュレーション　3

Digital文書・図像類

山本, 行光, Yamamoto, Yukimitsu航空宇宙技術研究所1992-07航空宇宙技術研究所報告 = Technical Report of National Aerospace Laboratory1168p.1-95

Other Libraries in Japan

Subject Heading...面効き衝撃波離脱距離 CFDプログラム検証 hypersonic flow chemically no...

Reached to the end of result.

RSS