Protótipos Funcionais a partir de Especificações Formais em VDM
Resumo
Descrevemos neste trabalho a transformação de uma especificação formal em VDM (Vienna Development Method) [1] para um protótipo correspondente em Standard ML CSML) [2]. Para facilitar a transformação, utilizamos uma implementação (descrita em [3]) em SML dos objetos matemáticos (sets, maps, seqs) e operações associadas de VDM. O enfoque utilizado para a transformação é completamente formal.
Referências
Jones, C.B.: Systematic Software Development Using VDM. Prentice Hall International (UK) Ltd, 1986.
Harper, R., D. MacQueen and R. Milner: Standard ML. Edinburgh University, Internal Report ECS-LFCS-86-2, March, 1986.
Borba, P.H.M., S.L. Meira: Modelo Funcional de um Subconjunto de VDM. Departamento de Informática, UFPE, 1989.
Cohen, B., W.T. Harwood and M.I. Jackson: The Specification of Complex Systems. Addison-Wesley Publishing Company, 1986.
Borba, P.H.M.: Especificação Formal em VDM de um Sistema de Folha de Pagamento. Departamento de Informática, UFPE, 1989.
Harper, R., D. MacQueen and R. Milner: Standard ML. Edinburgh University, Internal Report ECS-LFCS-86-2, March, 1986.
Borba, P.H.M., S.L. Meira: Modelo Funcional de um Subconjunto de VDM. Departamento de Informática, UFPE, 1989.
Cohen, B., W.T. Harwood and M.I. Jackson: The Specification of Complex Systems. Addison-Wesley Publishing Company, 1986.
Borba, P.H.M.: Especificação Formal em VDM de um Sistema de Folha de Pagamento. Departamento de Informática, UFPE, 1989.
Publicado
25/10/1989
Como Citar
BORBA, Paulo Henrique Monteiro; MEIRA, Silvio Lemos.
Protótipos Funcionais a partir de Especificações Formais em VDM. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 3. , 1989, Recife/PE.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1989
.
p. 171-184.
DOI: https://doi.org/10.5753/sbes.1989.25258.
