✦ LIBER ✦

Software monitoring through formal specification animation

✍ Scribed by Hui Liang; Jin Song Dong; Jing Sun; W. Eric Wong

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Predictive software metrics based on a f

✍ WB Samson; DG Nevill; PI Dugard 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 472 KB

Making formal specifications accessible

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

Improving software quality through forma

✍ Yosef S. Sherif; John C. Kelly 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 358 KB

The EEC workshop on formal specification

✍ D.A Duce 📂 Article 📅 1982 🏛 Elsevier Science ⚖ 273 KB

Software engineering education: Rôles of

✍ Dines Bjørner; Jorge R. Cuéllar 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 258 KB

Towards quality requirements via animate

✍ Jawed I. Siddiqi; Ian C. Morrey; Chris R. Roast; Mehmet B. Ozcan 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 246 KB