✦ LIBER ✦

Generating diagram editors from formal specifications

✍ Scribed by F Arefi; M.T. Milani

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal Specification Generation from Req

✍ Gustavo Cabral; Augusto Sampaio 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 327 KB

Formal specifications as constructive di

✍ Carol Britton; Martin Loomes; Richard Mitchell 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 285 KB

Generating Model Checkers from Algebraic

✍ Teodor Rus; Eric Van Wyk; Tom Halverson 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 298 KB

Deriving CORBA Applications from Formal

✍ B. J. Krämer; N. Völker; R. Lichtenecker; H.-F. Kötter 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 254 KB

Generating parallel programs from skelet

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

Data Parallel Program Visualizations fro

✍ M.V. Lapolla; J.L. Sharnowski; B.H.C. Cheng; K. Anderson 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 678 KB