Structured Object-Oriented Formal Language and Method

Discover the cutting-edge insights in "Structured Object-Oriented Formal Language and Method," authored by Jinyun Xue and published by Springer Nature Switzerland AG in 2021. This first edition features 205 pages of meticulously curated content, presenting the refereed workshop proceedings from the 10th International Workshop on Structured Object-Oriented Formal Language and Method (SOFL+MSVL 2020), held in Singapore in March 2021. The volume includes 13 revised full papers, each carefully reviewed and selected from a competitive pool of 24 submissions. Ideal for researchers and practitioners in the field, this book delves into advanced methodologies and formal languages that enhance software development practices. Enhance your understanding of structured object-oriented techniques and their applications by adding this essential resource to your library.