Especificação de um Programa de Matrículas Utilizando VDM

  • Leila Ribeiro UFRGS
  • Daltro José Nunes UFRGS
DOI: https://doi.org/10.5753/sbes.1989.25259

Abstract


This paper shows an application of VDM (The Vienna Development Method): the formal specification of a subset of the registration system of UFRGS.

References

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.
Published
1989-10-25
How to Cite

Select a Format
RIBEIRO, Leila; NUNES, Daltro José. Especificação de um Programa de Matrículas Utilizando VDM. In: BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING (SBES), 3. , 1989, Recife/PE. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 1989 . p. 185-200. ISSN 2833-0633. DOI: https://doi.org/10.5753/sbes.1989.25259.