Now showing items 1-1 of 1

    • Semantics for an algebraic specification language 

      Azevedo Terceiro, Antonio Soares de (2006) [Dissertation]
      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 ...