• Semantics for an algebraic specification language 

      Azevedo Terceiro, Antonio Soares de (2006) [Dissertação]
      Prosoft é um grupo de pesquisa do Instituto de Informática da UFRGS, desenvolvido pelo grupo de pesquisa homônimo e coordenado pelo Professor Daltro José Nunes. O objetivo do projeto é desenvolver um ambiente de desenvolvimento ...