Tradução de Tipos de Especificação para Protótipo
Resumo
Introduzimos um método de transformação de especificações formais em protótipos funcionais. Em seguida, descrevemos a tradução de tipos da linguagem de especificação de VDM para a linguagem de programação SML, terminando com a especificação e protótipo da parte de tradução de tipos de um sistema de transformação de especificações em VDM para protótipos em SML.Referências
G. Barrett. Formal Methods Applied to a Floating-Point Number System. IEEE Transactions on Software Engineering, 15(5), May 1989.
P.H.M. Borba e S. R. L. Meira. Notação VDM Executável em Standard ML. Em Anais do IX Congresso da Sociedade Brasileira de Computação, Uberlândia - MG, Julho 1989.
P.H. M. Borba e S. R. L. Meira. Protótipos funcionais a partir de Especificações em VDM. Em Anais do III Simpósio Brasileiro de Engenharia de Software, Recife - PE, Outubro 1989.
P. H. M. Borba e S. R. L. Meira. Sistema de Transformação de VDM para SML - Tradução de Tipos. Relatório Técnico. Departamento de Informática, Universidade Federal de Pernambuco, 1990.
BSI. VDM Specification Language - Proto-Standard. Relatório Técnico, Draft, BSI IST/5/50, June 1989.
I. Hayes, editor. Specification Case Studies. C. A. R. Hoare Series Editor, Prentice-Hall, 1987.
R. Harper, D. MacQueen, e R. Milner. Standard ML. Relatório Técnico ECS-LFCS-86-2, Edinburgh University, 1986.
C. B. Jones. Systematic Software Development Using VDM. Prentice Hall, 1986.
M. Johnson e P. Sanders. From Z Specifications to Functional Implementations. Em Z Technical and Users Meeting, December 1989.
C. A. Middelburg. VVSL: A Language for Structured VDM Specifications. Formal Aspects of Computing, 1(1). 1989.
M. Nielsen, K. Havelund, K. Wagner, e C. George. The RAISE Language, Method and Tools. Formal Aspects of Computing, 1(1), 1989.
P.H.M. Borba e S. R. L. Meira. Notação VDM Executável em Standard ML. Em Anais do IX Congresso da Sociedade Brasileira de Computação, Uberlândia - MG, Julho 1989.
P.H. M. Borba e S. R. L. Meira. Protótipos funcionais a partir de Especificações em VDM. Em Anais do III Simpósio Brasileiro de Engenharia de Software, Recife - PE, Outubro 1989.
P. H. M. Borba e S. R. L. Meira. Sistema de Transformação de VDM para SML - Tradução de Tipos. Relatório Técnico. Departamento de Informática, Universidade Federal de Pernambuco, 1990.
BSI. VDM Specification Language - Proto-Standard. Relatório Técnico, Draft, BSI IST/5/50, June 1989.
I. Hayes, editor. Specification Case Studies. C. A. R. Hoare Series Editor, Prentice-Hall, 1987.
R. Harper, D. MacQueen, e R. Milner. Standard ML. Relatório Técnico ECS-LFCS-86-2, Edinburgh University, 1986.
C. B. Jones. Systematic Software Development Using VDM. Prentice Hall, 1986.
M. Johnson e P. Sanders. From Z Specifications to Functional Implementations. Em Z Technical and Users Meeting, December 1989.
C. A. Middelburg. VVSL: A Language for Structured VDM Specifications. Formal Aspects of Computing, 1(1). 1989.
M. Nielsen, K. Havelund, K. Wagner, e C. George. The RAISE Language, Method and Tools. Formal Aspects of Computing, 1(1), 1989.
Publicado
24/10/1990
Como Citar
BORBA, Paulo H. M.; MEIRA, Silvio R. de L..
Tradução de Tipos de Especificação para Protótipo. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 4. , 1990, Águas de São Pedro/São Paulo.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1990
.
p. 1-13.
DOI: https://doi.org/10.5753/sbes.1990.24162.
