3 ms·
Anything with a GUI seems really daunting to specify. And then later you need to update specs to match GUI if you make any changes and you need to decide which
by IsTom 2mo ago
Anything with a GUI seems really daunting to specify. And then later you need to update specs to match GUI if you make any changes and you need to decide which is wrong: the implementation of the specification.
- sincerely 2mo agoI’m not even sure what would be gained by formal verification of a GUI
- IsTom 2mo agoWell, to prevent bugs in this layer, I guess? To not have things out-of-date or clickable when they shouldn't be or not have layout suddenly becoming garbled.
- black_knight 2mo agoThere are approaches to GUI which are closer to formal specification than what is currently in use. Look at HotDrink for instance: https://tt.utu.fi/soft/hotdrink-gui-programming-with-dataflow-constraint-systems/ https://tt.utu.fi/soft/hotdrink-gui-programming-with-dataflo...