Search results for "形式的仕様" | NDL Search

Search results 10

Group by title

論理型形式的仕様のプロトタイピング・システムの試作・評価

Paper図書

深澤, 良彰, 早稲田大学1995-1996<Y151-H07680373>

National Diet Library

Subject Headingプロトタイププロトタイピング形式的仕様 Z ZF記法集合論

Research on Rigorous Verification Techniques for Formal Specification and Design : ソフトウエアの形式的仕様と設計の厳密な検証技術の研究

Paper図書

劉, 少英 (Liu, Shaoying) , 法政大学1999-2001<Y151-H11680368>

National Diet Library

Subject Heading形式的工学手法ソフトウエア検証厳密なレビユ- 仕様分析形式的仕様システム進化テスト形式的証明

Formal Engineering Methods for Software Development : ソフトウエア開発における形式的工学手法

Paper図書

劉, 少英 (Liu, Shaoying) , 法政大学1999-2001<Y151-H11694173>

National Diet Library

Subject Heading形式工学手法ソフトウエア検証厳密なレビユ- 仕様テスト仕様分析形式的仕様システム開発ソフトウエア進化

仕様の意味的類似性判定とそのソフトウエア自動合成への応用に関する研究

Paper図書

阿草, 清滋, 名古屋大学1995-1997<Y151-H07458058>

National Diet Library

Subject Heading形式的仕様仕様の検索仕様の類似性再利用ソフトウエア部品データベ...

マルチモ-ダルインタフエ-スの形式的仕様記述とその検証に関する研究

Paper図書

稲垣, 康善, 名古屋大学2000-2002<Y151-H12308015>

National Diet Library

Subject Headingマルチモ-ダルインタフエ-ス音声対話コ-パス形式的仕様記述音声言語処理漸進的解釈同時通訳意図理解マルチエ...

プログラム言語とその変換の形式的仕様記述に対するテストおよび誤り検出の研究

Paper図書

佐々, 政孝, 東京工業大学1993-1994<Y151-H05680269>

National Diet Library

Subject Heading形式的仕様プログラム言語テストデバツグコンパイラ属性文法

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

Paper図書

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

National Diet Library

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

Publications for the "Formal Methods and Intelligent Software Engineering Environments(FM-INSEE) : FM-INSEE:形式的手法と知的ソフトウエア工学環境

Paper図書

劉, 少英, 広島市立大学1996-1998<Y151-H08044167>

National Diet Library

Subject Heading形式的手法形式的仕様ソフトウエア支援環境ソフトウエア検証ソフトウエアテスト...

ストリーム並列実行モデルに基づく並行動作プログラムの形式的開発法

Paper図書

荒木, 啓二郎, 奈良先端科学技術大学院大学1992-1993<Y151-H04452196>

National Diet Library

Subject Heading並行動作システムストリーム並列形式的仕様実行可能仕様仕様記述言語Z 仕様スライス並列オペレーテ...

代数的手法に基づく並列計算システムの仕様記述・検証の基礎的研究

Paper図書

稲垣, 康善, 名古屋大学1987-<Y151-S62550261>

National Diet Library

Subject Heading並列計算並行プログラム形式的仕様記述 CCS モニタ項書き換え系の意味論抽象データ型

Reached to the end of result.

RSS