Jump to main content

yr 〜
yr

Search results 15

ソフトウェア開発の高信頼アジャイル形式工学手法に関する研究

ソフトウェア開発の高信頼アジャイル形式工学手法に関する研究
Digital文書・図像類
劉, 少英, LIU, Shaoying2019-05-28科学研究費助成事業 研究成果報告書p.1-6
Other Libraries in Japan
  • Author Heading劉, 少英 LIU, Shaoying

Second international workshop, SOFL 2012, Kyoto, Japan, November 13, 2012, revised selected papers

Second international workshop, SOFL 2012, Kyoto, Japan, November 13, 2012, revised selected papers
Paper図書
Shaoying Liu (ed.)Springerc2013
Other Libraries in Japan
  • Author HeadingSOFL (Workshop) Liu, Shaoying

Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers

Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers
Paper図書
Shaoying Liu, Zhenhua Duan (eds.)Springerc2014
Other Libraries in Japan
  • Author HeadingSOFL+MSVL (Workshop) Liu, Shaoying Duan, Zhenhua

Structured object-oriented formal language and method : third international workshop, SOFL+MSVL 2013 : Queenstown, New Zealand, October 29, 2013 : revised selected papers : Oct 2013, Queenstown, New Zealand. (Lecture Notes in Computer Science ; 8332)

Structured object-oriented formal language and method : third international workshop, SOFL+MSVL 2013 : Queenstown, New Zealand, October 29, 2013 : revised selected papers : Oct 2013, Queenstown, New Zealand. (Lecture Notes in Computer Science ; 8332)
Paper図書
Springerc2014.<M17-14-2116>
National Diet Library
  • Author HeadingSOFL+MSVL 2013 (3rd : 2013 : Queenstown, N.Z.) Liu, Shaoying, 1960- Duan, Zhenhua.

Formal methods and software engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings

Formal methods and software engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings
Paper図書
Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.)Springerc2008
Other Libraries in Japan
  • Author HeadingICFEM Liu, Shaoying Maibaum, Tom 荒木, 啓二郎

Formal engineering for industrial software development : using the SOFL method

Formal engineering for industrial software development : using the SOFL method
Paper図書
Shaoying LiuSpringerc2004
Other Libraries in Japan
  • Author HeadingLiu, Shaoying

Structured object-oriented formal language and method : second international workshop, SOFL 2012 : Kyoto, Japan, November 13, 2012 : revised selected papers : WSOFL 2012 workshop : mini tutorial on SOFL : Nov 2012, Kyoto, Japan. (Lecture Notes in Computer Science ; 7787)

Structured object-oriented formal language and method : second international workshop, SOFL 2012 : Kyoto, Japan, November 13, 2012 : revised selected papers : WSOFL 2012 workshop : mini tutorial on SOFL : Nov 2012, Kyoto, Japan. (Lecture Notes in Computer Science ; 7787)
Paper図書
Springerc2013.<M17-14-535>
National Diet Library
  • Author Heading... Kyoto, Japan) Liu, Shaoying, 1960- Hosei University. Shao...

Structured object-oriented formal language and method : 6th international workshop, SOFL+MSVL 2016 : Tokyo, Japan, November 15, 2016 : revised selected papers : Nov 2016, Tokyo, Japan. (Lecture Notes in Computer Science ; 10189)

Structured object-oriented formal language and method : 6th international workshop, SOFL+MSVL 2016 : Tokyo, Japan, November 15, 2016 : revised selected papers : Nov 2016, Tokyo, Japan. (Lecture Notes in Computer Science ; 10189)
Paper図書
Springer[2017]<M17-20-376>
National Diet Library
  • Author Heading... Tokyo, Japan) Liu, Shaoying, 1960- Duan, Zhenhua. Tian, C...

Formal methods and software engineering : 18th international conference on formal engineering methods, ICFEM 2016 : Tokyo, Japan, November 14-18, 2016 : proceedings : Nov 2016, Tokyo, Japan. (Lecture Notes in Computer Science ; 10009)

Formal methods and software engineering : 18th international conference on formal engineering methods, ICFEM 2016 : Tokyo, Japan, November 14-18, 2016 : proceedings : Nov 2016, Tokyo, Japan. (Lecture Notes in Computer Science ; 10009)
Paper図書
Springer[2016]<M17-19-540>
National Diet Library
  • Author Heading...Lawford, Mark. Liu, Shaoying, 1960- 法政大学

Formal Engineering Methods for Software Development : ソフトウエア開発における形式的工学手法

Formal Engineering Methods for Software Development : ソフトウエア開発における形式的工学手法
Paper図書
劉, 少英 (Liu, Shaoying) , 法政大学1999-2001<Y151-H11694173>
National Diet Library
  • Author Heading劉, 少英 (Liu, Shaoying)

Research on Rigorous Verification Techniques for Formal Specification and Design : ソフトウエアの形式的仕様と設計の厳密な検証技術の研究

Research on Rigorous Verification Techniques for Formal Specification and Design : ソフトウエアの形式的仕様と設計の厳密な検証技術の研究
Paper図書
劉, 少英 (Liu, Shaoying) , 法政大学1999-2001<Y151-H11680368>
National Diet Library
  • Author Heading劉, 少英 (Liu, Shaoying)

ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, 4-6 September, 2000 : microfiche

ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, 4-6 September, 2000 : microfiche
Paper図書
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing, University of York ; editors, Shaoying Liu, John A. McDermid, Michael G. HincheyIEEE Computer Society Pressc2000
Other Libraries in Japan
  • Author Heading...eering Methods Liu, Shaoying McDermid, John A. Hinchey, Mi...

Proceedings, First IEEE International Conference Conference on Formal Engineering Methods : Hiroshima, Japan, November 12-14, 1997

Proceedings, First IEEE International Conference Conference on Formal Engineering Methods : Hiroshima, Japan, November 12-14, 1997
Paper図書
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing ; in cooperation with Software Engineers Association of Japan ... [et al.] ; [edited by Michael G. Hinchey and Shaoying Liu]IEEE Computer Societyc1997
Other Libraries in Japan
  • Author Heading...ichael Gerard) Liu, Shaoying IEEE Computer Society IEEE Co...

Formal methods and software engineering : 10th international conference on formal engineering methods, ICFEM 2008 : Kitakyushu-City, Japan, October 27-31, 2008 : proceedings. : Oct 2008, Kitakyushu-City, Japan. (Lecture Notes in Computer Science ; 5256)

Formal methods and software engineering : 10th international conference on formal engineering methods, ICFEM 2008 : Kitakyushu-City, Japan, October 27-31, 2008 : proceedings. : Oct 2008, Kitakyushu-City, Japan. (Lecture Notes in Computer Science ; 5256)
Paper図書
New Yorkc2008.<M17-09-1169>
National Diet Library
  • Author HeadingLiu, Shaoying, 1960- Maibaum, Thomas S. E.,...

形式的仕様に基づくソフトウェアテスト手法の研究

形式的仕様に基づくソフトウェアテスト手法の研究
Paper図書
劉少英, 法政大学 [著][劉少英]2006-2007<Y151-H18500027>
National Diet Library
  • Author AliasLiu, Shaoying

Reached to the end of result.

RSS