✦ LIBER ✦

Emphasizing formal analysis in a software engineering curriculum

✍ Scribed by Sobel, A.E.K.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Human systems analysis in the software e

✍ H.Joel Jeffrey 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 868 KB

Metrics in the software engineering curr

✍ Everald E. Mills 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 103 KB

Formal methods integration in software e

✍ Isabelle Perseil; Laurent Pautet 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 371 KB

Education in formal methods for software

✍ John Wordsworth 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 545 KB

A Formal Engineering Framework for Servi

✍ Miao, Weikai; Liu, Shaoying 📂 Article 📅 2013 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 511 KB

Editorial: analysis in software engineer

✍ Robert J. Hall 📂 Article 📅 2012 🏛 Springer US 🌐 English ⚖ 122 KB