阿草 清滋


ソフトウェア開発支援基盤のためのソースプログラムのXML表現
渥美 紀寿 小林 隆志 山本 晋一郎 阿草 清滋 
誌名:   電子情報通信学会論文誌 D
発行日: 2013/11/01
Vol. J96-D  No. 11  pp. 2681-2691
論文種別:  特集論文 (ソフトウェア基礎・応用論文特集)
専門分野: ソフトウェア工学
キーワード: 
プログラム解析CASEツール・プラットホーム解析サービス開発支援
 あらまし | 本文:PDF(1.2MB)

知識基盤社会を支える情報技術論文特集の発行にあたって
阿草 清滋 
誌名:   電子情報通信学会論文誌 D
発行日: 2009/09/01
Vol. J92-D  No. 9  pp. 1455-1455
論文種別:  巻頭言
専門分野: 
キーワード: 
 あらまし | 本文:PDF(556.5KB)

π計算に対する時間拡張と合同的性質
桑原 寛明 結縁 祥治 阿草 清滋 
誌名:   電子情報通信学会論文誌 D
発行日: 2006/04/01
Vol. J89-D  No. 4  pp. 632-641
論文種別:  特集論文 (フォーマルアプローチ論文特集)
専門分野: 計算モデル
キーワード: 
π計算時間付きプロセス代数合同性実時間並行プログラム
 あらまし | 本文:PDF(258.2KB)

イディオム検索のための関数呼出依存グラフのクラスタリング手法
渥美 紀寿 山本 晋一郎 阿草 清滋 
誌名:   電子情報通信学会論文誌 D
発行日: 2005/11/01
Vol. J88-D1  No. 11  pp. 1696-1707
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
ソフトウェア再利用ソフトウェア検索イディオム類似度クラスタリング
 あらまし | 本文:PDF(1.6MB)

設計工程に合わせたビュー生成を可能にするソフトウェア文書 管理手法の提案
手嶋 茂晴 荒木 円博 阿草 清滋 
誌名:   電子情報通信学会論文誌 D
発行日: 1999/06/25
Vol. J82-D1  No. 6  pp. 740-750
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
ソフトウェア工学ハイパテキスト構造化文書World-Wide-Web組込みシステム
 あらまし | 本文:PDF(1.5MB)

組込み型制御システムのためのプログラムモデルとそれに基づくプロトタイプ設計支援システムの開発
手嶋 茂晴 稲森 豊 阿草 清滋 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/08/25
Vol. J80-D1  No. 8  pp. 691-702
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
リアルタイムシステム機器組込みシステムソフトウェア工学プロトタイピング時系列処理
 あらまし | 本文:PDF(781.1KB)

項集合書換え系とその合流性
粕谷 英人 酒井 正彦 山本 晋一郎 阿草 清滋 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/04/25
Vol. J80-D1  No. 4  pp. 325-334
論文種別:  論文
専門分野: オートマン,言語理論,計算論
キーワード: 
項書換え系合流性停止性完備化
 あらまし | 本文:PDF(582.9KB)

共有メモリ型並列計算機における項書換え系の実現方式
山本 晋一郎 石川 亮 酒井 正彦 阿草 清滋 
誌名:   電子情報通信学会論文誌 D
発行日: 1995/06/25
Vol. J78-D1  No. 6  pp. 559-562
論文種別:  レター
専門分野: 
キーワード: 
項書換え系並列処理共有メモリ型並列計算機
 あらまし | 本文:PDF(246.1KB)

エラー付き代数的仕様とエラー記述の自動付加
濱口 毅 酒井 正彦 山本 晋一郎 阿草 清滋 
誌名:   電子情報通信学会論文誌 D
発行日: 1995/03/25
Vol. J78-D1  No. 3  pp. 323-330
論文種別:  論文
専門分野: ソフトウェアシステム
キーワード: 
代数的仕様記述エラー記述
 あらまし | 本文:PDF(566.5KB)

ハザードレスNAND回路の合成
阿草 清滋 上林 弥彦 
誌名:   電子情報通信学会論文誌 D
発行日: 1975/03/25
Vol. J58-D  No. 3  pp. 121-128
論文種別:  論文・資料
専門分野: 
キーワード: 
 あらまし | 本文:PDF(633KB)