Formal design tools in WGC4?

[mweetman]

Hi,

Just wondering whether WGC4 will have content around formal design/modelling tools such as TLA+, Alloy, Coq, etc?

I've been learning (trying to learn) TLA+ for a while, but thinking in terms of state machines is very different. I can definitely see the need for these tools during the design phase though.

many thanks

[rhyde]

The short answer is no.
I am loathe to discuss specific tools in WGC(4) because tools come and go (fall in and out of favor) and it becomes a real nightmare maintaining such books.

WGC4 will cover generic design stuff (both old-school and OOPs).
Cheers,
Randy Hyde