Can I read Formal Methods in Software Engineering on EtoBox?

Formal Methods in Software Engineering by abdulwahab20871 is a document available to read on EtoBox.

What is Formal Methods in Software Engineering about?

The document outlines a course on Formal Methods in Software Engineering, detailing its objectives, learning outcomes, and grading scheme. Students will learn to describe the costs and benefits of formal methods, construct formal models, and implement software systems based on these models. Recommended readings include a concise guide to formal methods and a book on Z specification.

Author

abdulwahab20871

Language

EN