本文に飛ぶ

年 〜
年

検索結果 9 件

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

Web応用システムにおけるラウンドトリップ開発のための意味的リファクタリング
紙図書
阿草清滋, 名古屋大学 [著][阿草清滋]2005-2007<Y151-H17300006>
国立国会図書館
  • 著者標目（識別子）00184975 00260057

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

高信頼性リアクティブミドルウェア構築のためのソフトウェアモデルに関する研究
紙図書
阿草清滋, 名古屋大学 [著][阿草清滋]2002-2004<Y151-H14380141>
国立国会図書館
  • 著者標目（識別子）00184975 00260057

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

ソフトウエアリサイクル支援環境の研究-Browser,Slicer,Specializerの設計と開発-
紙図書
阿草, 清滋, 名古屋大学1998-2000<Y151-H10308008>
国立国会図書館
  • 著者標目（識別子）00184975

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

機器組込み型ソフトウエア開発のための設計・検証システムの構築
紙図書
阿草, 清滋, 名古屋大学1996-1998<Y151-H08558034>
国立国会図書館
  • 著者標目（識別子）00184975

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

仕様の意味的類似性判定とそのソフトウエア自動合成への応用に関する研究
紙図書
阿草, 清滋, 名古屋大学1995-1997<Y151-H07458058>
国立国会図書館
  • 著者標目（識別子）00184975

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

メタプログラミングの基礎的研究
紙図書
阿草, 清滋, 名古屋大学1988-1990<Y151-H01580026>
国立国会図書館
  • 著者標目（識別子）00184975

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

マルチメディア情報処理ネットワーク絵とき読本
紙図書
坂井利之 編著, 阿草清滋 [ほか]著オーム社1989.4<ND633-E88>
国立国会図書館全国の図書館
  • 著者標目（識別子）00065877 00184975

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

関数的体系に基くソフトウェアの自動的設計に関する研究
紙図書
阿草清滋, 京都大学1983-1984<Y151-S58580027>
国立国会図書館
  • 著者標目（識別子）00184975

Studies on specification description and verification in logical system design

Studies on specification description and verification in logical system design
紙博士論文
阿草清滋 [著]<UT51-57-L413>
国立国会図書館
  • 著者標目（識別子）00184975

検索結果は以上です。

RSS