Software & Systems Modeling
Software and System Modeling (SoSyM) is a quarterly international journal that focuses on theoretical and practical issues in the development and application of software and system modeling languages, techniques, and methods, such as the Unified Modeling Language. The aim of SoSyM is to publish high-quality works that further understanding of the theoretical underpinnings of modeling languages and techniques, present rigorous analyses of modeling experiences, and present scalable modeling techniques and processes that facilitate rigorous and economical development of software.
SoSyM is unique in its emphasis on theoretical foundations of modeling languages and techniques and on rigorous analysis of "real-world" modeling experiences. The balance of theoretical and experience-based works provides insights that can lead to better modeling languages and techniques. In addition, modeling practitioners can gain a deeper understanding of languages and techniques that can lead to more effective applications.
Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols
- Journal Title
- Software & Systems Modeling
- Volume 1 / 2002 - Volume 16 / 2017
- Print ISSN
- Online ISSN
- Springer Berlin Heidelberg
- Additional Links
- Industry Sectors
To view the rest of this content please follow the download PDF link above.