抽象スレッドに基づくソースプログラムの依存解析の枠組の提案

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人日本ソフトウェア科学会の論文
• 1999-01-18

著者

• 吉田 敦

  和歌山大学システム情報学センター

• 吉田 敦

  豊橋技術科学大学知識情報工学系

• 阿草 清滋

  名古屋大学大学院情報科学研究科

• 阿草 清滋

  名古屋大学

• 山本 晋一郎

  愛知県立大学

関連論文

• MVCフレームワークに基づくウェブアプリケーションの構造改善における依存性注入パターンの適用支援
• 通信プロセスモデルによるAIBO OPEN-Rプログラムのデッドロックフリー解析手法(検証/テストとデバッグ,組込みシステム工学)
• 4. ソフトウェアエンジニアリング領域(J07-SE)(情報専門学科カリキュラム標準J07)
• 二相XSLT構造を用いたWebボードゲームの設計と実装
• ソフトウェアエンジニアリングシンポジウム2008開催報告(調査・報告・教育)
• Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証
• Haskellのための非同期局所化π計算に基づくネットワークプログラミングフレームワーク
• 細粒度リポジトリに基づくVHDLツールプラットフォーム(ツール,開発環境)
• 4M-7 ルールセットの類似性を用いたCSSリファクタリング手法の提案(リーディングプロジェクト e-society:高信頼ソフトウェア・WebWare開発支援システム,一般セッション,リーディングプロジェクト e-society)
• ページ滞留時間を考慮し行動意図を推定するアクセスログ解析手法の提案
• プログラムの構文要素に基づく版管理システムのための差分取得手法
• 軽量下流CASEツール構築のためのソースプログラム表現形式の提案(開発支援環境・自動化技術)
• プログラム解析における細粒度の構文情報と意味情報の連係に向けて
• リッチクライアントに適したWebアプリケーションフレームワークの提案と実装
• 専用ソフトウェアアーキテクチャ型のモデル化効率の評価
• 4ZC-8 クラス図変形規則集の編簒
• 4ZC-6 オブジェクトクラスタに基づく最適な制御構造の作成規則
• 4ZC-1 制御オブジェクトの役割の解明
• プログラムの正規化に基づいた差分抽出法の提案
• オブジェクト指向開発方法論の初期クラス識別能力の定量的な比較
• ソフトウェア・アーキテクチャの変更容易性の比較・評価
• オブジェクト指向分析における初心者の犯しやすい誤りの分析
• オブジェクト指向モデルの頑健性の研究
• ユースケースに基づくオブジェクト識別法の洗練
• 意味を考慮した差分抽出ツール
• 2.血液培養から分離された肺炎球菌の莢膜血清型と薬剤感受性および臨床背景の検討(一般演題,第35回獨協医学会)
• 血液培養の落とし穴 (特集 ICUにおける感染のトピックス)
• 15.キノロン耐性GBSの疫学的解析ならびに耐性機序の解明(一般演題,第34回獨協医学会)
• On the Job Learning : 産学連携による新しいソフトウェア工学教育手法
• 高精度なデータ依存解析に基づくシーケンス図スライシング手法(モデリング(学生セッション))
• ソフトウェア理解支援のための多粒度ソフトウェアマップ(インタフェース・ナビゲーション(学生セッション))
• ソフトウェアの大局的可視化のための組織化メトリクス
• プログラム解析における細粒度の構文情報と意味情報の連係に向けて
• 知識基盤社会を支える情報技術論文特集の発行にあたって
• StrutsLint : Web アプリケーションコーディングチェッカ
• 7.高信頼WebWare生成技術 : WebWareのテスト・解析・作成支援(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
• 要求定義支援のための要求適合度を用いた事例検索(要求工学(学生セッション))
• 階層分割に基づく組込みソフトウェアの振舞い検証の支援について
• 設計工程に合わせたビュー生成を可能にするソフトウェア文書管理手法の提案
• 歴代理事長座談会「日本ソフトウェア科学会の20年とこれから」(20周年記念特集)
• 要求フレームに基づいたソフトウェア要求仕様化技法
• ウィンターワークショップ2006・イン・鴨川参加報告
• 制御ソフトウェアの固定小数点演算化ツールの設計と実装
• 4M-4 細粒度マークアップに基づくカスタマイズ可能なコーディング規約検査器(リーディングプロジェクト e-society:高信頼ソフトウェア・WebWare開発支援システム,一般セッション,リーディングプロジェクト e-society)
• アマゾンバグ防止フレームワークのためのWebアプリケーション双実行モデル
• NEXCESS : 社会人組込みソフトウェア技術者教育におけるスキル育成
• 社会人に対する組込みソフトウェア技術の再教育の取り組み
• GUI抽象化規則を用いたモデル生成手法(開発支援(2)(学生セッション))
• Web抽象プログラムを用いたリファクタリング(開発支援(2)(学生セッション))
• メタ情報とコンテキスト情報を用いた入力補完機能とXPath入力への応用
• デ-25 CX-Checker : 柔軟なカスタマイズが可能なC言語コーディングルールチェッカー(デモセッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
• メタ情報とコンテキスト情報を用いた入力補完機能と XPath 入力への応用
• バリエーション並行開発のための版管理ツールと統合開発環境
• 細粒度リポジトリに基づいたCASEツール・プラットフォームSapid(並列処理)
• 「SEC journal」創刊記念論文 優秀賞受賞論文 大学における社会人向け組込みソフトウェア技術者人材養成の実施と分析 (「SEC journal」創刊記念論文 優秀賞受賞論文発表)
• 社会人に対する組込みソフトウェア技術の再教育の取り組み
• 時間付きデザインパターンに基づく実時間並行ソフトウェアの開発手法
• 20周年特別功労賞発足の経緯と表彰者の紹介(20周年記念特集)
• 情報科学研究の推進 (特集 情報科学研究)
• 記憶ペンによる部分像系列から全体像を再現する方法
• 時間付き$\pi$計算における有限プロセスの時間動作抽象化(計算機科学の理論とその応用)
• Javaプログラム理解支援のための不変性解析
• Java プログラム理解支援のための不変性解析
• π計算に対する時間拡張と合同的性質(計算モデル,フォーマルアプローチ論文)
• π計算に基づくプログラミング言語NepiのためのGUI機能
• 時間付きπ計算によるリアルタイムオブジェクト指向言語の形式的記述(オブジェクト指向とWeb技術)
• π計算による優先度継承プロトコルの形式的記述
• 新しい入力デバイス : 記憶ペン
• 宣言的なプログラム解析が可能なRDFに基づく細粒度ソフトウェアリポジトリ(開発支援(2)(学生セッション))
• 宣言的なプログラム解析が可能なRDFに基づく細粒度ソフトウェアリポジトリ
• (開発支援環境)XMLを用いた汎用的な細粒度ソフトウェアリポジトリの実装(オブジェクト指向技術)
• Webオートマトン : MVCモデルに基づくWebアプリケーションの動作モデル(ディペンダブルソフトウェア)
• CASEツール開発のためのソフトウェア操作言語
• 依存関係に基づく差分抽出ツール
• ツ-ルプラットホ-ムとそれを用いた応用プログラム (ソフトウェア工学)
• ソフトウェアの動作状況のモデル化に関する研究
• イディオム検索のための関数呼出依存グラフのクラスタリング手法(ソフトウェア工学)
• XML記述によるソフトウェアリポジトリを用いたコード検索(開発支援環境)
• FCDGに基づいたコーディングパターン
• ラウンドトリップエンジニアリングを目指したWebアプリケーションのための意味モデル(産学連携論文)
• ハイパーテキストを用いたソフトウェアの統合と共有
• オブジェクト指向言語のための細粒度システム依存グラフ
• 自律的BOBモデルを用いたTRSの並列分散実行系
• セッション型に基づく高信頼ネットワークプログラムの関数型言語による実装手法
• 時間オートマトンによる振舞いモデルに基づく高信頼Real-Time Javaコード生成手法
• 時間オートマトンによる振舞いモデルに基づく高信頼 Real-Time Java コード生成手法
• ブレイクポイント・チェッカーボードプレートによる多剤耐性緑膿菌感染症に対する治療薬選択のためのスコア化による評価
• HTML要素の状態を考慮したCSSの拡張方法の提案(研究速報)
• パターンに基づくCSP記述の検査に関する考察
• 新生児および妊婦褥婦由来B群レンサ球菌の薬剤感受性と血清型 : 多施設共同研究1999年-2009年
• 抽象スレッドに基づくソースプログラムの依存解析の枠組の提案
• 細粒度ソフトウェア・リポジトリに基づいたソースプログラムの安全な変更
• 属性付き字句系列に基づくソースコード書き換え支援環境
• 並行システム記述におけるフォールトパターンに関する考察
• 前処理前プログラムに対する記号表の構成手法
• アーキテクチャ指向開発における形式手法の適用に関する考察
• アーキテクチャ指向開発における形式手法の適用に関する考察
• 並行システム記述におけるフォールトパターンに関する考察(検証と品質,ソフトウェアサイエンス、理論)
• プログラミング学習における誤り訂正問題の自動生成方法の提案
• プログラミング学習における誤り訂正問題の自動生成方法の提案

もっと見る 閉じる

スポンサーリンク