✦ LIBER ✦

Program Synthesis from Formal Requirements Specifications Using APTS

✍ Scribed by Elizabeth I. Leonard; Constance L. Heitmeyer

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Data Parallel Program Visualizations fro

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

Formal Specification Generation from Req

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

Automated formal specification generatio

✍ Gustavo Cabral; Augusto Sampaio 📂 Article 📅 2008 🏛 SciELO 🌐 English ⚖ 486 KB

Transformational design of real-time sys

✍ Michael Schenke; Ernst-Rüdiger Olderog 📂 Article 📅 1999 🏛 Springer-Verlag 🌐 English ⚖ 341 KB

Deriving Goals from a Use-Case Based Req

✍ Annie I. Antón; Ryan A. Carter; Aldo Dagnino; John H. Dempster; Devon F. Siege 📂 Article 📅 2001 🏛 Springer-Verlag 🌐 English ⚖ 240 KB

Automated Synthesis of Recursive Program

✍ Jacques Chazarain; Serge Muller 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 245 KB