Especificação Executável de um Formatador de Texto

  • George Roger Justo UFPE
  • Silvio Lemos Meira UFPE

Resumo


A especificação formal vem se tornando uma ferramenta importante no desenvolvimento de sistemas mais confiáveis. Um problema, porém da sua aplicação é a escolha de uma metodologia de validação. Neste trabalho é utilizada a validação através da execução da especificação, implementada numa linguagem funcional. O principal mérito deste método é oferecer um meio fácil de encontrar erros de especificação sem, contudo, perder as principais propriedades matemáticas da especificação formal.

Referências

Bailey, R., "A HOPE Tutorial". Imperial College, London, UK.

Bailey, R., "Usign IC-HOPE under MS-DOS". Imperial College, London, UK.

Bailey, R., "Usign IC-HOPE under MS-DOS". Imperial College, London, UK.

Henderson, Peter, "Functional Programming, Formal Specification and Rapid Prototyping". Transactions on Software Engineering, Vol 12. No. 2, Fev/86.

J. Stoye at al. "The SKIM Microprogramming's Guide", Tech. Rep. 40, Computer Lab., University of Cambridge, 1984.

H. Richard, "An Overview of the Burroughs NORMA". Burroughs Corp. ARC, Austin, Tx, 1985.

Meira, S.L., "Programação Funcional". V JAI, Recife, PE, Jul/86.

Turner, D., "MIRANDA: A Non-strict Functional Language with Polymorphic Typee". Springer Lecture Notes in Computer Science, Vol 201, 1985.

Wong,E. and Samson,W.B., "The Specification of a Relational Database (PRECI) as an Abstract Data Type and its Realization in HOPE". The Computer Journal, Vol.29, No.3, 1986.

A.C. Sampaio, C.H.Salazar, L.L.Sombra, R.S.Maior & S.R.L.Meira, "Z, Notação Computacional e Especificações". RT-DI/UFPE-007/87.
Publicado
22/10/1987
JUSTO, George Roger; MEIRA, Silvio Lemos. Especificação Executável de um Formatador de Texto. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 1. , 1987, Rio de Janeiro/RJ. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 1987 . p. 120-129. DOI: https://doi.org/10.5753/sbes.1987.25223.