3 ms·

I also really enjoyed the book by my former professor: Design Methods for Reactive Systems: Yourdon, Statemate and the UML by Roel Wieringa, Morgan-Kaufmann P

by flor1s 9y ago

I also really enjoyed the book by my former professor: Design Methods for Reactive Systems: Yourdon, Statemate and the UML by Roel Wieringa, Morgan-Kaufmann Publishers, 2003 This is all about specifying reactive systems though, not about how they are programmed.

michaelsbradley 9y ago
In the case of STATEMATE, the designs could be executed directly and there was also tooling to generate compile-able code (Ada/C). Pretty impressive! cf. https://en.wikipedia.org/wiki/I-Logix https://en.wikipedia.org/wiki/I-Logix