LEARNABILITY AND ROBUSTNESS OF USER INTERFACES - Towards a Formal Analysis of Usability Design Principles Topics: Applications of Expert Systems; Aspect-Orientation; Case-Based Reasoning and Development; Requirements Analysis; User Modeling In Proceedings of the Third International Conference on Software and Data Technologies - Volume 3: ICSOFT, 261-268, 2008 , Porto, Portugal