研究者
J-GLOBAL ID：200901071166555356   更新日: 2024年01月17日

林 雄二

ハヤシ ユウジ | Hayashi Yuji
研究分野 (1件)： 情報学基礎論
研究キーワード (6件)： デザインパターン ,  オブジェクト指向 ,  形式的技法 ,  Program Design ,  Object-Oriented Design ,  Formal Methods
競争的資金等の研究課題 (4件)：
  • プログラム設計方法論とツール
  • ソフトウェアテスト・洗練化・検証の手法
  • Program Design and Tools
  • methods for refinement and verification
MISC (24件)：
もっと見る
書籍 (6件)：
  • 基礎から学ぶデータ構造とアルゴリズム
    2009
  • はじめて学ぶプログラム設計
    森北出版 2007
  • Javaプログラミングに対するデザインパターン適用支援ツール
    ソフトウェア工学の基礎IX(FOSE'02) 2002
  • Zを基にした正則表現による仕樣記述と検証
    ソフトウェア工学の基礎(]G0004[)(FOSE'99) 1999
  • プログラム設計の基礎
    森北出版(株) 1993
もっと見る
講演・口頭発表等 (4件)：
  • VDM仕様記述に基づくテストデータの生成
    (情報処理北海道シンポジウム2007 2007)
  • 形式的仕様記述に基づくテストデータの生成
    (情報処理学会全国大会 2007)
  • VDM++からJavaの契約による設計へ
    (情報処理北海道シンポジウム2006 2006)
  • 形式的仕様から契約による設計へ -VDMからJMLへの変換-
    (情報処理北海道シンポジウム2005 2005)
学位 (1件)：
  • 博士(工学) (北海道大学)
所属学会 (5件)：
情報処理学会 ,  Japan Society for Software Science and Technology ,  Information and Communication Engineerins; ,  The Institute of Electronics ,  Information Processing Society of Japan;
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM