✦ LIBER ✦

Software and systems modeling with graph transformations theme issue of theJournal on Software and Systems Modeling

✍ Scribed by Schürr, Andy; Rensink, Arend

Book ID: 121555574
Publisher: Springer-Verlag
Year: 2012
Tongue: English
Weight: 80 KB
Volume: 13
Category: Article
ISSN: 1619-1366
DOI: 10.1007/s10270-012-0254-z

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Towards automated software model checkin

Towards automated software model checking using graph transformation systems and Bogor

✍ Vahid Rafe; Adel T. Rahmani 📂 Article 📅 2009 🏛 SP Zhejiang University Press 🌐 English ⚖ 212 KB

Editorial First Issue of the Internation

Editorial First Issue of the International Journal on Software and Systems Modeling

📂 Article 📅 2002 🏛 Springer-Verlag 🌐 English ⚖ 71 KB

Ten years of software and systems modeli

Ten years of software and systems modeling

✍ Gregor Engels,Jon Whittle 📂 Article 📅 2012 🏛 Springer-Verlag 🌐 English ⚖ 349 KB

The journal on Software and Systems Mode

The journal on Software and Systems Modeling Matures

✍ Robert France,Bernhard Rumpe 📂 Article 📅 2012 🏛 Springer-Verlag 🌐 English ⚖ 319 KB

Dependability modeling and analysis of s

Dependability modeling and analysis of software systems specified with UML

✍ Bernardi, Simona; Merseguer, José; Petriu, Dorina C. 📂 Article 📅 2012 🏛 Association for Computing Machinery 🌐 English ⚖ 977 KB

Dependability modeling and analysis of s

Dependability modeling and analysis of software systems specified with UML

✍ Bernardi, Simona; Merseguer, José; Petriu, Dorina C. 📂 Article 📅 2012 🏛 Association for Computing Machinery 🌐 English ⚖ 977 KB

The goal is to survey dependability modeling and analysis of software and systems specified with UML, with focus on reliability, availability, maintainability, and safety (RAMS). From the literature published in the last decade, 33 approaches presented in 43 papers were identified. They are evaluate