研究者
J-GLOBAL ID:200901061739818700   更新日: 2020年09月01日

劉 少英

所属機関・部署:
職名: 教授
ホームページURL (1件): http://cis.k.hosei.ac.jp/~sliu/
研究分野 (1件): 情報学基礎論
研究キーワード (16件): Formal Engineering Methods ,  テストの自動化 ,  ソフトウェア検証 ,  ソフトウェアレビュー ,  形式工学手法 ,  Automatic Program Generation ,  Automatic Testing ,  Software Verification ,  Software Review ,  ソフトウェアテスト ,  Software Testing ,  Software Engineering ,  自動プログラム変換 ,  Formal Methods ,  形式手法 ,  ソフトウェア工学
論文 (120件):
もっと見る
MISC (66件):
もっと見る
書籍 (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
もっと見る
講演・口頭発表等 (6件):
  • 形式仕様に基づくテストにおけるテストスクリプト自動生成
    (情報処理学会第79回全国大会 2017)
  • 形式仕様に基づくテストケースの自動生成とテスト結果の自動評価
    (情報処理学会第79回全国大会 2017)
  • 形式仕様に基づくテストケース自動生成
    (情報処理学会第77回全国大会 2015)
  • 実用性が高い形式工学手法と支援ツールの研究開発
    (第2回産学連携のためのソフトウェア・シンポジウム 2014)
  • SOFLの研究開発の経験による形式手法の課題の考察
    (ウィンターワークショップ2014 2014)
もっと見る
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 -
学歴 (2件):
  • - 1992 University of Manchester, U.K. 情報科学研究科
  • - 1982 西安交通大学 計算机科学 ソフトウエア工学
学位 (1件):
  • Ph.D
経歴 (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 英国 オックスフォード大学 訪問教授
全件表示
受賞 (4件):
  • 2019/01/01 - IEEE IEEE フェロー
  • 2010/06/01 - 英国計算機協会 英国計算機協会Fellow
  • 1996/10 - 「Semi-Automatic Transformation from Formal specificationsto programs」がIEEE主催のICECCS'96「優秀論文章」受賞
  • 1990/04 - 「COBOLプログラム試験サポート環境」が中国陜西省で2等賞を受賞
所属学会 (1件):
IEEEコンピュータ・サイエンス学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る