Memorias de investigación
Research Project:
SPARCIM:CONSORCIO ESPAÑOL DE INVESTIGACION EN INFORMATICA Y MATEMATICAS.
Year:2011

Research Areas
  • Programming language

Information
Abstract
The main research areas of SpaRCIM are centered around: * Formal methods and programming languages: design and analysis of critical systems, quality and security of computing systems, rule-based programming, optimization, parallel and concurrent systems, programmer efficiency. * Software engineering: agile methods, components, e-mobility, mobile internet, web engineering, architecture, e-democracy, service oriented and model driven engineering. * Artificial intelligence: machine learning, multi-agent systems, constraint-based reasoning, ontologies, semantic web services, image processing and recognition. * Information systems: data mining, databases, data warehouses, modeling, decision support sytems.
International
No
Project type
Proyectos y convenios en convocatorias públicas competitivas
Company
MICINN 2009-07495-E/TIN Special action / EU
Entity Nationality
ESPAÑA
Entity size
Pequeña Empresa (11-50)
Granting date
Participants

Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial