Liu, Shaoying books & textbook
Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised ... Computer Science and General Issues)
Springer /2015-04-27 Paperback / 197 Pages
isbn-10: 3319174037 / isbn-13: 9783319174037
Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected ... Computer Science and General Issues)
Liu, Shaoying Duan, Zhenhua Tian, Cong Nagoya, Fumiko
Springer /2017-04-21 Paperback / 249 Pages
isbn-10: 3319577077 / isbn-13: 9783319577074
Structured Object-Oriented Formal Language and Method: 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected ... Computer Science and General Issues)
Tian, Cong Nagoya, Fumiko Liu, Shaoying Duan, Zhenhua
Springer /2018-04-18 Paperback / 229 Pages
isbn-10: 3319901036 / isbn-13: 9783319901039
Formal Engineering for Industrial Software Development: Using the SOFL Method
Springer /2010-12-08 Paperback / 430 Pages
isbn-10: 3642058272 / isbn-13: 9783642058271
Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, ... Computer Science and General Issues)
Springer /2014-03-11 Paperback / 203 Pages
isbn-10: 3319049143 / isbn-13: 9783319049144
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October ... (Lecture Notes in Computer Science, 5256)
Liu, Shaoying Maibaum, Tom Araki, Keijiro
Springer /2008-10-08 Paperback / 408 Pages
isbn-10: 354088193X / isbn-13: 9783540881933
Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected ... Computer Science and General Issues)
Springer /2013-08-14 Paperback / 159 Pages
isbn-10: 3642392768 / isbn-13: 9783642392764
Structured Object-Oriented Formal Language and Method: 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers (Theoretical Computer Science and General Issues)
Xue, Jinyun Nagoya, Fumiko Liu, Shaoying Duan, Zhenhua
Springer /2021-06-04 Paperback / 216 Pages
isbn-10: 3030774732 / isbn-13: 9783030774738
Agile-SOFL: Agile Formal Engineering Method
Springer /2024-06-06 Hardcover / 160 Pages
isbn-10: 9819722845 / isbn-13: 9789819722846
Software Fault Prevention, Verification, and Validation: First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings (Lecture Notes in Computer Science, 15393)
Springer /2025-02-08 Paperback / 270 Pages
isbn-10: 9819616204 / isbn-13: 9789819616206
