Shaoying Liu's Books

Formal Engineering for Industrial Software Development

Using the SOFL Method

By: Shaoying Liu

Write a review Read reviews Take a Quiz Solve Book Puzzle

Formal Engineering for Industrial Software Development

Using the SOFL Method

By: Shaoying Liu

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 mathematical notation and calculus in software development; such methods are difficult to apply to large-scale systems with practical constraints (e.g., limited developer skills, time and budget restrictions, changing requirements). Here Liu claims that formal engineering methods may bridge this gap. He advocates the incorporation of mathematical notation into the software engineering process, thus substantially improving the rigor, comprehensibility and effectiveness of the methods commonly used in industry. This book provides an introduction to the SOFL (Structured Object-Oriented Formal Language) method that was designed and industry-tested by the author. Written in a style suitable for lecture courses or for use by professionals, there are numerous exercises and a significant real-world case study, so the readers are provided with all the knowledge and examples needed to successfully apply the method in their own projects.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

410

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3662072874

ISBN 13

9783662072875

China’s Ethical Revolution and Regaining Legitimacy

Reforming the Communist Party through Its Public Servants

By: Shaoying Zhang,Derek McGhee

Write a review Read reviews Take a Quiz Solve Book Puzzle

China’s Ethical Revolution and Regaining Legitimacy

Reforming the Communist Party through Its Public Servants

By: Shaoying Zhang,Derek McGhee

This book examines the many ways in which the Communist Party in China is still revolutionary by focusing on how, in recent years, it has attempted to mobilize Party members to become ethical subjects. In the context of the Party’s history of the military revolution, Cultural Revolution and Economic Reform (or economic revolution), the authors argue that under President Xi Jinping the Party has launched an ethical revolution within the Party for the sake of sustaining its legitimacy. This book examines the various combined components of this ethical revolution, including anti-corruption, anti-four undesirable working styles and Mass-Line Education programme from the perspective of the fifty current Communist Party officials.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

328

Publisher

Springer

Published Date

ISBN 10

3319514962

ISBN 13

9783319514963

Formal Engineering for Industrial Software Development

Using the SOFL Method

By: Shaoying Liu

Write a review Read reviews Take a Quiz Solve Book Puzzle

Formal Engineering for Industrial Software Development

Using the SOFL Method

By: Shaoying Liu

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

410

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3662072874

ISBN 13

9783662072875

Formal Methods and Software Engineering

10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

By: Shaoying Liu,Keijiro Araki

Write a review Read reviews Take a Quiz Solve Book Puzzle

Formal Methods and Software Engineering

10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

By: Shaoying Liu,Keijiro Araki

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008. The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification; testing; verification; model checking and analysis; tools; application of formal methods; semantics.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

408

Publisher

Springer Science & Business Media

Published Date

ISBN 10

354088193X

ISBN 13

9783540881933

Book's by Shaoying Liu

Formal Engineering for Industrial Software Development

Formal Engineering for Industrial Software Development

China’s Ethical Revolution and Regaining Legitimacy

China’s Ethical Revolution and Regaining Legitimacy

Formal Engineering for Industrial Software Development

Formal Engineering for Industrial Software Development

Formal Methods and Software Engineering

Formal Methods and Software Engineering

Username

Password

Username

Password

Password again

Birthday

Email