José Miguel Cañete Valdeón

Profesor Titular de Universidad
jmcv@us.es
Área de conocimiento: Lenguajes y Sistemas Informáticos
Departamento: Lenguajes y Sistemas Informáticos
Grupo: SISTEMAS INFORMATICOS (TIC-134)
Prog. doctorado: Programa de Doctorado en Ingeniería Informática (RD. 99/2011)
Tipo Año Título Fuente
Ponencia2016 Modelling Uhthoff's phenomenon: warmer outdoor temperatures might not be enough for causing a decay in cognitive functionality in multiple sclerosis patients EUROPEAN JOURNAL OF NEUROLOGY
Artículo2016 Synthesis of positive logic programs for checking a class of definitions with infinite quantification INFORMATION AND COMPUTATION
Ponencia2015 Applying mechanistic models to prove that an M1-to-M2 polarization switch in microglia and macrophages can happen at the initiation of remyelination in cuprizone-induced demyelinating lesions GLIA
Artículo2013 How influential has academic and industrial research been in current software life cycles? A retrospective analysis of four mainstream activities INFORMATION AND SOFTWARE TECHNOLOGY
Artículo2012 Annotating problem diagrams with architectural tactics for reasoning on quality requirements INFORMATION PROCESSING LETTERS
Artículo2012 Mechanistic modelling of cancer: some reflections from software engineering and philosophy of science NATURWISSENSCHAFTEN
Artículo2009 The intentional relationship of representation between the constructs of a language and reality DATA & KNOWLEDGE ENGINEERING
Artículo2008 Clarifying the semantics of value in use cases through Jackson's Problem Frames INFORMATION PROCESSING LETTERS
Artículo2008 On the interpretation of mathematical entities in the formalisation of programming and modelling languages MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Artículo2007 Improving the performance of a tagger generator in an information extraction application JOURNAL OF UNIVERSAL COMPUTER SCIENCE
Artículo2007 Improving the performance of a tagger generator in an information extraction application JOURNAL OF UNIVERSAL COMPUTER SCIENCE
Ponencia2007 The problem of implementing invariants in a Semantic Web context Actas de las II Jornadas sobre Ontologías Web y Semántica
Artículo2005 Towards a theory on the role of ontologies in software engineering problem solving - Conclusions from a theoretical model of methodological works FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS
Artículo2004 A method for compiling and executing expressive assertions INTEGRATED FORMAL METHODS, PROCEEDINGS
Ponencia2004 Conciencia de modelos como instrumentos en ingeniería de Software: una Aproximación desde las Ciencias Naturales y Sociales Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004
Artículo2003 Metodos formales orientados a objetos Novática
Ponencia2001 Towards rigorous and effective type contracts JISBD'2001 : jornadas de ingeniería del software y bases de datos : 21 y 23 de noviembre de 2001, Almagro (Ciudad Real)
Artículo2001 Transforming Layered Specifications into Operational Specifications Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001
Este investigador no ha dirigido/tutorizado tesis

Proyectos de Investigación

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
30/12/2016 29/12/2020 Investigador/a Explorando Soluciones Guiadas para Sistematizar el Aseguramiento Temprano de la Calidad del Software (TIN2016-76956-C3-2-R) Ministerio de Economía y Competitividad (Nacional)
01/01/2013 31/12/2015 Investigador/a Análisis de Contenidos Generados por Usuarios (TIN2012-38536-C03-02) Ministerio de Economía y Competitividad (Nacional)
01/10/2007 30/09/2011 Investigador/a Técnicas inductivas y deductivas para la extracción de información (HUM2007-66607-C04-04) Ministerio de Educación y Ciencia (Nacional)
15/11/2003 30/05/2007 Investigador/a Desarrollo de aplicaciones basadas en servicios web (TIC2003-02737-C02-01) Ministerio de Ciencia y Tecnología (Nacional)

Contratos

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
15/09/2010 15/07/2011 Responsable Ontología y Reglas de adaptación de hechos contables ERP. (0871/0391) Dynagent Software S.L. (Local)
01/01/2007 31/10/2007 Investigador/a Proyecto de investigación: modelos y ontologías de negocio (OG-015/07) Dynagent Software S.L. (Local)