Describir: Slicing Techniques to Derive the User Interface Abstract Model