J-GLOBAL         Last updated: Dec 18, 2017 at 16:25
Ibaraki National College of Technology
Department of Electronic and Computer Engineering
Job title
Research Associate
Master (Engineering)(Ibaraki University)

Research Areas


Published Papers

KOGAI Kei, OYAMA Kyohei, UEDA Yoshikazu, TAKAHASHI Yuki, TAKEZAWA Takayuki, NAKANO Toshihiko
Computer Software   29(3) 3_101-3_107   2012
Until now, authors have developed an information control system modeling language. This research proposes an application of the modeling language to a train operation control. We explain the modeling language compactly, model a train operation con...
コンピュータソフトウェア   27(4) 4.228-4.233 (J-STAGE)-233   2010
Authors propose a validation of meta-models using formal specification language Alloy. The scope of model is divided by meta-hierarchy levels. Therefore, the execution of the validation is efficient. The purpose of this paper is the validation of ...


宮島 卓巳, 小飼 敬, 上田 賀一
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報   114(501) 25-30   Mar 2015
小飼 敬, 宮島 卓巳, 上田 賀一
ウィンターワークショップ2015・イン・宜野湾 論文集   2015 45-46   Jan 2015
宮島卓巳, 小飼敬, 上田賀一, 山形知行, 武澤隆之
日本ソフトウエア科学会大会講演論文集(CD-ROM)   31st ROMBUNNO.IPPAN1-4-39   Sep 2014
Yuki Omorii, Kyohei Oyama, Kei Kogai, Yoshikazu Ueda
IPSJ SIG Notes   2014(11) 1-8   Mar 2014
Model checking for Information Control System is an effective approach in order to ensure safety. In this case, obtaining execution sequences not to satisfy properties(counterexample) is useful to find out cause of errors. However, we require expe...
小山 恭平, 小飼 敬, 上田 賀一
ウィンターワークショップ2014・イン・大洗 論文集   2014 43-44   Jan 2014
小飼 敬, 宮島 卓巳, 小山 恭平, 上田 賀一
ウィンターワークショップ2014・イン・大洗 論文集   2014 45-46   Jan 2014
滝沢 陽三, 蓬莱 尚幸, 小飼 敬
ウィンターワークショップ2014・イン・大洗 論文集   2014 69-70   Jan 2014
小山恭平, 小飼敬, 上田賀一, 山形知行, 武澤隆之
日本ソフトウエア科学会大会講演論文集(CD-ROM)   30th 274-281   Sep 2013
KOGAI Kei, NAKAJIMA Shin, UEDA Yoshikazu
Technical report of IEICE. SS   111(268) 55-60   Oct 2011
In a process of creating Alloy descriptions, it is often to analyze the descriptions by scoped Alloy commands. The command is executed repeatedly for validation of the descriptions. It is necessary to express a semantics of a scope to the Alloy de...
Yuji Onuma, Kei Kogai, Yoshikazu Ueda, Satoshi Okubo, Yuki Takahashi, Toshihiko Nakano
IPSJ SIG Notes   2011(9) 1-8   Mar 2011
RASYS is a model description language that represents information control systems based on a set of control decisions. In periodic execution system by operation description rule-based, the order and the completeness of conditions influence process...
Shota Yanagi, Kei Kogai, Yoshikazu Ueda, Satoshi Okubo, Yuki Takahashi, Toshihiko Nakano
IPSJ SIG Notes   2011(10) 1-8   Mar 2011
The necessity to perform software verification is growing in order to guarantee the quality of software. Therefore we think that we introduce a model checking to verify the behavior cyclopaedically into the development field. A technique to execut...
滝沢陽三, 小飼敬, 山田真
茨城工業高等専門学校研究い報   (46) 85-88   Mar 2011
滝沢陽三, 小飼敬
茨城工業高等専門学校研究い報   (46) 81-84   Mar 2011
小飼敬, 小山恭平, 上田賀一, 佐藤直人, 高橋勇喜, 武澤隆之, 中野利彦
日本ソフトウエア科学会大会講演論文集(CD-ROM)   28th ROMBUNNO.5B-2   2011
菊池大輔, 小飼敬, 滝沢陽三
情報科学技術フォーラム講演論文集   9th 291-292   Aug 2010
滝沢陽三, 小飼敬, 山田真
茨城工業高等専門学校研究い報   (45) 75-78   Mar 2010
柳翔太, 小飼敬, 上田賀一, 大久保訓, 高橋勇喜, 中野利彦
日本ソフトウエア科学会大会講演論文集(CD-ROM)   27th ROMBUNNO.7C-1   2010
藤澤一博, 小飼敬, 滝沢陽三
情報科学技術フォーラム講演論文集   8th 379-380   Aug 2009
野口拓也, 小飼敬, 滝沢陽三
情報科学技術フォーラム講演論文集   8th 377-378   Aug 2009
布施雅彦, 根本信行, 石原万里, 島袋修, 三浦靖一郎, 小飼敬
教育システム情報学会全国大会講演論文集   33rd 136-137   Aug 2008
井上賢治, 後藤悠, 安西孝仁, 西野太樹, 酒井洋紀, 菊池大輔, 小飼敬, 布施雅彦, 三浦靖一郎, 根本信行
PC Conference論文集   2008 46-47   Aug 2008
後藤悠, 安西孝仁, 井上賢治, 西野太樹, 酒井洋紀, 菊池大輔, 小飼敬, 布施雅彦, 三浦靖一郎, 根本信行
PC Conference論文集   2008 284-285   Aug 2008
安西孝仁, 井上賢治, 後藤悠, 酒井洋紀, 西野太樹, 菊池大輔, 小飼敬, 布施雅彦, 三浦靖一郎, 根本信行
PC Conference論文集   2008 218-219   Aug 2008
TERANAKA Shinsuke, MURAKAMI Shohei, KOGAI Kei, UEDA Yoshikazu
IPSJ SIG Notes   2008(29) 187-194   Mar 2008
In late years, the concern for reliability and safety to the software rises, and the formal method attracts attention. To solve the height of the threshold to the formal method, we had realized the formal method supporting tool, which could perfor...
小嶋隆太, 小飼敬, 村田和英
情報処理学会全国大会講演論文集   70th(4) 4.583-4.584   Mar 2008
越田弘樹, 小飼敬, 滝沢陽三
情報処理学会全国大会講演論文集   70th(1) 1.531-1.532   Mar 2008
大脇佑平, 小飼敬, 弘畑和秀
情報処理学会全国大会講演論文集   69th(1) 1.339-1.340   Mar 2007
額賀啓行, 小飼敬, 四王天正臣
情報処理学会全国大会講演論文集   69th(1) 1.521-1.522   Mar 2007
滝沢陽三, 須田猛, 吉成偉久, 小飼敬, 大坪友信, 篠原啓介, 山田真, 土川洋史
茨城工業高等専門学校研究い報   (41) 51-54   Mar 2006
山内秀行, 小飼敬, 杉村康
情報処理学会全国大会講演論文集   68th(4) 585-586   Mar 2006
柳下悦史, 小飼敬, 杉村康
情報処理学会全国大会講演論文集   68th(3) 265-266   Mar 2006
武田雅斗, 小飼敬, 弘畑和秀
情報処理学会全国大会講演論文集   68th(4) 133-134   Mar 2006
NOMURA Koji, KOGAI Kei, UEDA Yoshikazu
IPSJ SIG Notes   2004(30) 25-32   Mar 2004
In object-oriented software development, UML spreads recently. The correctness and the consistency of UML models must be checked by a UML modeling tool. On the other hand, when thinking about various diagrams with a viewpoint of the program genera...
KINASHI Michitaka, KOGAI Kei, UEDA Yoshikazu
IPSJ SIG Notes   2004(30) 67-74   Mar 2004
Recently, it pays attention to the design pattern that summarizes the general problem to appear often and that solution in software development. In this study, we developed the modeling support tool which judges and presents the design pattern to ...
Tsukamoto Akira, Kogai Kei, Ueda Yoshikazu
IPSJ SIG Notes   2003(22) 23-30   Mar 2003
In this paper, authors propose a support environment of requirement analysis by modeling requirement concept using categorized domain information. User obtains the diagram representation for understanding the domain by creating a requirement model...
OHTSUKA Masaya, KOGAI Kei, UEDA Yoshikazu
IPSJ SIG Notes   2003(22) 31-38   Mar 2003
This paper proposes a prototyping approach model and its modeling environment system with flexibly representing diagrams. This prototyping approach model divides software prototype development into two stages of domain modeling and prototype model...
Kogai Kei, Ueda Yoshikazu
IPSJ SIG Notes   2001(56) 41-48   Jun 2001
A software specification is formalized so that it is guaranteed to be described without a contradiction and a ambiguity. In large scale software, however, it is difficult to formalize specifications. This work focuses on diagrammatic models using ...
Ueda Yoshikazu, Kogai Kei, Nakano Yoshiyuki
39(1)    Dec 1998
In a software system development, a prototyping with object-oriented paradigm is useful. Most of the current OOPLs, however, can't represent the concepts of models in OOA and OOD well. Because developers have to make real objects abstract and prep...
Kogai Kei, Ueda Yoshikazu
Technical report of IEICE. SS   98(440) 17-24   Dec 1998
Object-oriented methodology is introduced into a system development, because this methodology can implement naturally the models of real world on computers. In fact, however, there is a large gap between a design and a implementation on object-ori...
Fujita Mitsunori, Kogai Kei, Ueda Yoshikazu
IPSJ SIG Notes   98(20) 103-110   Mar 1998
A prototyping approach is one of the effective method of software development. Our laboratory has been researching a modeling environment based on a meta hierarchical architecture which has the concept of domain orientation. In this report, to mak...
Kogai Kei, Nakano Yoshiyuki, Ueda Yoshikazu
IPSJ SIG Notes   97(74) 9-16   Jul 1997
In this paper, we presents a meta hierarchy, a modeling environment based on this hierarchy, and a repository system for this environment. In meta hierarchy, separating a role of models into three levels, it is possible to support model developmen...
Hirai Yuzuru, Kogai Kei, Ueda Yoshikazu
54(1) 193-194   Mar 1997
Nakano Yoshiyuki, Kogai Kei, Kanemura Seikichi, Takahashi Daisuke, Ueda Yoshikazu
52(5) 59-60   Mar 1996

Research Grants & Projects