✦ LIBER ✦

Formalizing ODP enterprise specifications in Maude

✍ Scribed by Francisco Durán; Antonio Vallecillo

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Writing and executing ODP computational

✍ José Raúl Romero; Antonio Vallecillo; Francisco Durán 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 907 KB

ODP enterprise viewpoint specification

✍ M.W.A. Steen; J. Derrick 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 465 KB

Using Maude to write and execute ODP inf

✍ Francisco Durán; Manuel Roldán; Antonio Vallecillo 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 817 KB

Invariant-driven specifications in Maude

✍ Manuel Roldán; Francisco Durán; Antonio Vallecillo 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 865 KB

Building consistent formal specification

✍ Natalia Kryvinska 📂 Article 📅 2012 🏛 The Society of Service Science ⚖ 716 KB

An ontological analysis of the notion of

✍ Almeida, João Paulo A.; Guizzardi, Giancarlo 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 594 KB