Este artigo apresenta uma breve visao da historia da Revista em relacao as Tecnologias da Informacao, descreve as acoes que estao sendo tomadas para incrementar sua participacao na comunidade academica de Ciencia da Computacao utilizando-se das possibilidades da Web, e ...

Este numero da Revista de Informatica Teorica e Aplicada (RITA) tem significado especial. Trata-se do primeiro numero publicado no ano em que a revista completa 20 anos. Durante duas decadas, muitos trabalharam para construir a historia da RITA. Os artigos deste numero ...

Os editores da Revista de Informática Teórica e Aplicada agradecem ao corpo editorial e aos seguintes revisores, do período 2005-2007, por seus esforços em manter o alto padrão de avaliação dos artigos da revista.

This paper presents an assessment of the Semiotic Inspection Methodaimed at understanding its costs, benefits, advantages and disadvantages from the evaluators’perspective. We applied a questionnaire to novice evaluators and interviewedthe authors of the method (represe...

Neste trabalho apresentamos versoes deterministicas para os esquemas de hashing de Botelho, Kohayakawa e Ziviani (2005) e por Botelho, Pagh e Ziviani (2007). Tambem respondemos a um problema deixado em aberto no primeiro dos trabalhos, relacionado a prova da corretude e...

<jats:p>Unification is the core of type inference algorithms for modern functional programming languages, like Haskell and SML. As a first step towards a formalization of a type inference algorithm for such programming languages, we present a formalization in Coq of a t...

Este artigo apresenta a utilizacao da ferramenta PreText como tecnica auxiliar a uma pesquisa sobre epistemologia da Informatica em Saude (IS), que visa inferir se a IS se caracteriza como ciencia, tecnologia, tecnociencia ou arte. O PreText tem por objetivo realizar pr...

Este artigo apresenta um ambiente para o desenvolvimento de software baseado no reuso de componentes, que combina tecnologias de gerenciamento de workflows, semântica e componentes de software. O ambiente desenvolvido pode ser utilizado por desenvolvedores de software, ...

Ha situacoes em que decisoes devem ser tomadas em sequencia, e o resultado de cada decisao nao e claro para o tomador de decisoes. Estas situacoes podem ser formuladas matematicamente como processos de decisao de Markov, e dadas as probabilidades dos valores resultantes...

Questões relacionadas à modernização de sistemas de informação têm recebido maior atenção e relevância. Muitos métodos têm sido propostos para apoiar uma organização na escolha da melhor alternativa para modernização de um sistema. Entretanto, esses métodos não fornecem...