Practical formal software engineering

Practical formal software engineering

by Bruce Mills

2009
Join Readfeed freeFind clubs reading this
Rate this book:

Browse books you can read free on Readfeed

No club is reading this yet — be the first to start one

Start a club free
About
Based around a theme of the construction of a game engine, this textbook is for final year undergraduate and graduate students, emphasising formal methods in writing robust code quickly. This book takes an unusual, engineering-inspired approach to illuminate the creation and verification of large software systems . Where other textbooks discuss business practices through generic project management techniques or detailed rigid logic systems, this book examines the interaction between code in a physical machine and the logic applied in creating the software. These elements create an informal and rigorous study of logic, algebra, and geometry through software. Assuming prior experience with C, C++, or Java programming languages, chapters introduce UML, OCL, and Z from scratch. Extensive worked examples motivate readers to learn the languages through the technical side of software science.

Discuss Practical formal software engineering with other readers

Join or start a book club for Practical formal software engineering on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Sign up freeBrowse book clubs

Frequently asked questions

How do I join a book club for Practical formal software engineering?

Sign up free on Readfeed, then browse public clubs or start your own club with Practical formal software engineering as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss Practical formal software engineering with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Practical formal software engineering with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.