ABARFI: Uma Arquitetura Reutilizável para a Recuperação e Filtragem de Informação.

Alessandra Lemos Rosario Girardi Steferson Ferreira

Published in: JIISIC (2002)

Keyphrases

formal semantics
artificial intelligence
databases
case study
software engineering
theorem prover
learning objects
model checking