Software engineering mathematics
by Jim Woodcock · first published 1988
4mentions
2recommended by
3HN commenters
2012–2026first – last mentioned
67% recommend33% neutral
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
…since I have never really used it I'm afraid I can't recommend good resources for it. ------ If you're just getting started, I recommend checking out my former advisor's book: https://www.amazon.com/Software-Engineering-Mathematics-Sei/... I found this book to be fairly easy to read through, and gives you a rundown of a lot of the notation and concepts that pretty much all formal methods systems require. ------ TLA+ is a decent…
on “Ask HN: What Are You Working On? (May 2026)” ↗…inventor of TLA+) settled on this specific notation. Please see his interviews/videos on Youtube for more details. In my own case i started by grasping/studying the basics from the following books; * Software Engineering Mathematics by Woodcock and Loomes. * Understanding Formal Methods by Monin. * Introductory Logic and Sets for Computer Scientists by Nimal Nissanke. * Mathematical Notation: A Guide for Engineers and Scientists…
on “TLA+ is hard to learn (2018)” ↗…field, and are equally good at teaching the subject. He's also just a really kind, nice person who is delightful to chat with, though that's true of pretty much anyone in York [1]. I also think his book "Software Engineering Mathematics" [2] is an extremely approachable book for any engineer who wants to learn a bit more theory. As I said, my dropped PhD is not a failure in any capacity from my advisors or the school, mostly just life…
on “In Memoriam, Tony Hoare” ↗…might well fall apart. I've recently started an MSc at what Americans would call an Ivy-League university (having talked my way without an undegrad degree), and the first module I'm working with is "Software Engineering Mathematics". Working through the chapters of the book I have consistently had real trouble getting to grips with the material. I want it to just fit in straight away - and I just want to understand it - and it doesn't,…
on “A Redditor's insightful message for discouraged students” ↗