GEMS – Um GErenciador de Módulos de Software

• Augusto César Sampaio UFPE
• Hermano Perrelli de Moura UFPE
• Max Cavalcanti de Albuquerque UFPE
• Silvio Lemos Meira UFPE

DOI: https://doi.org/10.5753/sbes.1988.24245

Resumo

Utilizamos o método me too na especificação e prototipagem do GEMS, um GErenciador de Módulos de Software, que, em particular, foi desenvolvido como um modelo semântico para o gerenciamento de módulos da notação Zc. me too engloba uma notação abstrata, para a fase de especificação, e uma notação concreta (executável), que permite o desenvolvimento rápido de protótipos.

Referências

Henderson P. and Minkowitz C.: "The me too Method of Software Design". Dep. Comput. Sci., Univ. Stirling, Stirling, Scotland, Rep. FPN/10 (available from the author).

Jones C. B.: "Systematic Software Development Using VDM". "Prentice-Hall Intl., UK, 1986.

Martins F. M.: "Especificação Formal e Prototipificação de Software - A Metodologia me too", Notas de Aula, Universidade do Minho, Portugal, 1985.

Sampaio A. C. A. e Meira S. L.: "Zc: Uma Notação para Especificação de Sistemas Complexos". Anais do XV SEMISH, Congresso da SBC, Rio de Janeiro, Julho/88.

Sampaio, A. C., Moura, H. P., Albuquerque, M. C. e Meira, S. L.: "Um Modelo Semântico para os Módulos de Zc". RT-DI UFPE 012/88, Depto. de Informática, UFPE, Recife, PE, 1988.

Turner D.: "Miranda System Manual". Research Software Limited. Canterbury, England, 1987.