✦ LIBER ✦

Effects of structure on the comprehensibility of formal specifications

✍ Scribed by Finney, K.; Fenton, N.; Fedorec, A.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The formal specifications for protocols

✍ Yuan Meng-ting; Wu Guo-qing; Shu Feng-di 📂 Article 📅 2004 🏛 Wuhan University 🌐 English ⚖ 346 KB

An Experiment to Compare the Comprehensi

✍ DUNCAN NEARY; MARTIN WOODWARD 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 369 KB

A short history of the formal specificat

✍ W. Appelt; G. Richter 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 181 KB

On the development of a standard for con

✍ Dieter Hogrefe 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 459 KB

Practical methods for the formal validat

✍ Gerard J Holzmann 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 572 KB

Making formal specifications accessible

✍ J.E. Cooling; T.S. Hughes 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 654 KB