本文に飛ぶ

年 〜
年

検索結果 49 件

ハイブリッドモデルによる組込みシステムの高信頼性設計方法論の構築と支援環境の開発

ハイブリッドモデルによる組込みシステムの高信頼性設計方法論の構築と支援環境の開発
紙図書
山根智, 金沢大学 [著][山根智]2002-2004<Y151-H14580368>
国立国会図書館
  • 件名ハイブリッドモデル / 組込みシステム / 詳細化検証 / 仕様記述 / 定理証明 / 確率 / 模倣検証

静的解析と実行時検査の融合にもとづくソフトウェアの安全な動的構成と実行方式

静的解析と実行時検査の融合にもとづくソフトウェアの安全な動的構成と実行方式
紙図書
渡部卓雄, 東京工業大学 [著][渡部卓雄]2005-2006<Y151-H17500017>
国立国会図書館
  • 件名形式仕様記述 / 契約による設計 / アスペクト指向 / モデル駆動開発...

ソフトウェア開発のモデル化技法とシステム特性干渉解析に関する研究

ソフトウェア開発のモデル化技法とシステム特性干渉解析に関する研究
紙図書
荒木啓二郎, 九州大学 [著][荒木啓二郎]2004-2006<Y151-H16300007>
国立国会図書館
  • 件名システムモデル構築 / 形式仕様記述 / 組込みソフトウェア / 多面的記述と分析 / 事例研究...

ユビキタスネットワーキング向きデータ駆動型実時間システムの設計・評価環境の研究

ユビキタスネットワーキング向きデータ駆動型実時間システムの設計・評価環境の研究
紙図書
西川博昭, 筑波大学 [著][西川博昭]2003-2005<Y151-H15300012>
国立国会図書館
  • 件名ユビキタスネットワーキング / データ駆動 / 実時間処理 / 設計・評価支援 / 仕様記述 / メディア処理 / ネットワーク処理 / プロセッサアー...

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

マルチモ-ダルインタフエ-スの形式的仕様記述とその検証に関する研究
紙図書
稲垣, 康善, 名古屋大学2000-2002<Y151-H12308015>
国立国会図書館
  • 件名マルチモ-ダルインタフエ-ス 音声対話コ-パス 形式的仕様記述 音声言語処理 漸進的解釈 同時通訳 意図理解 マルチエ-ジ...

実時間ソフトウエアの仕様記述とその検証方式の研究

実時間ソフトウエアの仕様記述とその検証方式の研究
紙図書
米崎, 直樹, 東京工業大学1995-1997<Y151-H07680341>
国立国会図書館
  • 件名実時間ソフトウエア 仕様記述 検証方式 時間論理 実時間論理 線形論理 適切さの論理

セキユリテイプロトコルの形式的記述および検証に関する基礎的研究

セキユリテイプロトコルの形式的記述および検証に関する基礎的研究
紙図書
荒木, 啓二郎, 九州大学1998-1999<Y151-H10680358>
国立国会図書館
  • 件名セキユリテイプロトコル 形式仕様記述 検証 並行動作システム 振舞い記述 なりすまし Secur...

実時間超分散処理のためのデータ駆動型仕様記述環境の研究

実時間超分散処理のためのデータ駆動型仕様記述環境の研究
紙図書
西川, 博昭, 筑波大学1996-1998<Y151-H08458060>
国立国会図書館
  • 件名超分散処理 データ駆動 仕様記述 プログラム生成 副作用検出 プロトタイピング 履歴依存症 ...

形式手法に基づく高品質組込み制御システム開発法の系統化に関する基礎的研究

形式手法に基づく高品質組込み制御システム開発法の系統化に関する基礎的研究
紙図書
荒木, 啓二郎, 九州大学2000-2001<Y151-H12680354>
国立国会図書館
  • 件名形式仕様記述 ドメインモデル構築 形式手法 図式表現 図式分析ツール 形...

Ａｍｂｉｅｎｔ　Ｃａｌｃｕｌｓの拡張とそれに基づく物流監視システムの構築

Ａｍｂｉｅｎｔ　Ｃａｌｃｕｌｓの拡張とそれに基づく物流監視システムの構築
デジタル規格・テクニカルリポート類
樋口, 昌宏近畿大学2016科学研究費助成事業研究成果報告書 (2015)p.1-4
全国の図書館
  • 件名仕様記述 プロセス代数 時間制約 モデル検査

