✦ LIBER ✦

Invariant-driven specifications in Maude

✍ Scribed by Manuel Roldán; Francisco Durán; Antonio Vallecillo

Book ID: 108261901
Publisher: Elsevier Science
Year: 2009
Tongue: English
Weight: 865 KB
Volume: 74
Category: Article
ISSN: 0167-6423
DOI: 10.1016/j.scico.2009.03.003

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formalizing ODP enterprise specification

Formalizing ODP enterprise specifications in Maude

✍ Francisco Durán; Antonio Vallecillo 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 463 KB

Writing and executing ODP computational

Writing and executing ODP computational viewpoint specifications using Maude

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

Using Maude to write and execute ODP inf

Using Maude to write and execute ODP information viewpoint specifications

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

A Tool for Testing Data Type Implementat

A Tool for Testing Data Type Implementations from Maude Algebraic Specifications

✍ Isabel Pita; Adrián Riesco 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 902 KB

Maude

✍ Mabry, Donna Foley 📂 Fiction 📅 2014 🌐 English ⚖ 414 KB

Maude

✍ Mabry, Donna 📂 Fiction 📅 2014 🏛 CreateSpace Independent Publishing Platform 🌐 English ⚖ 301 KB

In 1906, I was barely over fourteen years old, and it was my wedding day. My older sister, Helen, came to my room, took me by the hand, and sat me down on the bed. She opened her mouth to say something, but then her face flushed, and she turned her head to look out the window. After a second, she sq