NDL SEARCH (NATIONAL DIET LIBRARY, JAPAN)
Open Menu
Search
Help
Login
Help
Login
Search
Refiners
Refiners
Library
Close field
National Diet Library
Other Libraries in Japan
Available online
Title
Close field
Author/Editor
Close field
Publisher
Close field
Year
Close field
yr
〜
yr
Open
1970s
(4)
1980s
(21)
1990s
(38)
2000s
(67)
2010s
(20)
ISBN / ISSN
Close field
Call number
Close field
Material type
Link to Help Page
Close field
Books
(38)
Periodicals
(108)
Newspapers
Japanese and Chinese Old Materials
Doctoral Dissertations
(1)
Maps
Musical Scores
Web sites
Online Publications
Electronic Resources
(2)
Video Materials
Audio Materials
Standards and Technical Reports
Manuscripts and Images
Deselect all
Periodical article etc
Material Format
Link to Help Page
Close field
Digital
(14)
Paper
(132)
Microform
Recording Media
(2)
Deselect all
Refiners
Refiners
Search results 148
20 results per page
50 results per page
100 results per page
List
Thumbnails
Table
Relevance
Published (old first)
Published (new first)
Title (ascend)
Title (descend)
Author (ascend)
Author (descend)
Call number
Group by title
Add all to My List
Web応用システムにおけるラウンドトリップ開発のための意味的リファクタリング
Web応用システムにおけるラウンドトリップ開発のための意味的リファクタリング
Paper
図書
阿草清滋, 名古屋大学 [著]
[阿草清滋]
2005-2007
<Y151-H17300006>
National Diet Library
高信頼性リアクティブミドルウェア構築のためのソフトウェアモデルに関する研究
高信頼性リアクティブミドルウェア構築のためのソフトウェアモデルに関する研究
Paper
図書
阿草清滋, 名古屋大学 [著]
[阿草清滋]
2002-2004
<Y151-H14380141>
National Diet Library
Web応用システムにおけるラウンドトリップ開発のための意味的リファクタリング
Web応用システムにおけるラウンドトリップ開発のための意味的リファクタリング
Paper
図書
阿草清滋 [ほか著]
[出版者不明]
2008.3
Other Libraries in Japan
ソフトウエアリサイクル支援環境の研究-Browser,Slicer,Specializerの設計と開発-
ソフトウエアリサイクル支援環境の研究-Browser,Slicer,Specializerの設計と開発-
Paper
図書
阿草, 清滋, 名古屋大学
1998-2000
<Y151-H10308008>
National Diet Library
高信頼性リアクティブミドルウェア構築のためのソフトウェアモデルに関する研究
高信頼性リアクティブミドルウェア構築のためのソフトウェアモデルに関する研究
Paper
図書
阿草清滋 [ほか著]
[出版者不明]
2005.3
Other Libraries in Japan
機器組込み型ソフトウエア開発のための設計・検証システムの構築
機器組込み型ソフトウエア開発のための設計・検証システムの構築
Paper
図書
阿草, 清滋, 名古屋大学
1996-1998
<Y151-H08558034>
National Diet Library
仕様の意味的類似性判定とそのソフトウエア自動合成への応用に関する研究
仕様の意味的類似性判定とそのソフトウエア自動合成への応用に関する研究
Paper
図書
阿草, 清滋, 名古屋大学
1995-1997
<Y151-H07458058>
National Diet Library
ソフトウェアリサイクル支援環境の研究 : Browser,Slicer,Specializerの設計と開発
ソフトウェアリサイクル支援環境の研究 : Browser,Slicer,Specializerの設計と開発
Paper
図書
阿草清滋[ほか著]
[出版者不明]
2001.3
Other Libraries in Japan
機器組込み型ソフトウェア開発のための設計・検証システムの構築
機器組込み型ソフトウェア開発のための設計・検証システムの構築
Paper
図書
阿草清滋
[出版者不明]
1999.3
Other Libraries in Japan
仕様の意味的類似性判定とそのソフトウェア自動合成への応用に関する研究
仕様の意味的類似性判定とそのソフトウェア自動合成への応用に関する研究
Paper
図書
阿草清滋 [ほか著]
[出版者不明]
1998.3
Other Libraries in Japan
メタプログラミングの基礎的研究
メタプログラミングの基礎的研究
Paper
図書
阿草, 清滋, 名古屋大学
1988-1990
<Y151-H01580026>
National Diet Library
組込みソフトウェアシンポジウム2004論文集 (情報処理学会シンポジウムシリーズ = IPJS symposium series ; v.2004 no.10)
組込みソフトウェアシンポジウム2004論文集 (情報処理学会シンポジウムシリーズ = IPJS symposium series ; v.2004 no.10)
Paper
図書
情報処理学会ソフトウエア工学研究会 [編]
情報処理学会
2004.10
<M159-H969>
National Diet Library
マルチメディア情報処理ネットワーク絵とき読本
マルチメディア情報処理ネットワーク絵とき読本
Paper
図書
坂井利之 編著, 阿草清滋 [ほか]著
オーム社
1989.4
<ND633-E88>
National Diet Library
Other Libraries in Japan
メタプログラミングの基礎的研究
メタプログラミングの基礎的研究
Paper
図書
阿草清滋[ほか著]
[出版者不明]
1991.3
Other Libraries in Japan
関数的体系に基くソフトウェアの自動的設計に関する研究
関数的体系に基くソフトウェアの自動的設計に関する研究
Paper
図書
阿草清滋, 京都大学
1983-1984
<Y151-S58580027>
National Diet Library
Studies on specification description and verification in logical system design
Studies on specification description and verification in logical system design
Paper
博士論文
阿草清滋 [著]
<UT51-57-L413>
National Diet Library
ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2004 11 (レクチャーノート/ソフトウェア学 ; 30)
ソフトウェア工学の基礎 : 日本ソフトウェア科学会FOSE 2004 11 (レクチャーノート/ソフトウェア学 ; 30)
Paper
図書
野呂昌満, 山本晋一郎 編
近代科学社
2004.11
<M159-H961>
National Diet Library
Other Libraries in Japan
マルチメディア : 情報処理ネットワーク絵とき読本
マルチメディア : 情報処理ネットワーク絵とき読本
Paper
図書
坂井利之編著 ; 阿草清滋[ほか]著
オーム社
1988.10
Other Libraries in Japan
関数的体系に基くソフトウェアの自動的設計に関する研究
関数的体系に基くソフトウェアの自動的設計に関する研究
Paper
図書
阿草清滋研究代表
[阿草清滋]
[1985.3]
Other Libraries in Japan
ソフトウェアエンジニアリング最前線 2010
ソフトウェアエンジニアリング最前線 2010
Paper
図書
松下誠, 紫合治 編
近代科学社
2010.8
<M159-J1078>
National Diet Library
Other Libraries in Japan
Show more (21-)
Bulk download of bibliographic information