Campos, José Francisco CreissacMartins, Fernando MárioFernando Nunes FerreiraJoão CunhaMári Rui GomesMário MartinsManuel João PrósperoLima SerafimJosé Carlos Teixeira2023-01-302023-01-302023978-3-03868-199-1https://doi.org/10.2312/pt.19931475https://diglib.eg.org:443/handle/10.2312/pt19931475Apresenta-se neste artigo um arquitectura software destinada a fornecer o suporte tecnológico ao desenvolvimento de Interfaces Utilizador no enquadramento de uma metodologia rigorosa para o desenvolvimento de Sistemas Interactivos. Assim, partindo da especificação formal da camada aplicativa, usando modelos matemáticos, a metodologia visa a sistematização do processo de construção do sistema interactivo, segundo princípios que têm por objectivo a criação de interfaces de qualidade dado o seu grau de assistência ao utiliz.ador, dadas as suas caraterísticas preventivas de erros e finalmente dada a sua sensibilidade contextual. O sistema apresentado, GAMA-X, oferece uma arquitectura de apoio ao desenvolvimento sistemático e semi-automático deste tipo de interfaces, incorporando ferramentas que apoiam os diferentes passos do desenvolvimento. Apresenta-se neste artigo em maior detalhe a composição do GAMA-X, com relevo para os módulos mais ligados à IU, bem como a linguagem de especificação do controlador do diálogo. Referem-se ainda questões relacionadas com a camada de apresentação e com a comunicação entre os diferentes módulos.Attribution 4.0 International License10.2312/pt.19931475197-20913 pages