Buscar
Mostrando ítems 1-10 de 102
A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2013-06-03)
Logic courses represent a pedagogical challenge and the recorded number of cases of failures
and of discontinuity in them is often high. Amont other difficulties, students face
a cognitive overload to understand logical ...
Interoperabilidade semântica orientada por ontologia para a Ciência da Informação: a metodologia Onto4All-Interoperability como resultado de estudo de caso no domínio de energia
(Universidade Federal de Minas GeraisBrasilECI - ESCOLA DE CIENCIA DA INFORMAÇÃOPrograma de Pós-Graduação em Gestão e Organização do ConhecimentoUFMG, 2021-08-25)
The quality of the information digitally exchanged is equivalent to the precision used in representing reality for storage and retrieval purposes. Such an effort must comprise exhaustive discussions on a heterogeneous ...
Modelo referencial para la generación de reporte interoperable para el diagnóstico de bacterias multirresistentes de importancia en salud pública
(Universidad de Chile, 2022)
El laboratorio clínico (LC) cumple un papel fundamental en la vigilancia epidemiológica y
se encuentra encargado de la notificación oportuna de varias enfermedades que pueden poner
el riesgo la salud de la población. Hoy ...
Tool Interoperability in the Maude Formal Environment
(SpringerBerlín, 2011)
We present the Maude Formal Environment (MFE), an executable formal specification in Maude within which a user can seamlessly interact with the Maude Termination Tool, the Maude Sufficient Completeness Checker, the ...