Jump to main content

yr 〜
yr

Search results 154

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

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

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

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

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

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

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

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

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

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

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

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

法令工学の提案

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

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

COE Research Monograph Series, Vol. 2 : 法令工学の提案
Digital図書
片山, 卓也, 島津, 明, 東条, 敏, 二木, 厚吉, 緒方, 和博, 有本, 泰仁, 落水, 浩一郎, 早坂, 良JAIST Press2007-092
Other Libraries in Japan
  • Note (General)...者は以下のようである．第1章　片山卓也　第2章　島津明　第3章　東条....... 2 : 法令工学の提案, 片山卓也（編）, 2007 identifier:https://d...

法令工学の提案 : 北陸先端科学技術大学院大学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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ソフトウェア開発方法論

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

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

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

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

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

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

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