検索結果12件中 1-12 を表示

  • 小野 康一 ID: 9000004334922

    現在,日本アイ・ビー・エム株式会社東京基礎研究所 (2012年 CiNii収録論文より)

    CiNii収録論文: 34件

    • 大規模ソフトウェアの保守における形式的仕様の適用 (1992)
    • アスペクト指向技術の適用によるドメインフレームワークのモジュール性向上 (2004)
    • 論理型仕様の理解支援のための一手法 (1994)
  • 小野 康一 ID: 9000004378858

    CiNii収録論文: 18件

    • 時間/機能制約による仕様に対する実行可能なUML/SysMLモデルの動的検査手法 (2010)
    • 多種端末向けWebコンテンツ適用のための変換方式とオーサリングツール (2000年情報学シンポジウム--ネットワーク型情報メディアの活用と情報を活かす新技術) -- (セッション6:情報の可視化) (2000)
    • IBMプロフェッショナル論文 組み込みシステムのアーキテクチャー設計と性能評価のためのモデル・ベース手法 (2010)
  • 小野 康一 ID: 9000107316262

    日本アイ・ビー・エム株式会社 東京基礎研究所 (2011年 CiNii収録論文より)

    CiNii収録論文: 1件

    • UMLモデルからの変換による Web アプリケーションの形式検証 (2011)
  • 小野 康一 ID: 9000107392233

    CiNii収録論文: 1件

    • 携帯端末用 Web ページから通常端末用ページを構成する手法 : Web ページのモデル化とその評価 (2009)
  • 小野 康一 ID: 9000241894426

    CiNii収録論文: 1件

    • 組込みソフトウェアにおける実行トレースに基づ<捨象モデリングツールの実装と評価 (システムLSI設計技術(SLDM) Vol.2009-SLDM-144) (2010)
  • 小野 康一 ID: 9000258238132

    日本アイ・ビー・エム株式会社東京基礎研究所 (2010年 CiNii収録論文より)

    CiNii収録論文: 1件

    • 時間/機能制約による仕様に対する実行可能なUML/SysMLモデルの動的検査手法 (2010)
  • 小野 康一 ID: 9000258238500

    日本アイ・ビー・エム株式会社東京基礎研究所 (2013年 CiNii収録論文より)

    CiNii収録論文: 1件

    • 組込みシステムのアーキテクチャー検討における性能評価に適したモデル変換手法 (2013)
  • 小野 康一 ID: 9000258571076

    日本アイ・ビー・エム株式会社東京基礎研究所 (2003年 CiNii収録論文より)

    CiNii収録論文: 1件

    • MVCコンポーネント間関係記述に基づくWebアプリケーション開発支援 (2003)
  • 小野 康一 ID: 9000283468165

    日本アイ・ビー・エム株式会社東京基礎研究所 (2011年 CiNii収録論文より)

    CiNii収録論文: 1件

    • 組込みソフトウェアの性能評価のための実行トレースの捨象にもとづくモデリング手法 (2011)
  • 小野 康一 ID: 9000287167262

    CiNii収録論文: 1件

    • UMLによる組込みシステムの性能評価シミュレーションのための共有メモリーアクセスの競合の評価手法 (2012)
  • 小野 康一 ID: 9000325826463

    CiNii収録論文: 1件

    • IoT向けSIEMシステム設計のための脅威シナリオ検討 (情報通信マネジメント) (2016)
  • 小野 康一 ID: 9000348886044

    CiNii収録論文: 1件

    • 移動エージェントAgletsのセキュリティ・モデル(特集●インターネット) (2000)
ページトップへ