Massruhá, S., Ferraretto, M., Máximo, F., Meira, C., Passos, S., & Visoli, M. 1994 out 26. AEsp: Um Assistente de Especificação. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :