Especificação de um Programa de Matrículas Utilizando VDM
Resumo
Este trabalho apresenta uma aplicação do método VDM (The Vienna Development Method): a especificação formal de uma parte do programa de matrículas da Universidade Federal do Rio Grande do Sul.
Referências
BJORNER, D. & JONES, C. (eds.) The Vienna development method: The meta-language. Lecture Notes in Computer science, 61, 1978.
JONES, C. Systematic software development using VPM. Inglaterra, Prentice-Hall International,1986. 300p.
RIBEIRO, L. O método VDM e sua aplicação na especificação formal de um programa de matrícula. Porto Alegre, 1988. [Trabalho de Diplomação - UFRGS]
VDM'87: VDM - A formal method at work. Lecture Notes in Computer sciences, 252, 1987.
JONES, C. Systematic software development using VPM. Inglaterra, Prentice-Hall International,1986. 300p.
RIBEIRO, L. O método VDM e sua aplicação na especificação formal de um programa de matrícula. Porto Alegre, 1988. [Trabalho de Diplomação - UFRGS]
VDM'87: VDM - A formal method at work. Lecture Notes in Computer sciences, 252, 1987.
Publicado
25/10/1989
Como Citar
RIBEIRO, Leila; NUNES, Daltro José.
Especificação de um Programa de Matrículas Utilizando VDM. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 3. , 1989, Recife/PE.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1989
.
p. 185-200.
DOI: https://doi.org/10.5753/sbes.1989.25259.