Rchr
J-GLOBAL ID:200901061739818700   Update date: Jul. 24, 2024

劉 少英

Affiliation and department:
Job title: Professor
Homepage URL  (1): http://cis.k.hosei.ac.jp/~sliu/
Research field  (1): Information theory
Research keywords  (16): Formal Engineering Methods ,  テストの自動化 ,  ソフトウェア検証 ,  ソフトウェアレビュー ,  形式工学手法 ,  Automatic Program Generation ,  Automatic Testing ,  Software Verification ,  Software Review ,  ソフトウェアテスト ,  Software Testing ,  Software Engineering ,  自動プログラム変換 ,  Formal Methods ,  形式手法 ,  ソフトウェア工学
Papers (120):
more...
MISC (66):
more...
Books (12):
  • Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018
    LNCS, Springer 2018
  • Structured Object-Oriented Formal Language and Method - 7th International Workshop, SOFL+MSVL 2017
    LNCS 10795, Springer 2017
  • Formal Methods and Software Engineering, 18th International Conference on Formal Engineering Methods (ICFEM 2016)
    LNCS 10009, Springer 2016
  • Structured Object-Oriented Formal Language and Method - 6th International Workshop, SOFL+MSVL 2016
    LNCS 10189, Springer 2016
  • Structured Object-Oriented Formal Language and Method - 5th International Workshop, SOFL+MSVL 2015
    LNCS 9559, Springer 2015 ISBN:9783319312194
more...
Lectures and oral presentations  (6):
  • 形式仕様に基づくテストにおけるテストスクリプト自動生成
    (情報処理学会第79回全国大会 2017)
  • 形式仕様に基づくテストケースの自動生成とテスト結果の自動評価
    (情報処理学会第79回全国大会 2017)
  • 形式仕様に基づくテストケース自動生成
    (情報処理学会第77回全国大会 2015)
  • 実用性が高い形式工学手法と支援ツールの研究開発
    (第2回産学連携のためのソフトウェア・シンポジウム 2014)
  • SOFLの研究開発の経験による形式手法の課題の考察
    (ウィンターワークショップ2014 2014)
more...
Works (5):
  • Program Committee Chair of Sixth IEEE International Conference on Engineering of Complex Computer Systems
    2000 -
  • Program Chair of Fifth IEEE International Conference on Engineering of Complex Computer Systems
    1999 -
  • Program Committee member of Formal Methods Congness (FM'99)
    1999 -
  • Program Chair of Second IEEE International Conference on Formal Engineering Methods (ICFEM'98)
    1998 -
  • General Chair of First IEEE International Conferenee on Formal Enginaering Methods (ICFEM'97)
    1997 -
Education (2):
  • - 1992 University of Manchester, U.K. Graduate School, Division of Information Science
  • - 1982 西安交通大学 計算机科学 ソフトウエア工学
Professional career (1):
  • Ph.D
Work history (10):
  • 2001/04/01 - 法政大学情報科学部 教授 (現在に至る)
  • 2000/04/01 - 2001/03/01 法政大学情報科学部 助教授
  • 1998/04/01 - 2000/03/31 広島市立大学大学院情報数理学専攻 助教授(「プログラム意味論特論」「自主プロジェクト演習」担当)M合
  • 1994/04/01 - 2000/03/31 広島市立大学情報科学部 助教授(「ソフトウェア工学講座」担当)
  • 1998/12/01 - 1999/03/01 英国 オックスフォード大学 訪問教授
Show all
Awards (4):
  • 2019/01/01 - IEEE Fellow
  • 2010/06/01 - British Computer Society Fellow of British Computer Society
  • 1996/10 - 「Semi-Automatic Transformation from Formal specificationsto programs」がIEEE主催のICECCS'96「優秀論文章」受賞
  • 1990/04 - 「COBOLプログラム試験サポート環境」が中国陜西省で2等賞を受賞
Association Membership(s) (1):
IEEEコンピュータ・サイエンス学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page