Jump to main content

yr 〜
yr

Search results 154

法令工学の実践　国民年金法の述語論理による記述と検証

法令工学の実践　国民年金法の述語論理による記述と検証
Digital図書
片山, 卓也JAIST Press2023-07p.1-146
Other Libraries in Japan
  • Author Heading片山, 卓也

形式的オブジエクト指向方法論に基づく組込みソフトウエアの構成法の研究

形式的オブジエクト指向方法論に基づく組込みソフトウエアの構成法の研究
Paper図書
片山, 卓也, 北陸先端科学技術大学院大学2000-2002<Y151-H12480071>
National Diet Library
  • Author Heading片山, 卓也

平成9年度活動報告書 第2回研究会報告書

平成9年度活動報告書 第2回研究会報告書
Paper図書
片山, 卓也, 北陸先端科学技術大学1997-1999<Y151-ZY290-001>
National Diet Library
  • Author Heading片山, 卓也

平成9-11年度研究成果報告書

平成9-11年度研究成果報告書
Paper図書
片山, 卓也, 北陸先端科学技術大学院大学1997-1999<Y151-ZY290-002>
National Diet Library
  • Author Heading片山, 卓也

法令工学の提案 : 北陸先端科学技術大学院大学21世紀COEプログラム検証進化可能電子社会 (COE research monograph series ; v.2)

法令工学の提案 : 北陸先端科学技術大学院大学21世紀COEプログラム検証進化可能電子社会 (COE research monograph series ; v.2)
Paper図書
片山卓也 編JAIST Press2007.9<A121-J5>
National Diet Library
  • Author Heading片山, 卓也, 1939-

JAIIST-COE/AIIST-CVS シンポジウム : 形式検証技術―現状と安心電子社会への適用

JAIIST-COE/AIIST-CVS シンポジウム : 形式検証技術―現状と安心電子社会への適用
Digital文書・図像類
片山, 卓也2007-09-06p.1-8
Other Libraries in Japan
  • Author Heading片山, 卓也

JAIST-COEシンポジウム : 法令工学の可能性と展望

JAIST-COEシンポジウム : 法令工学の可能性と展望
Digital文書・図像類
片山, 卓也2007-09-07p.1-15
Other Libraries in Japan
  • Author Heading片山, 卓也

法令工学の提案

法令工学の提案
Paper図書
片山卓也編JAIST Press2007.9
Other Libraries in Japan
  • Author Heading片山, 卓也

ソフトウェア工学大事典 普及版

ソフトウェア工学大事典 普及版
Paper図書
John J.Marciniak [編], 片山卓也, 土居範久, 鳥居宏次 監訳朝倉書店2007.6<M2-H118>
National Diet LibraryOther Libraries in Japan
  • Author HeadingMarciniak, John J 片山, 卓也, 1939- 土居, 範久, 1939- 鳥居, 宏次, ...

COE Research Monograph Series, Vol. 2 : 法令工学の提案

COE Research Monograph Series, Vol. 2 : 法令工学の提案
Digital図書
片山, 卓也, 島津, 明, 東条, 敏, 二木, 厚吉, 緒方, 和博, 有本, 泰仁, 落水, 浩一郎, 早坂, 良JAIST Press2007-092
Other Libraries in Japan
  • Contributor片山, 卓也
  • Author Heading片山, 卓也 島津, 明 東条, 敏 二木, 厚吉 緒方, 和博 有本,...

文部科学省リーディングプロジェクトe-Society基盤ソフトウェアの総合開発 : 平成17年度報告書

文部科学省リーディングプロジェクトe-Society基盤ソフトウェアの総合開発 : 平成17年度報告書
Paper図書
文部科学省リーディングプロジェクトe-Society基盤ソフトウェアの総合開発推進委員会[2006]
Other Libraries in Japan
  • Author Heading片山, 卓也 村岡, 洋一

形式的オブジェクト指向方法論に基づく組込みソフトウェアの構成法の研究

形式的オブジェクト指向方法論に基づく組込みソフトウェアの構成法の研究
Paper図書
研究代表者 片山卓也[片山卓也]2003.5
Other Libraries in Japan
  • Author Heading片山, 卓也

属性文法にもとづくソフトウェア自動生成システム構成法の研究

属性文法にもとづくソフトウェア自動生成システム構成法の研究
Paper図書
片山卓也, 東京工業大学1986-1988<Y151-S61420045>
National Diet Library
  • Author Heading片山, 卓也

文部科学省リーディングプロジェクトe-Society基盤ソフトウェアの総合開発 : 平成15年度報告書

文部科学省リーディングプロジェクトe-Society基盤ソフトウェアの総合開発 : 平成15年度報告書
Paper図書
[出版者不明][2003]
Other Libraries in Japan
  • Author Heading片山, 卓也 村岡, 洋一

発展機構を備えたソフトウェアの構成原理の研究 : 研究成果報告書 平成９年度～１１年度

発展機構を備えたソフトウェアの構成原理の研究 : 研究成果報告書 平成９年度～１１年度
Paper図書
片山卓也 研究代表片山卓也２００００３
Other Libraries in Japan

階層的関数型プログラミングのための計算機システムの研究

階層的関数型プログラミングのための計算機システムの研究
Paper図書
片山卓也, 東京工業大学1984-1985<Y151-S59460205>
National Diet Library
  • Author Heading片山, 卓也

発展機構を備えたソフトウェアの構成原理の研究 : 活動報告書　第４回研究会報告書 平成１０年度

発展機構を備えたソフトウェアの構成原理の研究 : 活動報告書　第４回研究会報告書 平成１０年度
Paper図書
片山卓也 編片山卓也１９９９０３
Other Libraries in Japan

ソフトウェア開発方法論

ソフトウェア開発方法論
Paper図書
プロジェクト・リーダー 片山卓也[北陸先端科学技術大学院大学情報科学研究科]2001.3
Other Libraries in Japan
  • Author Heading片山, 卓也 日本学術振興会

オブジェクト指向リアルタイムシステムのテスト支援環境

オブジェクト指向リアルタイムシステムのテスト支援環境
Paper文書・図像類
伊藤, 恵, 渡辺, 晴美, 西田, 雅彦, 片山, 卓也情報処理学会2000-08-01オブジェクト指向2000シンポジウム2000 10p.49-56
Other Libraries in Japan
  • Author Heading伊藤, 恵 渡辺, 晴美 西田, 雅彦 片山, 卓也

発展機構を備えたソフトウェアの構成原理の研究

発展機構を備えたソフトウェアの構成原理の研究
Paper図書
片山卓也研究代表[片山卓也]1998.3
Other Libraries in Japan
  • Author Heading片山, 卓也
RSS