劉 少英

J-GLOBALへ         更新日: 17/07/13 02:54
 
アバター
研究者氏名
劉 少英
 
リュウ ショウエイ
eメール
sliuhosei.ac.jp
URL
http://cis.k.hosei.ac.jp/~sliu/
所属
法政大学
部署
情報科学部コンピュータ科学科
職名
教授
学位
工学修士(西安交通大学), 博士(マンチェスター大学)
科研費研究者番号
90264960

研究分野

 
 

経歴

 
1982年2月
 - 
1987年9月
中国 西安交通大学コンピュータ・サイエンス学科助手(コンパイラー原理の教授、プログラム言語の教授、卒業研究の指導)
 
1987年10月
 - 
1988年11月
中国 西安交通大学コンピュータ・サイエンス学科専任講師(コンパイラー原理の教授、卒業研究の指導)
 
1991年2月
 - 
1993年5月
英国 ヨーク大学コンピュータ・サイエンス学科研究員
 
1993年5月
 - 
1994年3月
英国 ロンドン大学(ロイヤルホロウェイ)コンピュータ・サイエンス学科 研究助手
 
1994年4月
 - 
2000年3月
広島市立大学情報科学部 助教授(「ソフトウェア工学講座」担当)
 

学歴

 
 
 - 
1992年
University of Manchester, U.K. 情報科学研究科 
 
 
 - 
1982年
西安交通大学 計算机科学 ソフトウエア工学
 

受賞

 
2010年6月
英国計算機協会 英国計算機協会Fellow 
 
1996年10月
「Semi-Automatic Transformation from Formal specificationsto programs」がIEEE主催のICECCS'96「優秀論文章」受賞
 
1990年4月
「COBOLプログラム試験サポート環境」が中国陜西省で2等賞を受賞
 

論文

 
PowerPoint Add-in Tool Support for Informal and Semi-formal Specification Animation
Fauziah binti Zainuddin and Shaoying Liu
Proceedings of 22nd Asia-Pacific Software Engineering Conference (APSEC 2015)   24-31   2015年12月   [査読有り]
Automatic Selection of System Functional Scenarios for Formal Specification Animation
Shaoying Liu
Proceedings of 22nd Asia-Pacific Software Engineering Conference (APSEC 2015)   72-79   2015年12月   [査読有り]
形式仕様に基づくテストケースの自動生成支援ツールの開発
池田逸人, Ye Yan, 劉少英
第22回ソフトウエア工学の基礎ワークショップ(FOSE2015)   59-64   2015年11月   [査読有り]
Automatic Transformation from SOFL Module Specifications to Program Structures
Xiongwen Luo and Shaoying Liu
Proceedings of the 5th International Workshop on SOFL + MSVL (SOFL+MSVL 2016), LNCS 9559   206-218   2015年11月   [査読有り]
A GUI-Aided Approach to Formal Specification Construction
Shaoying Liu
Proceedings of the 5th International Workshop on SOFL + MSVL (SOFL+MSVL 2015)   44-56   2015年11月   [査読有り]
To facilitate writing formal specifications in practice, we put forward a new GUI-aided approach to formal specification construction for software design. By this approach, a GUI prototyping for the system is first carried out based on an informal...

Misc

 
Integrating Specification Animation with Specification-Based Program Testing and Inspection for Software Quality Assurance
Shaoying Liu
2015 IEEE International Conference on Software Quality, Reliability & Security (QRS 2015)      2015年8月   [依頼有り]
Integration of Specification Animation and SOFL Three-Step Specification Approach for Requirements Engineering
Shaoying Liu
4th Asian Workshop of Advanced Software Engineering (AWASE 2014)      2014年10月
Testing-Based Formal Verification: A New and Practical Approach for Software Quality Assurance
Shaoying Liu
(Keynote Talk) 19th International Conference on Engineering of Complex Computer Systems (ICECCS 2014)      2014年8月
A GUI and Testing Tool for SOFL
Proceedings of Asia-Pacific Software Engineering Conference, IEEE Computer Society Press, Singapore      2000年12月
この論文では、SOFL仕様の構築をサポートするためのグラフィカルユーザーインターフェース(GUI)と、SOFL仕様をテストするためのツールを紹介する。これらのツールを使用すると条件データフロー図、各種モジュール、各種クラスからなるSOFL仕様の構築や、その整合性や妥当性の確認が容易になる。 全5頁421~426頁、共同研究につき本人担当部分抽出不可能 共著者:Shaoying Liu, Tetsuo Fukuzaki, Toji Miyamoto
Verifying Formal Specifications Using Fault Tree Analysis
Proceedings of International Symposium on Principle of Software Evolution, IEEE Computer Society Press, Kanazawa, Japan      2000年11月
インプリメンテーションを行う前の仕様を、ソフトウェアを進化させるための実際的なアプローチとして提案する。このアプローチは、形式仕様を用いることによってさらに質の高いものにすることができる。しかし、形式仕様をインプリメンテーションのための信頼できる基礎として使うことによってプログラム試験コスト削除の一助とするには、ユーザー要件を記録するにあたって、必要を満たすことができること、整合性があること、完全であること、正確であることが求められる。この論文では、最初に上記の4つのコンセプトを定義し、次...

書籍等出版物

 
Structured Object-Oriented Formal Language and Method – 5th International Workshop, SOFL+MSVL 2015
Shaoying Liu and Zhenhua Duan (担当:共編者, 範囲:All of the proceedings)
LNCS 9559, Springer   2015年11月   ISBN:978-3-319-31219-4
Refereed papers in relation to SOFL and MSVL formal engineering methods.
Structured Object-Oriented Formal Language - 3rd International Workshop SOFL+MSVL 2013
Zhenhua Duan (担当:編者)
LNCS 8332, Springer   2013年10月   ISBN:978-3-319-04914-4
Structured Object-Oriented Formal Language and Method - 2nd International Workshop SOFL 2012
LNCS 7787, Springer   2012年11月   ISBN:978-3-642-39276-4
Formal Methods and Software Engineering
Tom Maibaum, Kejiro Araki (担当:編者)
Springer-Verlag   2008年10月   
Formal Engineering for Industrial Software Development using the SOFL Method
Springer-Verlag   2004年4月   ISBN:3-540-20602-7

講演・口頭発表等

 
形式仕様に基づくテストケース自動生成
池田逸人、劉少英
情報処理学会第77回全国大会   2015年3月18日   情報処理学会
実用性が高い形式工学手法と支援ツールの研究開発
第2回産学連携のためのソフトウェア・シンポジウム   2014年5月22日   IPA SEC
SOFLの研究開発の経験による形式手法の課題の考察
ウィンターワークショップ2014   2014年2月   日本情報処理学会SIGSE
実用性が高い形式工学手法と支援ツールの研究開発
第1回産学連携のためのソフトウェア・シンポジウム   2013年3月11日   IPA・SEC

Works

 
Program Committee Chair of Sixth IEEE International Conference on Engineering of Complex Computer Systems
2000年
Program Committee member of Formal Methods Congness (FM'99)
1999年
Program Chair of Fifth IEEE International Conference on Engineering of Complex Computer Systems
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年