Métodos Formais na Especificação de Interfaces com o Utilizado: a Linguagem VDM++ e o Tratamento de Eventos

• Type: Article in International Conference Proceedings Book
• Date: 2002

Authors

Ana Cristina Paiva Pimenta (Author) FEUP; João Carlos Pascoal de Faria (Author) FEUP; Raul Moreira Vidal (Author) FEUP; José Nuno Oliveira (Author) Other

Conference proceedings National

Title: Actas da 3ª Conferência da Associação Portuguesa de Sistemas de Informação

3ª Conferência da Associação Portuguesa de Sistemas de Informação

Other information

Resumo (PT): Este artigo faz uma avaliação da utilização de uma linguagem geral de especificação,VDM++, para especificação de interfaces com o utilizador analisando em particular uma das suas limitações que condicionam a sua aplicabilidade (o tratamento de eventos). Começa por uma classificação geral dos Métodos Formais existentes de acordo com os aspectos em que se baseiam (modelos, propriedades ou comportamentos) referindo as diferentes abordagens de aplicação destes métodos à especificação de interfaces. De seguida, é apresentado o caso de estudo onde se cria uma especificação, em VDM++, para um diálogo (validação de um utilizador e a sua palavra-chave) por um processo de engenharia reversa do código C# necessário para a implementação desse diálogo, avaliando-se a utilização da linguagem e apresentando-se uma solução para o tratamento de eventos.

Language: Portuguese

Type (Professor's evaluation): Scientific

No. of pages: 13