✦ LIBER ✦

Experiences using lightweight formal methods for requirements modeling

✍ Scribed by Easterbrook, S.; Lutz, R.; Covington, R.; Kelly, J.; Ampo, Y.; Hamilton, D.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Using formal methods for ensuring qualit

✍ G. Fraser; F. Wotawa 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 83 KB

Experience of using a lightweight formal

✍ Michael Breen 📂 Article 📅 2005 🏛 Springer-Verlag 🌐 English ⚖ 304 KB

Rapid application of lightweight formal

✍ Feather, M.S. 📂 Article 📅 1998 🏛 IEEE 🌐 English ⚖ 199 KB

Transforming OntoUML into Alloy: towards

✍ Bernardo F. B. Braga; João Paulo Andrade Almeida; Giancarlo Guizzardi; Alessande 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 524 KB

Formal methods for telecommunication sys

✍ Mark A. Ardis 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 295 KB

A Formal Model for Experience–Aided Diag

✍ Michel P. Féret; Janice I. Glasgow 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 308 KB