Hayashi Yuji

ハヤシユウジ | Hayashi Yuji

Research field (1)： Information theory

Research keywords (6)：デザインパターン , オブジェクト指向 , 形式的技法 , Program Design , Object-Oriented Design , Formal Methods

Research theme for competitive and other funds (4)：

プログラム設計方法論とツール
ソフトウェアテスト・洗練化・検証の手法
Program Design and Tools
methods for refinement and verification

MISC (24)：

学生レポートの文章推敲を支援するシステムの検討(その2)-日本語悪文のパターンに対する形式化-. 北海道情報大学紀要. 2003. vol14,no.2,pp53-63
学生レポート推敲支援プログラムの開発. PCカンファレンス北海道2003論文集. 2003. pp12-15
目的に応じたデザインパターンを提示するプログラミング支援ツール. 情報科学技術フォーラム(FIT2003)講演論文集. 2003. pp249-250
デザインパターン適用支援ツール-適用結果のクラス図による表示-. 情報処理北海道シンポジウム2003講演論文集. 2003. pp51-52
日本語文章における悪文の検出について. PCカンファレンス北海道2002論文集. 2002. pp68-71

ｍore...

Books (6)：

Basic Knowledge of Data Structures and Algorithms
2009
はじめて学ぶプログラム設計
森北出版 2007
Javaプログラミングに対するデザインパターン適用支援ツール
ソフトウェア工学の基礎IX(FOSE'02) 2002
Zを基にした正則表現による仕樣記述と検証
ソフトウェア工学の基礎(]G0004[)(FOSE'99) 1999
プログラム設計の基礎
森北出版(株) 1993

ｍore...

Lectures and oral presentations (4)：

VDM仕様記述に基づくテストデータの生成
(情報処理北海道シンポジウム2007 2007)
形式的仕様記述に基づくテストデータの生成
(情報処理学会全国大会 2007)
VDM++からJavaの契約による設計へ
(情報処理北海道シンポジウム2006 2006)
形式的仕様から契約による設計へ -VDMからJMLへの変換-
(情報処理北海道シンポジウム2005 2005)

Professional career (1)：

(BLANK) (Hokkaido University)

Association Membership(s) (5)：

情報処理学会 , Japan Society for Software Science and Technology , Information and Communication Engineerins; , The Institute of Electronics , Information Processing Society of Japan;

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page