建築設計・施工を事例としたドメイン依存の要求仕様記述言語とその実現技術の研究

建築設計・施工を事例としたドメイン依存の要求仕様記述言語とその実現技術の研究
紙図書
橋本, 正明, 九州工業大学1996-1998<Y151-H08680373>
国立国会図書館
  • 件名ソフトウエア工学 仕様記述言語 ドメイン依存 建築物構造設計 CAD システム生成 概...

スーパーインテグレーシヨンによるデータ駆動プロセツサシステムの開発支援環境の研究

スーパーインテグレーシヨンによるデータ駆動プロセツサシステムの開発支援環境の研究
紙図書
西川, 博昭, 筑波大学1999-2001<Y151-H11480060>
国立国会図書館
  • 件名スーパーインテグレーシヨン データ駆動 プロセツサアーキテクチヤ 開発支援 マルチメデイア 実時間処理 仕様記述 プロセツサエミユレーシヨン

企業環境におけるJavaを用いた分散データベースアクセス

企業環境におけるJavaを用いた分散データベースアクセス
紙図書
Hamid, Issam A., 岩手県立大学1998-1999<Y151-H10044172>
国立国会図書館
  • 件名ソフトウエア開発工程 モジジユール互換性 型変更 ソフトウエア進化 動的変更 分散システム リフレクシヨン オブジエクト指向仕様記述

近似手法と数式処理の融合による実数多項式制約の効率化

近似手法と数式処理の融合による実数多項式制約の効率化
デジタル規格・テクニカルリポート類
小川, 瑞史2015-06-10科学研究費助成事業研究成果報告書p.1-4
全国の図書館
  • 件名ソフトウェア 仕様記述 仕様検証 制約解消 数式処理

時相理論に基づく論理設計の形式的検証システムの試作研究

時相理論に基づく論理設計の形式的検証システムの試作研究
紙図書
矢島脩三, 京都大学1993-1994<Y151-H05558030>
国立国会図書館
  • 件名時相論理 論理設計 形式的検証 論理関数処理 二分決定グラフ モデルチエツキング 仕様記述

形式手法の統合によるシームレスなソフトウェア開発手法の提案

形式手法の統合によるシームレスなソフトウェア開発手法の提案
デジタル規格・テクニカルリポート類
青木, 利晃2015-06-01科学研究費助成事業研究成果報告書p.1-5
全国の図書館
  • 件名形式手法 モデル検査 形式仕様記述 テスト 車載ソフトウェア
  • 一般注記...主流であった．一方で，我々は，仕様記述から実装のテストまで，シームレスに接続し，全行程をカバーする...

ソフトウエアコンポーネントの互換性に関する研究

ソフトウエアコンポーネントの互換性に関する研究
紙図書
青山, 幹雄, 新潟工科大学1997-1998<Y151-H09680347>
国立国会図書館
  • 件名コンポーネントウエア 分散オブジエクト Java オブジエクト指向 ソフトウエア再利用 仕様記述 インターオペラビリテイ インタフエース定義言語

時間概念を導入したAmbient Calculusによる物流システムの記述

時間概念を導入したAmbient Calculusによる物流システムの記述
デジタル規格・テクニカルリポート類
樋口, 昌宏近畿大学2012-01-01科学研究費助成事業研究成果報告書 (2012. )p.1-4
全国の図書館
  • 件名仕様記述 仕様検証 プロセス代数 モデル検査

証明スコア法に基づく革新的仕様検証システムの構築

証明スコア法に基づく革新的仕様検証システムの構築
デジタル規格・テクニカルリポート類
二木, 厚吉2016-05-18科学研究費助成事業研究成果報告書p.1-5
全国の図書館
  • 件名仕様記述・仕様検証 形式手法 ソフトウェア工学 代数仕様 証明スコア...

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

代数的手法に基づく並列計算システムの仕様記述・検証の基礎的研究
紙図書
稲垣, 康善, 名古屋大学1985-1986<Y151-S60550263>
国立国会図書館
  • 件名並列計算システム 代数的仕様記述法 仕様の検証 CCS CSP 時相論理 通信プロトコルの仕様記述 シストリツクアルゴリズム
RSS