𝔖 Bobbio Scriptorium

✦ LIBER ✦

Towards automated software model checking using graph transformation systems and Bogor

✍ Scribed by Vahid Rafe; Adel T. Rahmani

Book ID: 111841572
Publisher: SP Zhejiang University Press
Year: 2009
Tongue: English
Weight: 212 KB
Volume: 10
Category: Article
ISSN: 1009-3095
DOI: 10.1631/jzus.a0820415

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Software and systems modeling with graph

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

✍ Schürr, Andy; Rensink, Arend 📂 Article 📅 2012 🏛 Springer-Verlag 🌐 English ⚖ 80 KB

Verifying distributed real-time properti

Verifying distributed real-time properties of embedded systems via graph transformations and model checking

✍ Gabor Madl; Sherif Abdelwahed; Douglas C. Schmidt 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 863 KB

Modelling the software process in terms

Modelling the software process in terms of the system representations and transformation steps used

✍ Tony Moynihan 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 788 KB

[IEEE 2011 IEEE 2nd International Confer

[IEEE 2011 IEEE 2nd International Conference on Software Engineering and Service Science (ICSESS) - Beijing, China (2011.07.15-2011.07.17)] 2011 IEEE 2nd International Conference on Software Engineering and Service Science - Towards choreography model transformation via graph transformation

✍ Fenglin Han, ; Kathayat, Surya Bahadur; Le, Hien; Brek, Rolv; Herrmann, Peter 📂 Article 📅 2011 🏛 IEEE ⚖ 616 KB

[IEEE 2010 Third International Conferenc

[IEEE 2010 Third International Conference on Software Testing, Verification and Validation - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification and Validation - Towards Automated, Formal Verification of Model Transformations

✍ Asztalos, Márk; Lengyel, László; Levendovszky, Tihamér 📂 Article 📅 2010 🏛 IEEE ⚖ 400 KB

[IEEE 2008 23rd IEEE/ACM International C

[IEEE 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - L'Aquila, Italy (2008.09.15-2008.09.19)] 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking

✍ Pradella, Matteo; Morzenti, Angelo; San Pietro, Pierluigi 📂 Article 📅 2008 🏛 IEEE ⚖ 190 KB