• E-dart : um ambiente de especificação e-lotos 

      Granville, Lisandro Zambenedetti (1998) [Dissertação]
      O aumento crescente da complexidade dos sistemas computacionais criou a necessidade do uso de técnicas de descrição formal (TDFs) na definição, implementação e manutenção dos sistemas. Contudo, apenas a existência de ...
    • Muse : um ambiente para modelagem de aplicações multimidia interativas com tradutor para e-lotos 

      Gaspary, Luciano Paschoal (1998) [Dissertação]
      É notável o avanço da utilização de aplicações multimídia nos diversos setores da atividade humana. Independente da área, seja ela educação ou entretenimento, a possibilidade de agregar recursos dinâmicos como áudio e vídeo ...