Shaoying Liu – författare
Visar alla böcker från författaren Shaoying Liu. Handla med fri frakt och snabb leverans.
37 produkter
Structured Object-Oriented Formal Language and Method
8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
Av Zhenhua Duan, Shaoying Liu m. fl.
Häftad, 2019
566 kr
Lägg i varukorg
This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018.The 11 revised full papers included in the volume were carefully …
Structured Object-Oriented Formal Language and Method
8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
Av Fumiko Nagoya, Cong Tian m. fl.
E-bok, 2019
755 kr
Lägg i varukorg
This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018. The 11 revised full papers included in the volume were carefully …
Structured Object-Oriented Formal Language and Method
9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers
Av Huaikou Miao, Cong Tian m. fl.
Häftad, 2020
566 kr
Lägg i varukorg
This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019. The 23 revised full papers included in the volume were carefully reviewed and …
Structured Object-Oriented Formal Language and Method
9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers
Av Zhenhua Duan, Shaoying Liu m. fl.
E-bok, 2020
755 kr
Lägg i varukorg
This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019. The 23 revised full papers included in the volume were carefully reviewed and …
Structured Object-Oriented Formal Language and Method
10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers
Av Jinyun Xue, Fumiko Nagoya m. fl.
Häftad, 2021
566 kr
Lägg i varukorg
This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021.The 13 revised full papers included in the volume were carefully reviewed and selected from 24 …
Structured Object-Oriented Formal Language and Method
10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers
Av Zhenhua Duan, Shaoying Liu m. fl.
E-bok, 2021
755 kr
Lägg i varukorg
This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021. The 13 revised full papers included in the volume were carefully reviewed and selected from 24 …
Structured Object-Oriented Formal Language and Method
11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
Av Shaoying Liu, Zhenhua Duan m. fl.
Häftad, 2023
622 kr
Lägg i varukorg
This book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, in October 2022.The 12 revised full papers included in the volume were carefully reviewed and selected from 26 …
Structured Object-Oriented Formal Language and Method
11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
Av Ai Liu, Zhenhua Duan m. fl.
E-bok, 2023
839 kr
Lägg i varukorg
This book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, in October 2022. The 12 revised full papers included in the volume were carefully reviewed and selected from 26 …
Structured Object-Oriented Formal Language and Method
Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
Häftad, 2014
566 kr
Lägg i varukorg
This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013. The 13 papers presented in this volume were carefully reviewed and selected from 22 …
Structured Object-Oriented Formal Language and Method
Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
E-bok, 2014
755 kr
Lägg i varukorg
This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013. The 13 papers presented in this volume were carefully reviewed and selected from 22 …
Structured Object-Oriented Formal Language and Method
4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
Häftad, 2015
455 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and …
Structured Object-Oriented Formal Language and Method
4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
E-bok, 2015
588 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and …
Structured Object-Oriented Formal Language and Method
5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
Häftad, 2016
566 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, France, in November 2015. The 15 papers presented in this volume were carefully reviewed and selected …
Structured Object-Oriented Formal Language and Method
5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
E-bok, 2016
755 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, France, in November 2015. The 15 papers presented in this volume were carefully reviewed and selected …
Formal Methods and Software Engineering
18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
Av Kazuhiro Ogata, Mark Lawford m. fl.
Häftad, 2016
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The …
Formal Methods and Software Engineering
18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
Av Shaoying Liu, Mark Lawford m. fl.
E-bok, 2016
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The …
Structured Object-Oriented Formal Language and Method
6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
Av Shaoying Liu, Zhenhua Duan m. fl.
Häftad, 2017
566 kr
Lägg i varukorg
This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They …
Structured Object-Oriented Formal Language and Method
6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
Av Fumiko Nagoya, Cong Tian m. fl.
E-bok, 2017
755 kr
Lägg i varukorg
This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They …
Structured Object-Oriented Formal Language and Method
7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
Av Cong Tian, Fumiko Nagoya m. fl.
Häftad, 2018
566 kr
Lägg i varukorg
This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi’an, China, in November 2017.The 13 revised full papers included in the volume were carefully reviewed and …
Structured Object-Oriented Formal Language and Method
7th International Workshop, SOFL+MSVL 2017, Xi''an, China, November 16, 2017, Revised Selected Papers
Av Zhenhua Duan, Shaoying Liu m. fl.
E-bok, 2018
739 kr
Lägg i varukorg
This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi’an, China, in November 2017. The 13 revised full papers included in the volume were carefully reviewed and …
Formal Engineering for Industrial Software Development
Using the SOFL Method
Av Shaoying Liu
Inbunden, 2004
566 kr
Lägg i varukorg
In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without verifying how the system is expected to function. Software engineering is no different in this respect.Formal methods involve the use of …
Formal Methods and Software Engineering
10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings
Av Shaoying Liu, Tom Maibaum m. fl.
Häftad, 2008
566 kr
Lägg i varukorg
Formal engineering methods are intended to o?er e?ective means for integ- tion of formal methods and practical software development technologies in the context of software engineering. Their purpose is to provide e?ective, rigorous, and systematic techniques for signi?cant improvement of software …
Formal Methods and Software Engineering
10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings
Av Keijiro Araki, Tom Maibaum m. fl.
E-bok, 2008
755 kr
Lägg i varukorg
Formal engineering methods are intended to o?er e?ective means for integ- tion of formal methods and practical software development technologies in the context of software engineering. Their purpose is to provide e?ective, rigorous, and systematic techniques for signi?cant improvement of software …
Formal Engineering for Industrial Software Development
Using the SOFL Method
Av Shaoying Liu
Häftad, 2010
566 kr
Lägg i varukorg
In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without verifying how the system is expected to function. Software engineering is no different in this respect.Formal methods involve the use of …
Structured Object-Oriented Formal Language and Method
Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
Av Shaoying Liu
Häftad, 2013
522 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this …
Structured Object-Oriented Formal Language and Method
Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
Av Shaoying Liu
E-bok, 2013
672 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this …
Formal Engineering for Industrial Software Development
Using the SOFL Method
Av Shaoying Liu
E-bok, 2013
755 kr
Lägg i varukorg
In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without verifying how the system is expected to function. Software engineering is no different in this respect. Formal methods involve the use of …
Software Fault Prevention, Verification, and Validation
Second International Symposium, SFPVV 2025, Shanghai, China, November 8–9, 2025, Proceedings
Av Yuting Chen, Hiroyuki Okamura m. fl.
Häftad, 2026
745 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 2nd International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2025, held in Shanghai, China, during November 8–9, 2025.The 11 full papers included in this book were carefully reviewed and selected from 31 …
Software Fault Prevention, Verification, and Validation
Second International Symposium, SFPVV 2025, Shanghai, China, November 8-9, 2025, Proceedings
Av Shaoying Liu, Hiroyuki Okamura m. fl.
E-bok, 2026
1007 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 2nd International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2025, held in Shanghai, China, during November 8–9, 2025.The 11 full papers included in this book were carefully reviewed and selected from 31 …
