✦ LIBER ✦

A Multi-formalism Approach for the Validation of UML Models

✍ Scribed by Sophie Dupuy; Lydie du Bousquet

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

TURTLE-P: a UML profile for the formal v

✍ Ludovic Apvrille; Pierre de Saqui-Sannes; Ferhat Khendek 📂 Article 📅 2006 🏛 Springer-Verlag 🌐 English ⚖ 876 KB

Formal concepts for an integrated intern

✍ Martin Große-Rhode 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 168 KB

The OsMoSys approach to multi-formalism

✍ V. Vittorini; M. Iacono; N. Mazzocca; G. Franceschinis 📂 Article 📅 2004 🏛 Springer-Verlag 🌐 English ⚖ 579 KB

A formal approach based on UML and B for

✍ Amel Mammar; Régine Laleau 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 472 KB

Agent-based services for the validation

✍ Y. Li; A.J. Brimicombe; C. Li 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 724 KB

A formal model of composing components:

✍ Ondrej Rysavy; Jaroslav Rab 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 793 KB