SOUZA, M. R. F.; http://lattes.cnpq.br/0221265788966967; SOUSA, Marckson Roberto Ferreira de. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICAUFCGUniversidade Federal de Campina Grande, 1999-12)
This thesis presents a method and its supporting tools to be used in the specification
phase of the user interface component of interactive systems. This method is based upon
model building (formal and informal) and ...