LIU Shaoying

J-GLOBAL         Last updated: Nov 29, 2019 at 02:59
 
Avatar
Name
LIU Shaoying
E-mail
sliuhosei.ac.jp
URL
http://cis.k.hosei.ac.jp/~sliu/
Affiliation
Hosei University
Section
Faculty of Computer and Information Sciences, Department of Computer Science
Job title
Professor
Degree
M.Sc(Xi'an Jiaotong University), Ph.D(University of Manchester)
Research funding number
90264960

Research Areas

 
 

Academic & Professional Experience

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

Education

 
 
 - 
1992
Graduate School, Division of Information Science, University of Manchester, U.K.
 
 
 - 
1982
ソフトウエア工学, 計算机科学, 西安交通大学
 

Awards & Honors

 
Jan 2019
Fellow, IEEE
Winner: Shaoying Liu
 
Jun 2010
Fellow of British Computer Society, British Computer Society
 
Oct 1996
「Semi-Automatic Transformation from Formal specificationsto programs」がIEEE主催のICECCS'96「優秀論文章」受賞
 
Apr 1990
「COBOLプログラム試験サポート環境」が中国陜西省で2等賞を受賞
 

Published Papers

 
Software Construction Monitoring and Predicting for Human-Machine Pair Programming
Shaoying Liu
Proceedings of 8th International Workshop on SOFL +MSVL 2018 for Reliability and Security, LNCS, Springer      Nov 2018   [Refereed]
Agile Formal Engineering Method for Software Productivity and Reliability
Shaoying Liu
”, 2018 Central and Eastern European Software Engineering Conference Russia (CEE-SECR 2018)      Oct 2018   [Refereed]
TBFV-SE: Testing-Based Formal Verification with Symbolic Execution
Rong Wang and Shaoying Liu
proceedings of 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS 2018)   59-66   Jul 2018   [Refereed]
DESIGN AND IMPLEMENTATION OF AUTOMATED VISUALIZATION FOR INPUT / OUTPUT FOR PROCESSES IN SOFL FORMAL SPECIFICATIONS
Yu Chen and Shaoying Liu
International Journal of Software Engineering & Applications (IJSEA)   9(4) 139-157   Jul 2018   [Refereed]
VALIDATION AND VERIFICATION OF SYSML ACTIVITY DIAGRAMS USING HOARE LOGIC
Yufei Yin and Shaoying Liu
International Journal of Software Engineering & Applications (IJSEA)   9(4) 101-117   Jul 2018   [Refereed]

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)      Aug 2015   [Invited]
Integration of Specification Animation and SOFL Three-Step Specification Approach for Requirements Engineering
Shaoying Liu
4th Asian Workshop of Advanced Software Engineering (AWASE 2014)      Oct 2014
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)      Aug 2014
A GUI and Testing Tool for SOFL
Proceedings of Asia-Pacific Software Engineering Conference, IEEE Computer Society Press, Singapore      Dec 2000
この論文では、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      Nov 2000
インプリメンテーションを行う前の仕様を、ソフトウェアを進化させるための実際的なアプローチとして提案する。このアプローチは、形式仕様を用いることによってさらに質の高いものにすることができる。しかし、形式仕様をインプリメンテーションのための信頼できる基礎として使うことによってプログラム試験コスト削除の一助とするには、ユーザー要件を記録するにあたって、必要を満たすことができること、整合性があること、完全であること、正確であることが求められる。この論文では、最初に上記の4つのコンセプトを定義し、次...

Books etc

 
Structured Object-Oriented Formal Language and Method – 8th International Workshop, SOFL+MSVL 2018
Zhenhua Duan and Shaoying Liu (eds) (Part:Joint Editor)
LNCS, Springer   Nov 2018   
This book is the collection of all the papers published in the proceedings of the 8th International Workshop on SOFL+MSVL 2018.
Structured Object-Oriented Formal Language and Method – 7th International Workshop, SOFL+MSVL 2017
Cong Tian, Fumiko Nagoya, Shaoying Liu, and Zhenhua Duan (eds) (Part:Joint Editor)
LNCS 10795, Springer   Nov 2017   
This book collects all of the papers published in the proceedings of the 7th International Workshop on SOFL+MSVL 2017.
Formal Methods and Software Engineering, 18th International Conference on Formal Engineering Methods (ICFEM 2016)
Kazuhiro Ogata, Mark Lawford, and Shaoying Liu (Eds), (Part:Joint Editor)
LNCS 10009, Springer   Nov 2016   
This book collects all of the papers published in the proceedings of ICFEM 2016.
Structured Object-Oriented Formal Language and Method – 6th International Workshop, SOFL+MSVL 2016
Shaoying Liu, Zhenhua Duan, Cong Tian, and Fumiko Nagoya (Part:Joint Editor, All of the proceedings)
LNCS 10189, Springer   Nov 2016   
This book is a collection of all the papers published in the proceedings of the international workshop on SOFL+MSVL 2016.
Structured Object-Oriented Formal Language and Method – 5th International Workshop, SOFL+MSVL 2015
Shaoying Liu and Zhenhua Duan (Part:Joint Editor, All of the proceedings)
LNCS 9559, Springer   Nov 2015   ISBN:978-3-319-31219-4
Refereed papers in relation to SOFL and MSVL formal engineering methods.

Conference Activities & Talks

 
形式仕様に基づくテストケースの自動生成とテスト結果の自動評価
池田逸人,劉 少英
情報処理学会第79回全国大会   16 Mar 2017   情報処理学会
形式仕様に基づくテストにおけるテストスクリプト自動生成
網谷拓海, 劉少英
情報処理学会第79回全国大会   16 Mar 2017   情報処理学会
形式仕様に基づくテストケース自動生成
池田逸人、劉少英
情報処理学会第77回全国大会   18 Mar 2015   情報処理学会
実用性が高い形式工学手法と支援ツールの研究開発
第2回産学連携のためのソフトウェア・シンポジウム   22 May 2014   IPA SEC
SOFLの研究開発の経験による形式手法の課題の考察
ウィンターワークショップ2014   Feb 2014   日本情報処理学会SIGSE

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