Search results 49
Paper図書
National Diet Library
- Subject Headingハイブリッドモデル / 組込みシステム / 詳細化検証 / 仕様記述 / 定理証明 / 確率 / 模倣検証
Paper図書
National Diet Library
- Subject Heading形式仕様記述 / 契約による設計 / アスペクト指向 / モデル駆動開発...
Paper図書
National Diet Library
- Subject Headingシステムモデル構築 / 形式仕様記述 / 組込みソフトウェア / 多面的記述と分析 / 事例研究...
Paper図書
National Diet Library
- Subject Headingユビキタスネットワーキング / データ駆動 / 実時間処理 / 設計・評価支援 / 仕様記述 / メディア処理 / ネットワーク処理 / プロセッサアー...
Paper図書
National Diet Library
- Subject Headingマルチモ-ダルインタフエ-ス 音声対話コ-パス 形式的仕様記述 音声言語処理 漸進的解釈 同時通訳 意図理解 マルチエ-ジ...
Paper図書
National Diet Library
- Subject Heading実時間ソフトウエア 仕様記述 検証方式 時間論理 実時間論理 線形論理 適切さの論理
Paper図書
National Diet Library
- Subject Headingセキユリテイプロトコル 形式仕様記述 検証 並行動作システム 振舞い記述 なりすまし Secur...
Paper図書
National Diet Library
- Subject Heading超分散処理 データ駆動 仕様記述 プログラム生成 副作用検出 プロトタイピング 履歴依存症 ...
Paper図書
National Diet Library
- Subject Heading形式仕様記述 ドメインモデル構築 形式手法 図式表現 図式分析ツール 形...
Digital規格・テクニカルリポート類
Other Libraries in Japan
- Subject Heading仕様記述 プロセス代数 時間制約 モデル検査
Paper図書
National Diet Library
- Subject Headingソフトウエア工学 仕様記述言語 ドメイン依存 建築物構造設計 CAD システム生成 概...
Paper図書
National Diet Library
- Subject Headingスーパーインテグレーシヨン データ駆動 プロセツサアーキテクチヤ 開発支援 マルチメデイア 実時間処理 仕様記述 プロセツサエミユレーシヨン
Paper図書
National Diet Library
- Subject Headingソフトウエア開発工程 モジジユール互換性 型変更 ソフトウエア進化 動的変更 分散システム リフレクシヨン オブジエクト指向仕様記述
Digital規格・テクニカルリポート類
Other Libraries in Japan
- Subject Headingソフトウェア 仕様記述 仕様検証 制約解消 数式処理
Paper図書
National Diet Library
- Subject Heading時相論理 論理設計 形式的検証 論理関数処理 二分決定グラフ モデルチエツキング 仕様記述
Digital規格・テクニカルリポート類
Other Libraries in Japan
- Subject Heading形式手法 モデル検査 形式仕様記述 テスト 車載ソフトウェア
- Note (General)...主流であった．一方で，我々は，仕様記述から実装のテストまで，シームレスに接続し，全行程をカバーする...
Paper図書
National Diet Library
- Subject Headingコンポーネントウエア 分散オブジエクト Java オブジエクト指向 ソフトウエア再利用 仕様記述 インターオペラビリテイ インタフエース定義言語
Digital規格・テクニカルリポート類
Other Libraries in Japan
- Subject Heading仕様記述 仕様検証 プロセス代数 モデル検査
Digital規格・テクニカルリポート類
Other Libraries in Japan
- Subject Heading仕様記述・仕様検証 形式手法 ソフトウェア工学 代数仕様 証明スコア...
Paper図書
National Diet Library
- Subject Heading並列計算システム 代数的仕様記述法 仕様の検証 CCS CSP 時相論理 通信プロトコルの仕様記述 シストリツクアルゴリズム