Campos, José CreissacCarriço, Luís and Correia, Nuno and Antunes, Pedro and Jorge, Joaquim2021-11-022021-11-022021978-3-03868-166-3https://doi.org/10.2312/pt.20041508https://diglib.eg.org:443/handle/10.2312/pt20041508A norma ISO DIS 924I-J/ define usabilidade de um sistema como a eficácia, eficiência e satisfação com que utilizadores determinados atingem objectivos determinados em ambientes específicos. A análise de usabilidade de um sistema deve então ter em consideração os utilizadores e o contexto de utilização. Isto coloca problemas pois tipicamente os engenheiros de software não estão motivados, nem tem os conhecimentos necessários, para analisarem o sistema desta perspectiva. Neste artigo apresenta-se a arquitectura de uma ferramenta que suporta uma abordagem ao desenvolvimento de sistemas interactivos em que se procura facilitar a comunicação entre as comunidades da Interacção Humano-Computador e da Engenharia de Software.Usabilidadeverificação de modelos (modelchecking)10.2312/pt.20041508171-176