Structured Object-Oriented Formal Language and Method

Discover the groundbreaking work of Shaoying Liu in "Structured Object-Oriented Formal Language and Method," published by Springer International Publishing AG in 2017. This first edition features 239 insightful pages that compile revised selected papers from the prestigious 6th International Workshop on Structured Object-Oriented Formal Language and Method (SOFL+MSVL 2016), held in Tokyo, Japan. Out of 26 submissions, only 13 exceptional papers were meticulously reviewed and included in this volume, making it a valuable resource for researchers and practitioners alike. The book explores advanced concepts in object-oriented design and formal methods, providing readers with a comprehensive understanding of contemporary approaches in the field. Whether you are a student, educator, or industry professional, this work is an essential addition to your library. Enhance your knowledge and dive into the world of formal languages and methods with this engaging and informative text.