メニュー
Search
Search Research Projects
Search Researchers
How to Use
Japanese
English
Back to previous page
OHBA Mitsuru
大場 充
Connect your ORCID iD
*help
…
Alternative Names
大場 充 オオバ ミツル
Less
Researcher Number
50264966
Affiliation (based on the past Project Information)
*help
2000 – 2001: 広島市立大学, 情報科学部, 教授
1996: 広島市立大学, 情報科学部, 教授
Review Section/Research Field
Except Principal Investigator
計算機科学
Keywords
Except Principal Investigator
SOFL / 形式的仕様 / ソフトウェア検証 / ソフトウェアテスト / 厳密なレビュー / Formal Specification / 形式的手法 / ソフトウェア支援環境 / 形式的意味 / 形式手法
…
More
/ 形式仕様 / 支援環境 / 形式意味 / Formal Methods / Software Engineering Environments / Software Verification / Software Testing / Rigorous Reviews / Formal Semantics / Formal Engineering Methods / Workflow / To-down design / Object-oriented Design / Specification Transformation / Software tool / Object-Oriented Design / 形式工学手法 / 仕様テスト / 仕様分析 / システム開発 / ソフトウェア進化 / 形式的工学手法 / 形式的検証 / ソフトウェア開発環境 / ソフトウェア分析 / Formal engineering methods / Formal method / Formal specification / Rigorous review / Specification testing / Software engineering / Software tools
Less
Research Projects
(
2
results)
Co-Researchers
(
14
People)
Project Start Year (Newest)
Project Start Year (Oldest)
Formal Engineering Methods for Software Development
Principal Investigator
SHAO-YING Liu
Project Period (FY)
1999 – 2001
Research Category
Grant-in-Aid for Scientific Research (B)
Research Field
計算機科学
Research Institution
Hosei University
Hiroshima City University
Formal Methods and Intelligent Software Engineering Environments
Principal Investigator
LIU Shaoying
Project Period (FY)
1996 – 1997
Research Category
Grant-in-Aid for international Scientific Research
Research Field
計算機科学
Research Institution
Hiroshima City University
# of Projects (Dsc)
# of Projects (Asc)
1.
LIU Shaoying
(90264960)
# of Collaborated Projects:
2 results
# of Collaborated Products:
0 results
2.
ARAKI Kejiro
(40117057)
# of Collaborated Projects:
2 results
# of Collaborated Products:
0 results
3.
ARAI Noriko
(40264931)
# of Collaborated Projects:
2 results
# of Collaborated Products:
0 results
4.
TAMAI Tetsuo
(60217172)
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
5.
HINCHEY Michael
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
6.
HO-STUART Chris
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
7.
SUN Yong
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
8.
OFFUTT A Jeff
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
9.
MICHAEL Hinc
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
10.
CHRIS HoーStu
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
11.
YONG Sun
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
12.
A Jeff Offut
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
13.
GLENN Evans
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
14.
JIAN Chen
# of Collaborated Projects:
1 results
# of Collaborated Products:
0 results
×
Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.
この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。
×
×