✦ LIBER ✦

Synthesis from scenario-based specifications

✍ Scribed by David Harel; Itai Segall

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Synthesis of Reo Circuits from Scenario-

✍ Farhad Arbab; Meng Sun; Christel Baier 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 450 KB

Context-Specific, Scenario-Based Risk Sc

✍ Michael Yu; Tomás Lejarraga; Cleotilde Gonzalez 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 976 KB

Inferring declarative requirements speci

✍ van Lamsweerde, A.; Willemet, L. 📂 Article 📅 1998 🏛 IEEE 🌐 English ⚖ 398 KB

Generating parallel programs from skelet

✍ P.J. Parsons; F.A. Rabhi 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 395 KB

Platform-based design from parallel C sp

✍ Auge, I.; Petrot, F.; Donnet, F.; Gomez, P. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 803 KB

Deriving Event-Based Document Transforme

✍ Keisuke NAKANO; Susumu NISHIMURA 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 315 KB