Software and Systems Modeling
Software and System Modeling (SoSyM) is an English language quarterly international journal that focuses on theoretical and practical issues pertaining to the development and application of software and system modeling languages and techniques. The aim of the journal 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. The journal is unique in its emphasis on theoretical foundations of modeling languages and techniques and on rigorous analyses of "real-world" modeling experiences. The balance of theoretical works and works based on in-depth analyses of experiences provides researchers with insights that can lead to better modeling languages and techniques, and provides modeling practitioners with a deeper understanding of modeling languages and techniques that can lead to more effective application. The journal targets researchers, practitioners and students that have a vested interest in results generated by high-quality modeling research and by rigorously analyzing modeling experiences.
Maoz, Shahar, Harel, David (2010): On Tracing Reactive Systems. In Software and Systems Modeling, 0 (0) pp. . http://www.springerlink.com/content/x2p70t81302330r6/
Maoz, Shahar (2010): Polymorphic Scenario-Based Specification Models: Semantics and Applications. In Software and Systems Modeling, 0 (0) pp. .