細粒度リポジトリに基づいたCASEツール・プラットフォームSapid(<特集>並列処理)
スポンサーリンク
概要
- 論文の詳細を見る
CASEツールの開発には通常のリポジトリが扱わない細かい粒度の構成要素の管理を必要とする.我々はそのために, C言語のソースコードを12種類のクラスと29種類の関連としてモデル化した.また, このモデルに基づいたCASEツール・プラットフォームSapidを作成し, 現在, 複数の研究機関や開発現場でCASEツールの作成に用い評価をしている.Sapidの有効性を示すためにEmacs上で動作するソフトウェア操作エディタ, 関数仕様書管理ツール, program slicingツール, 依存解析ツールなどを作成した.これらの経験より, Sapidが提供するAPIを用いて各種の中流・下流CASEツールを見通し良く作成できることを確認した.
- 一般社団法人情報処理学会の論文
- 1998-06-15
著者
関連論文
- MVCフレームワークに基づくウェブアプリケーションの構造改善における依存性注入パターンの適用支援
- CSS記述における不吉な匂いの検出とリファクタリング
- 通信プロセスモデルによるAIBO OPEN-Rプログラムのデッドロックフリー解析手法(検証/テストとデバッグ,組込みシステム工学)
- Webサービスにおけるオブジェクト送受のためのコード自動作成
- 4. ソフトウェアエンジニアリング領域(J07-SE)(情報専門学科カリキュラム標準J07)
- 二相XSLT構造を用いたWebボードゲームの設計と実装
- Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証
- ウェブアプリケーションフレームワーク利用に潜む課題--実プロジェクトデータを題材に (特集 ソフトウェア工学)
- Haskellのための非同期局所化π計算に基づくネットワークプログラミングフレームワーク
- 細粒度リポジトリに基づくVHDLツールプラットフォーム(ツール,開発環境)
- 4M-7 ルールセットの類似性を用いたCSSリファクタリング手法の提案(リーディングプロジェクト e-society:高信頼ソフトウェア・WebWare開発支援システム,一般セッション,リーディングプロジェクト e-society)
- ページ滞留時間を考慮し行動意図を推定するアクセスログ解析手法の提案
- プログラムの構文要素に基づく版管理システムのための差分取得手法
- プログラム解析における細粒度の構文情報と意味情報の連係に向けて
- リッチクライアントに適したWebアプリケーションフレームワークの提案と実装
- プログラムの正規化に基づいた差分抽出法の提案
- 意味を考慮した差分抽出ツール
- ウェブアプリケーションフレームワーク利用に潜む課題 : 実プロジェクトデータを題材に
- On the Job Learning : 産学連携による新しいソフトウェア工学教育手法
- 高精度なデータ依存解析に基づくシーケンス図スライシング手法(モデリング(学生セッション))
- ソフトウェア理解支援のための多粒度ソフトウェアマップ(インタフェース・ナビゲーション(学生セッション))
- ソフトウェアの大局的可視化のための組織化メトリクス
- プログラム解析における細粒度の構文情報と意味情報の連係に向けて
- 知識基盤社会を支える情報技術論文特集の発行にあたって
- StrutsLint : Web アプリケーションコーディングチェッカ
- 7.高信頼WebWare生成技術 : WebWareのテスト・解析・作成支援(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- 要求定義支援のための要求適合度を用いた事例検索(要求工学(学生セッション))
- 実践的ソフトウェア開発演習支援のためのグループ間比較にもとづくプロセスモニタリング環境(教育実践研究論文,学習・教育支援のための技術開発)
- 設計工程に合わせたビュー生成を可能にするソフトウェア文書管理手法の提案
- 歴代理事長座談会「日本ソフトウェア科学会の20年とこれから」(20周年記念特集)
- 要求フレームに基づいたソフトウェア要求仕様化技法
- 事例分析に基づく組込みシステムに適したソフトウェアアーキテクチャの提案
- 事例分析に基づく組込みシステムに適したソフトウェアアーキテクチャの提案
- 制御ソフトウェアの固定小数点演算化ツールの設計と実装
- ウインターワークショップ2009・イン・宮崎開催報告
- ウインターワークショップ2009・イン・宮崎開催報告
- ウインターワークショップ2009・イン・宮崎開催報告
- 4M-4 細粒度マークアップに基づくカスタマイズ可能なコーディング規約検査器(リーディングプロジェクト e-society:高信頼ソフトウェア・WebWare開発支援システム,一般セッション,リーディングプロジェクト e-society)
- アマゾンバグ防止フレームワークのためのWebアプリケーション双実行モデル
- NEXCESS : 社会人組込みソフトウェア技術者教育におけるスキル育成
- 社会人に対する組込みソフトウェア技術の再教育の取り組み
- GUI抽象化規則を用いたモデル生成手法(開発支援(2)(学生セッション))
- Web抽象プログラムを用いたリファクタリング(開発支援(2)(学生セッション))
- 開発プロセスの観察とグループ間比較による実践的ソフトウェア開発演習の支援環境
- メタ情報とコンテキスト情報を用いた入力補完機能とXPath入力への応用
- デ-25 CX-Checker : 柔軟なカスタマイズが可能なC言語コーディングルールチェッカー(デモセッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- メタ情報とコンテキスト情報を用いた入力補完機能と XPath 入力への応用
- バリエーション並行開発のための版管理ツールと統合開発環境
- 細粒度リポジトリに基づいたCASEツール・プラットフォームSapid(並列処理)
- 「ウィンターワークショップ2007・イン・那覇」開催報告(シンポジウム/ワークショップ実施報告)
- 「ウィンターワークショップ2007・イン・那覇」開催報告(シンポジウム/ワークショップ実施報告)
- 「SEC journal」創刊記念論文 優秀賞受賞論文 大学における社会人向け組込みソフトウェア技術者人材養成の実施と分析 (「SEC journal」創刊記念論文 優秀賞受賞論文発表)
- 社会人に対する組込みソフトウェア技術の再教育の取り組み
- 時間付きデザインパターンに基づく実時間並行ソフトウェアの開発手法
- 20周年特別功労賞発足の経緯と表彰者の紹介(20周年記念特集)
- 情報科学研究の推進 (特集 情報科学研究)
- 記憶ペンによる部分像系列から全体像を再現する方法
- 時間付き$\pi$計算における有限プロセスの時間動作抽象化(計算機科学の理論とその応用)
- Javaプログラム理解支援のための不変性解析
- Java プログラム理解支援のための不変性解析
- π計算に対する時間拡張と合同的性質(計算モデル,フォーマルアプローチ論文)
- π計算に基づくプログラミング言語NepiのためのGUI機能
- 時間付きπ計算によるリアルタイムオブジェクト指向言語の形式的記述(オブジェクト指向とWeb技術)
- π計算による優先度継承プロトコルの形式的記述
- ウインターワークショップ2009・イン・宮崎 開催報告
- 新しい入力デバイス : 記憶ペン
- 宣言的なプログラム解析が可能なRDFに基づく細粒度ソフトウェアリポジトリ(開発支援(2)(学生セッション))
- 宣言的なプログラム解析が可能なRDFに基づく細粒度ソフトウェアリポジトリ
- (開発支援環境)XMLを用いた汎用的な細粒度ソフトウェアリポジトリの実装(オブジェクト指向技術)
- CASEツール開発のためのソフトウェア操作言語
- 依存関係に基づく差分抽出ツール
- 事例分析に基づく組込みシステムに適したソフトウェアアーキテクチャの提案
- 事例分析に基づく組込みシステムに適したソフトウェアアーキテクチャの提案
- ソフトウェアの動作状況のモデル化に関する研究
- ハイパーテキストを用いたソフトウェアの統合と共有
- 自律的BOBモデルを用いたTRSの並列分散実行系
- 共有メモリ型並列計算機における項書換え系の実現方式
- リポジトリのリアルタイムな可視化にもとづくPBLの支援環境--継続的な実施を目的として (ソフトウェアサイエンス)
- 依存関係が定義可能なテストベッド
- WWW上のカスタマイズ可能な検索システムに関する研究
- 代数的仕様記述を利用したプログラムのエラー記述変更
- インターネットにおける効率的なフォントデータの配送方式
- エラー付き代数的仕様とエラー記述の自動付加
- 項集合書換え系とその合流性
- 項集合書換え系の合流性について
- リポジトリのリアルタイムな可視化にもとづくPBLの支援環境 : 継続的な実施を目的として
- 図形部品自動整列モデルおよびその機能をもつ図形エディタ
- 形式的仕様を用いた再利用モデル
- オブジェクト指向分析における状態遷移図分割アルゴリズムの提案
- ソースプログラムに対する構文規則に基づいた高度な問い合わせシステムに関する研究
- 細粒度ソフトウェア・リポジトリに基づいたソースプログラムの安全な変更
- FunGramに基づくプログラムパターンとその応用
- ソフトウェア開発PBLにおけるプロジェクトの可視化に基づく適応的な指導の実現 (ICTの高度化による先進的学習支援に向けて : 技術と人間の共生を目指して)
- 関数スライサによるプログラム部品抽出手法とその応用
- ネイティブアセンブリコードを出力する教育用コンパイラ(XCC)と,水平スライスが可能な可視化ツール(MieruCompiler)(ソフトウェア工学)
- 細粒度プロジェクトモニタリングのためのDaaSを利用したソフトウェア開発PBL支援環境の提案 (知能ソフトウェア工学)
- 細粒度プロジェクトモニタリングのためのDaaSを利用したソフトウェア開発PBL支援環境の提案 (ソフトウェアサイエンス)
- ソフトウェア構造解析情報に基づくツールプラットホームシステム
- 通信アプリケーションの変更に応じた状態機械の記述への操作とその再利用について
- ぺた語義:ソフトウェア開発PBLの定量的評価 -クラウドコンピューティングの活用-