メニュー
Search
Search Research Projects
Search Researchers
Japanese
English
Back to previous page
OHBA Mitsuru
大場 充
Connect your ORCID iD
*help
Researcher Number
50264966
Affiliation
*help
2000 – 2001 : 広島市立大学, 情報科学部, 教授
1996 : 広島市立大学, 情報科学部, 教授
Review Section/Research Field
Except Principal Investigator
計算機科学
Keywords
Except Principal Investigator
SOFL / ソフトウェア検証 / 厳密なレビュー / 形式的仕様 / Formal Specification / ソフトウェアテスト / 形式手法 / Software tools / 仕様分析 / Formal specification
…
More
/ 仕様テスト / 形式工学手法 / 形式仕様 / Software Verification / Software tool / 形式的意味 / ソフトウェア進化 / Workflow / Formal Methods / Software engineering / Specification Transformation / Rigorous review / Rigorous Reviews / Specification testing / Formal Engineering Methods / Formal Semantics / ソフトウェア分析 / Object-Oriented Design / ソフトウェア支援環境 / 形式的工学手法 / 支援環境 / To-down design / 形式的検証 / Object-oriented Design / システム開発 / 形式意味 / Software Engineering Environments / Software Testing / Formal method / 形式的手法 / Formal engineering methods / ソフトウェア開発環境
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 :
2results
# of Collaborated Products :
0results
2.
ARAKI Kejiro
(40117057)
# of Collaborated Projects :
2results
# of Collaborated Products :
0results
3.
ARAI Noriko
(40264931)
# of Collaborated Projects :
2results
# of Collaborated Products :
0results
4.
TAMAI Tetsuo
(60217172)
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
5.
HINCHEY Michael
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
6.
HO-STUART Chris
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
7.
SUN Yong
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
8.
OFFUTT A Jeff
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
9.
MICHAEL Hinc
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
10.
CHRIS HoーStu
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
11.
YONG Sun
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
12.
A Jeff Offut
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
13.
GLENN Evans
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
14.
JIAN Chen
# of Collaborated Projects :
1results
# of Collaborated Products :
0results
×
Are you sure that you want to connect your ORCID iD to this researcher?
×
