Topic: formal methods

Gabriel Baum

Claudia Pons

Agregando polimorfismo a una lógica que identifica proposiciones isomorfas

Formal methods for knowledge extraction and reuse from heterogeneous sources: applications to the semantic interoperability of distributed architectures

Lenguajes formales y derivación automática de código de pruebas a partir de modelos de software con restricciones OCL

Modelado de Sistemas Colaborativos

Modelo combinado de co-training y aprendizaje por transferencia para clasificación de documentos, a partir de un análisis comparativo de modelos de aprendizaje semi-supervisados

Reglas de traducción de restricciones entre OCL y LN

Una propuesta de transformación M2M para el análisis de la fase ASM de MoWebA

“Formalización con Metodologías MDD de una Propuesta de Framework Enfocada a Soluciones de Procesamiento Transaccional”

“Verificación de modelos Independientes de la plataforma: un caso de estudio”

Formal methods for knowledge extraction and reuse from heterogeneous sources for semantic interoperability of distributed architectures

Técnicas de Inteligencia artificial basadas en una integración de la lógica simbólica y no-simbólica