VISUAL ABSTRACT NOTATION FOR GUI MODELLING AND TESTING - VAN4GUIM Topics: Reliable Software Technologies; Requirements Analysis; User Modeling In Proceedings of the Third International Conference on Software and Data Technologies - Volume 3: ICSOFT, 104-111, 2008 , Porto, Portugal