Cited By
View all- Singh NAït-Ameur YGeniet RMéry DPalanque P(2021)On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive ApplicationsInteracting with Computers10.1093/iwcomp/iwab016Online publication date: 10-May-2021
- Tran VKolp MWautelet YHeng S(2021)UI Generation for Business Data-Based Apps from Task, Domain and User ModelsHandbook of Human Computer Interaction10.1007/978-3-319-27648-9_59-1(1-40)Online publication date: 20-May-2021
- Geniet RSingh N(2018)Refinement Based Formal Development of Human-Machine InterfaceSoftware Technologies: Applications and Foundations10.1007/978-3-030-04771-9_19(240-256)Online publication date: 6-Dec-2018
- Show More Cited By