「"阿草清滋"」の検索結果 | NDLサーチ

検索結果 148 件

タイトルでまとめる

Web応用システムにおけるラウンドトリップ開発のための意味的リファクタリング

紙図書

阿草清滋, 名古屋大学 [著][阿草清滋]2005-2007<Y151-H17300006>

国立国会図書館

高信頼性リアクティブミドルウェア構築のためのソフトウェアモデルに関する研究

紙図書

阿草清滋, 名古屋大学 [著][阿草清滋]2002-2004<Y151-H14380141>

国立国会図書館

Web応用システムにおけるラウンドトリップ開発のための意味的リファクタリング

紙図書

阿草清滋 [ほか著][出版者不明]2008.3

全国の図書館

ソフトウエアリサイクル支援環境の研究-Browser,Slicer,Specializerの設計と開発-

紙図書

阿草, 清滋, 名古屋大学1998-2000<Y151-H10308008>

国立国会図書館

高信頼性リアクティブミドルウェア構築のためのソフトウェアモデルに関する研究

紙図書

阿草清滋 [ほか著][出版者不明]2005.3

全国の図書館

機器組込み型ソフトウエア開発のための設計・検証システムの構築

紙図書

阿草, 清滋, 名古屋大学1996-1998<Y151-H08558034>

国立国会図書館

仕様の意味的類似性判定とそのソフトウエア自動合成への応用に関する研究

紙図書

阿草, 清滋, 名古屋大学1995-1997<Y151-H07458058>

国立国会図書館

ソフトウェアリサイクル支援環境の研究 : Browser,Slicer,Specializerの設計と開発

紙図書

阿草清滋[ほか著][出版者不明]2001.3

全国の図書館

機器組込み型ソフトウェア開発のための設計・検証システムの構築

紙図書

阿草清滋[出版者不明]1999.3

全国の図書館

仕様の意味的類似性判定とそのソフトウェア自動合成への応用に関する研究

紙図書

阿草清滋 [ほか著][出版者不明]1998.3

全国の図書館

メタプログラミングの基礎的研究

紙図書

阿草, 清滋, 名古屋大学1988-1990<Y151-H01580026>

国立国会図書館

組込みソフトウェアシンポジウム2004論文集 (情報処理学会シンポジウムシリーズ = IPJS symposium series ; v.2004 no.10)

紙図書

情報処理学会ソフトウエア工学研究会 [編]情報処理学会2004.10<M159-H969>

国立国会図書館

マルチメディア情報処理ネットワーク絵とき読本

紙図書

坂井利之編著, 阿草清滋 [ほか]著オーム社1989.4<ND633-E88>

国立国会図書館全国の図書館

メタプログラミングの基礎的研究

紙図書

阿草清滋[ほか著][出版者不明]1991.3

全国の図書館

関数的体系に基くソフトウェアの自動的設計に関する研究

紙図書

阿草清滋, 京都大学1983-1984<Y151-S58580027>

国立国会図書館

Studies on specification description and verification in logical system design

紙博士論文

阿草清滋 [著]<UT51-57-L413>

国立国会図書館

ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2004 11 (レクチャーノート/ソフトウェア学 ; 30)

紙図書

野呂昌満, 山本晋一郎編近代科学社2004.11<M159-H961>

国立国会図書館全国の図書館

マルチメディア : 情報処理ネットワーク絵とき読本

紙図書

坂井利之編著 ; 阿草清滋[ほか]著オーム社1988.10

全国の図書館

関数的体系に基くソフトウェアの自動的設計に関する研究

紙図書

阿草清滋研究代表[阿草清滋][1985.3]

全国の図書館

ソフトウェアエンジニアリング最前線 2010

紙図書

松下誠, 紫合治編近代科学社2010.8<M159-J1078>

国立国会図書館全国の図書館