✦ LIBER ✦

Frameworks: the future of formal software development?

✍ Scribed by Richard O Sinnott

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal methods application: an empirical

✍ Sobel, A.E.K.; Clarkson, M.R. 📂 Article 📅 2002 🏛 IEEE 🌐 English ⚖ 366 KB

The role of formal methods in developing

✍ Martyn Thomas 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 228 KB

Formal verification of real-time embedde

✍ Hsiung, P.-A.; Lee, T.-Y.; Fu, J.-M.; See, W.-B. 📂 Article 📅 2004 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 536 KB

Development of Engineering Software With

✍ BRUCE W. R. FORDE; SIEGFRIED F. STIEMER 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 819 KB

Whole Life Cost: The Future Trend in Sof

✍ Malcolm Bradley; Ray Dawson 📂 Article 📅 1999 🏛 Springer US 🌐 English ⚖ 167 KB

Comments on "Formal methods application:

✍ Berry, D.M.; Tichy, W.F. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 215 KB