✦ LIBER ✦

A Formal Engineering Framework for Service-Based Software Modeling

✍ Scribed by Miao, Weikai; Liu, Shaoying

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A software service framework model based

✍ He Yan-xiang; Li Xu-hui; Lu Hui; Zhu Xiao-feng 📂 Article 📅 2002 🏛 Wuhan University 🌐 English ⚖ 585 KB

rCOS: a formal model-driven engineering

✍ Wei Ke; Xiaoshan Li; Zhiming Liu; Volker Stolz 📂 Article 📅 2012 🏛 Springer-Verlag 🌐 English ⚖ 781 KB

A formal framework to model and validate

✍ Yahya Asadollahi; Vahid Rafe; Samaneh Asadollahi; Somayeh Assadollahi 📂 Article 📅 2011 🏛 Elsevier 🌐 English ⚖ 214 KB

A formal abstract framework for modellin

✍ Aiguier, Marc; Boulanger, Frédéric; Kanso, Bilal 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 531 KB

Approaching a formal framework for graph

✍ Rupert Gnatz 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 882 KB

Using formal methods for teaching softwa

✍ P. Ciancarini; C. Mascolo 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 153 KB