Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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.


There 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-dataflo...


I’m not even sure what would be gained by formal verification of a GUI


Well, 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.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: