✦ LIBER ✦

Understanding and exploring formal specifications

✍ Scribed by Jawed Siddiqi; Ian Morrey; Richard Hibberd; Graham Buckberry

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Better Understanding through Formal Spec

✍ D. A. Duce; E. V. C. Fielding 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 1018 KB

Specifications: Formal and informal—a ca

✍ Narain Gehani 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 653 KB

Algebras and formal specifications in ge

✍ Jean-François Dufourd 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 776 KB

Exploring and understanding relationship

✍ Maryann M. Durland 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 161 KB

Synthesizing structured analysis and obj

✍ David L. Coleman; Albert L. Baker 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 272 KB

ARIFS:: an Environment for Incomplete an

✍ Rebeca P. Díaz Redondo; José J. Pazos Arias; Ana Fernández Vilas; Belén Barragán 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 386 KB