Structured Object-Oriented Formal Language and Method

Discover the cutting-edge insights in "Structured Object-Oriented Formal Language and Method" by Shaoying Liu, published by Springer International Publishing AG in 2023. This first edition, featuring 151 pages, compiles the refereed workshop proceedings from the 11th International Workshop on Structured Object-Oriented Formal Language and Method (SOFL+MSVL 2022), held in Madrid in October 2022. Within this volume, you will find 12 meticulously revised full papers that have been rigorously reviewed and selected from a competitive pool of 26 submissions. This book is an essential resource for anyone interested in the latest advancements in object-oriented formal languages and methodologies, making it a valuable addition to your academic library. Enhance your understanding of this vital area in mathematics and formal methods with this comprehensive collection.