ウィンターワークショップ・イン・石垣島参加報告(会議報告)
スポンサーリンク
概要
- 論文の詳細を見る
2004年1月に開催された,ウィンターワークショップ・イン・石垣島の概要と,ワークショップで議論が行われた討論テーマについて報告する.
- 一般社団法人情報処理学会の論文
- 2004-08-19
著者
-
青木 利晃
北陸先端科学技術大学院大学
-
権藤 克彦
東京工業大学計算工学専攻
-
松下 誠
大阪大学大学院情報科学研究科
-
鷲崎 弘宜
国立情報学研究所
-
松下 誠
大阪大学
-
鷲崎 弘宜
早稲田大学
-
権藤 克彦
東京工業大学情報理工学研究科計算工学専攻
-
原 裕貴
富士通研究所
-
廣田 豊彦
九州産業大学 情報科学部
-
平山 雅之
情報処理推進機構ソフトウェア・エンジニアリング・センター
-
平山 雅之
東芝
-
鷲崎 弘宜
早稲田大学|国立情報学研究所graceセンター
-
細谷 竜一
東芝ソリューション
-
広田 豊彦
九州工業大学情報工学部
-
廣田 豊彦
九州産業大学情報科学部
-
権藤 克彦
日本ソフトウェア科学会特集編集委員会
-
権藤 克彦
東京工業大学学術国際情報センター
-
権藤 克彦
東京工業大学
-
平山 雅之
(株)東芝・ソフトウェア技術センター
関連論文
- x86版DRACULAのバグ修復と予備評価
- 組込みシステムシンポジウム2006実施報告(シンポジウム/ワークショップ実施報告)
- 組込みシステムシンポジウム2006実施報告(シンポジウム/ワークショップ実施報告)
- ウインターワークショップ2008・イン・道後開催報告
- ソフトウェア部品の利用関係におけるスケールフリー性の調査
- 広範な実用Cプログラムに適用可能かつ高精度な動的境界検査ツール (システム開発論文特集)
- 開発ツールを他言語へ適用するためのAST変換の定式化
- コンポーネントランク法によるソフトウェアクラスタリング結果の理解性向上(テスト技法・保守技術)
- ソフトウェア部品分類手法へのコンポーネントランク法の応用(学生セッション C_開発プロセス)
- Strutsフレームワークにおけるメタモデルを用いた追跡可能性実現手法の提案(アスペクト指向・Web)
- プロジェクト紹介 : 高信頼組込み用オブジェクト指向設計技術(組込み・アスペクト指向)
- Javaソフトウェアの部品グラフにおけるべき乗則の調査(ソフトウェア基礎,プログラム理論)
- 構文木の差分を用いた版管理システム向きマージ機能(システム評価・管理技術)
- 第25回ソフトウェア工学国際会議(ICSE2003)の話題
- 広範な実用Cプログラムに適用可能かつ高精度な動的境界検査ツール(ソフトウェア開発支援,システム開発論文)
- メタモデルに基づくトレーサビリティ技術の提案
- リビジョン情報と電子メールを用いたオープンソース開発向き情報検索システム
- なぜソフトウェア論文を書くのは難しい(と感じる)のか
- 分析業務に関する知識を用いた財務分析支援方式(社会・人間系の情報システム)
- プログラム理解のための実装レベル制約とソースコード間の追跡性の整理保存法(ソフトウェア工学)
- 特集「ソフトウェア工学」の編集にあたって
- レター論文の新設, 小論文の廃止
- 1L-2 モデル検査によるリアルタイムオペレーティングシステムの検証実験(リーディングプロジェクト e-society:高信頼性組み込みソフトウェア(1),一般セッション,リーディングプロジェクト e-society)
- 2.形式的手法による高信頼性組み込みソフトウェア開発(高信頼性組み込みソフトウェア開発-最新技術動向と取り組み-)
- オブジェクト指向分析モデルにおけるデータフローの形式化と解析手法
- 大規模ソースコードを対象としたコードクローンの検出と可視化(ソフトウェアテスト技法・保守技術)
- ソフトウェアパターン研究の発展経緯と最近の動向(ソフトウェア工学の動向報告)
- Cプログラムの割込み競合の動的検出法
- メソッドに用いられる動詞-目的語関係を収録した辞書構築手法の提案
- 第11回ソフトウェアプロダクトライン国際会議(SPLC2007)参加報告(ソフトウェア評価/プロダクトライン)
- ソフトウェアエンジニアリングシンポジウム2010開催報告
- ウインターワークショップ2008・イン・道後開催報告
- メソッドに用いられる動詞-目的語関係を収録した辞書構築手法の提案
- ソフトウェア論文座談会
- 影響波及解析を利用した保守作業の労力見積りに用いるメトリックスの提案(ソフトウェア工学)
- 保守請負時を対象とした労力見積りのためのメトリクスの提案
- Cプログラムのデータ競合の動的検出法
- 教育用コンパイラXCCとその可視化ツールMieruCompiler
- バージョン管理システムの利用コストと,その軽減手法
- 複合要因によるリソース誤解放を回避するための新しいCキーワードの提案と予備評価
- DRACULA : シグナルによるデータ競合の検出ツール(ソフトウェア工学)
- プログラム理解を支援するコンセプトキーワードの自動抽出法ckTF/IDF法の提案(テスト技法・保守技術,ソフトウェア工学の理論と実践)
- 中レベル抽象・薄い中間層・追跡性の実践によるコンパクトな教育用オペレーティングシステムudosの設計と実装(ソフトウェア工学)
- デバッグ情報を用いたC++用コールグラフ生成系 : 軽量なバイナリレベル型解析による仮想関数呼び出しの検出
- デバッグ情報を用いたC++用コールグラフ生成系軽量なバイナリレベル型解析による仮想関数呼び出しの検出
- シグナルにおけるデータ競合の検出
- プログラム理解に役立つ識別子からの"コンセプトキーワード"抽出法
- プログラム理解に役立つ識別子からの"コンセプトキーワード"抽出法
- ACMLに基づくプログラム情報抽出システムの設計
- Alloyを用いた構成変更支援ツールと適用実験
- モデル検査による設計検証と整合テスト
- 「ウィンターワークショップ2007・イン・那覇」開催報告(シンポジウム/ワークショップ実施報告)
- 「ウィンターワークショップ2007・イン・那覇」開催報告(シンポジウム/ワークショップ実施報告)
- 編集にあたって(高信頼性組み込みソフトウェア開発-最新技術動向と取り組み-)
- コラボレーションに基づくオブジェクト指向モデルの検証(システム検証の科学技術)
- ウィンターワークショップ・イン・石垣島参加報告(会議報告)
- 編集にあたって(組み込みソフトウェア開発技術)
- 状態遷移図の段階的構築のための論理的基盤
- (形式的仕様)振舞い近似手法を用いたステートチャートに対する不変性の検証(オブジェクト指向技術)
- ウィンターワークショップin神戸報告
- リファクタリングのための変更波及解析を利用したテスト支援ツールの提案
- インラインスクリプトを含んだXHTML文書に対するデータフロー解析を用いた構文検証手法(テスト技法・保守技術)
- D-3-5 XHTML 構文検証手法におけるスクリプト要素の静的解析アルゴリズム
- Java Scriptを含んだHTML文書に対するデータフロー解析を用いた構文検証手法の提案(組込みソフトウェア工学及び一般)
- JavaScriptを含んだHTML文書に対するデータフロー解析を用いた構文検証手法の提案
- JavaScriptを含んだHTML文書に対するデータフロー解析を用いた構文検証手法の提案
- D-3-5 JavaScriptを含むHTML文書の妥当性検証手法の提案
- 類似メソッドの集約のための差分抽出支援(フレッシャーズセッション)
- 類似メソッドの集約のための差分抽出支援(フレッシャーズセッション,一般,フレッシャーズセッション)
- ソースコードに対して適用可能な編集手順を探索するリファクタリング支援手法の提案
- ソースコード中の識別子に基づくカテゴリ階層構築手法(ソースコード分析と可視化)
- ソースコード中の識別子に基づくカテゴリ階層構築手法(ソースコード分析と可視化)
- コードクローン履歴閲覧環境を用いたクローン評価の試み
- Alloy を用いた構成変更支援ツールと適用実験
- 並行オブジェクトから並行処理列への変換法(ディペンダブルソフトウェア)
- オブジェクト指向方法論のための検証フレームワークに関する研究
- C言語用CASEツールへのDWARF2デバッグ情報の応用(サイバー増大ページ論文概要,新しいソフトウェアの実現,サイバー増大号)
- 利用実績に基づくソフトウェア部品重要度評価システム(ソフトウェア工学)
- ソースコード間の関係を用いた再利用性評価手法の提案
- コードの生存期間を考慮したコードクローンと欠陥修正の関係調査
- メソッドに用いられる動詞-目的語関係を収録した辞書構築手法の提案
- 状況に応じた設計情報の再利用を支援するUML図の自動推薦ツール
- 開発中のソースコードに基づくソフトウェア部品の自動推薦システムA-SCORE
- 構造指向型システムのための実行可能な仕様記述言語
- オブジェクト指向属性文法OOAGのソフトウェア開発環境への応用
- オブジェクト指向属性文法OOAGと高階属性文法のレコード計算による形式化
- 定理証明技術のオブジェクト指向分析への適用
- オブジェクト指向分析モデルの検証と公理系の提案
- 並行オブジェクトモデルから並行スレッドモデルへの変換法
- APSEC2001参加報告
- 組み込みシステム設計における並行正規表現を用いたスレッド抽出法の適用
- 定理証明システムHOLにおけるオブジェクト指向理論の構築
- 組み込みシステムの動向
- 並行動作するオブジェクトからの処理列の抽出法
- 並行動作するオブジェクトからの処理列の抽出法
- オブジェクト指向組み込みシステム開発のためのSES-Basedアプローチ
- 形式的オブジェクト指向分析モデルFO∀Mの構築法とその支援環境
- オブジェクト指向方法論のための形式的モデルの検証
- オブジェクト指向方法論のための形式的モデル
- モデル検査ツールにより出力された反例に基づく誤り特定に関する研究