<jats:p>This special issue of RITA contains the papers of the Tutorials presented at the Brazilian Symposium on Computer Graphics and Image Processing, SIBGRAPI 2007. It was a pleasure to receive 17 submissions, two of them from foreign countries. The majority of them h...

<jats:p>This article introduces the V language, a purely functional programming language with a novel approach to records.Based on a system of type traits, V attempts to solve issues commonly found when manipulating records in purely functional programming languages.</j...

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, ...

Based on the temporal rules defined for the business processe participating in a business collaboration, we present an implementation for a system called TiCoBTS to verify the reliability of the business collaboration.

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...