年 〜
年

検索結果 15 件

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

ソフトウェア開発の高信頼アジャイル形式工学手法に関する研究
デジタル文書・図像類
劉, 少英, LIU, Shaoying2019-05-28科学研究費助成事業 研究成果報告書p.1-6
全国の図書館
  • 著者標目劉, 少英 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
紙図書
Shaoying Liu (ed.)Springerc2013
全国の図書館
  • 著者標目SOFL (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
紙図書
Shaoying Liu, Zhenhua Duan (eds.)Springerc2014
全国の図書館
  • 著者標目SOFL+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)
紙図書
Springerc2014.<M17-14-2116>
国立国会図書館
  • 著者標目SOFL+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
紙図書
Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.)Springerc2008
全国の図書館
  • 著者標目ICFEM Liu, Shaoying Maibaum, Tom 荒木, 啓二郎

Formal engineering for industrial software development : using the SOFL method

Formal engineering for industrial software development : using the SOFL method
紙図書
Shaoying LiuSpringerc2004
全国の図書館
  • 著者標目Liu, 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)
紙図書
Springerc2013.<M17-14-535>
国立国会図書館
  • 著者標目... 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)
紙図書
Springer[2017]<M17-20-376>
国立国会図書館
  • 著者標目... 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)
紙図書
Springer[2016]<M17-19-540>
国立国会図書館
  • 著者標目...Lawford, Mark. Liu, Shaoying, 1960- 法政大学

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

Formal Engineering Methods for Software Development : ソフトウエア開発における形式的工学手法
紙図書
劉, 少英 (Liu, Shaoying) , 法政大学1999-2001<Y151-H11694173>
国立国会図書館
  • 著者標目劉, 少英 (Liu, Shaoying)

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

Research on Rigorous Verification Techniques for Formal Specification and Design : ソフトウエアの形式的仕様と設計の厳密な検証技術の研究
紙図書
劉, 少英 (Liu, Shaoying) , 法政大学1999-2001<Y151-H11680368>
国立国会図書館
  • 著者標目劉, 少英 (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
紙図書
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
全国の図書館
  • 著者標目...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
紙図書
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
全国の図書館
  • 著者標目...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)
紙図書
New Yorkc2008.<M17-09-1169>
国立国会図書館
  • 著者標目Liu, Shaoying, 1960- Maibaum, Thomas S. E.,...

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

形式的仕様に基づくソフトウェアテスト手法の研究
紙図書
劉少英, 法政大学 [著][劉少英]2006-2007<Y151-H18500027>
国立国会図書館
  • 著者別名Liu, Shaoying

検索結果は以上です。