Logotipo de Universidad de Sevilla
VICERRECTORADO DE INVESTIGACIÓN
Logotipo Andalucía Tech
Letras Universidad de Sevilla

Ficha personal - José Miguel Cañete Valdeón


José Miguel Cañete Valdeón
Telefono: 954556873
Email: Solicitar correo
Página personal: http://www.lsi.us.es/~canete
Perfil en ORCID: 0000-0003-3284-5406
Perfil en Scopus: 6505716671
Perfil en Dialnet: 1055082

Grupo de Investigación: Sistemas Informaticos
Departamento/Unidad: Lenguajes y Sistemas Informáticos
Situación profesional: Profesor Titular de Universidad

Responsable de los siguientes proyectos/ayudas en la US:

  • Contratos Arts. 68/83 LOU:
    • Ontología y Reglas de adaptación de hechos contables ERP. (0871/0391)

Participa en los siguientes proyectos/ayudas en la US:

  • Proyectos:
    • Explorando Soluciones Guiadas para Sistematizar el Aseguramiento Temprano de la Calidad del Software (TIN2016-76956-C3-2-R - Equipo de Investigación)
    • Análisis de Contenidos Generados por Usuarios (TIN2012-38536-C03-02 - Investigador)
    • Técnicas inductivas y deductivas para la extracción de información (HUM2007-66607-C04-04 - Investigador)
    • Desarrollo de aplicaciones basadas en servicios web (TIC2003-02737-C02-01 - Investigador)

  • Contratos Arts. 68/83 LOU:
    • Proyecto de investigación: modelos y ontologías de negocio (OG-015/07 - Investigador)

  • Ayudas:
    • Incentivo al Grupo de Investigación TIC-134 (2017/TIC-134 - Investigador)
    • Incentivo al Grupo de Investigación TIC-134 (2011/TIC-134 - Investigador)
    • Incentivo al Grupo de Investigación TIC-134 (2010/TIC-134 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2009/TIC-134 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2008/TIC-134 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2007/TIC-134 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2005/TIC-134 - Investigador)

Cobertura de la base de datos de proyectos, véase aqui


Publicaciones:

Libros
Galán Morillo, Francisco José, Cañete Valdeón, José Miguel:
Métodos Formales Orientados a Objetos. 2002

Publicaciones en Revistas
Galán Morillo, Francisco José, Cañete Valdeón, José Miguel:
Synthesis of positive logic programs for checking a class of definitions with infinite quantification. En: Information and Computation. 2016. Vol. 249. Pag. 205-236. 10.1016/j.ic.2016.06.014

Cañete Valdeón, José Miguel:
Meeting-Abstract: Modelling Uhthoff's phenomenon: warmer outdoor temperatures might not be enough for causing a decay in cognitive functionality in multiple sclerosis patients. En: European Journal of Neurology. 2016. Vol. 23. Núm. S2. Pag. 398-398

Cañete Valdeón, José Miguel:
Meeting-Abstract: 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. En: Glia. 2015. Vol. 63. Núm. S1. Pag. 411-412

Cañete Valdeón, José Miguel:
How influential has academic and industrial research been in current software life cycles? A retrospective analysis of four mainstream activities. En: Information and Software Technology. 2013. Vol. 55. Pag. 226-240. 10.1016/j.infsof.2012.07.019

Cañete Valdeón, José Miguel:
Annotating problem diagrams with architectural tactics for reasoning on quality requirements. En: Information Processing Letters. 2012. Vol. 112. Pag. 656-661. 10.1016/j.ipl.2012.06.002

Cañete Valdeón, José Miguel, Wieringa, Roel, Smallbone, Kieran:
Mechanistic modelling of cancer: some reflections from software engineering and philosophy of science. En: The Science of Nature: Naturwissenschaften. 2012. Vol. 99. Núm. 12. Pag. 973-983. 10.1007/s00114-012-0991-4

Cañete Valdeón, José Miguel, Galán Morillo, Francisco José, Toro Bonilla, Miguel:
The Intentional Relationship of Representation Between the Constructs of a Language and Reality. En: Data and Knowledge Engineering. 2009. Vol. 68. Núm. 2. Pag. 173-191

Cañete Valdeón, José Miguel:
On the Interpretation of Mathematical Entities in the Formalisation of Programming and Modelling Languages. En: Mathematical Structures in Computer Science. 2008. Vol. 18. Pag. 1017-1030

Cañete Valdeón, José Miguel, Enriquez de Salamanca Ros, Fernando, Ortega Rodríguez, Francisco Javier:
Clarifying the Semantics of Value in Use Cases Through Jackson's Problem Frames. En: Information Processing Letters. 2008. Vol. 107. Núm. 6. Pag. 221-229

Troyano Jiménez, José A., Enriquez de Salamanca Ros, Fernando, Cruz Mata, Fermin, Cañete Valdeón, José Miguel, Ortega Rodríguez, Francisco Javier:
Improving the Performance of a Tagger Generator in an Information Extraction Application. En: Journal of universal computer science. 2007. Vol. 13. Núm. 9. Pag. 1287-1299

Galán Morillo, Francisco José, Cañete Valdeón, José Miguel, Díaz Madrigal, Víctor Jesús:
Towards a Rigorous and Effective Functional Contract for Components. En: Informatica: Journal of Computing and Informatics. 2001. Vol. 24. Núm. 4. Pag. 527-533

Aportaciones a Congresos
Cañete Valdeón, José Miguel, Ruiz Cortés, Antonio, Toro Bonilla, Miguel:
Defeasible argumentation of software architectures. Comunicación en congreso. 13th Working IEEE/IFIP Conference on Software Architecture. Venecia. 2016

Cañete Valdeón, José Miguel:
Desarrollo de la Competencia "Pensamiento Analítico" Mediante Tácticas de Arquitecturas Software. Comunicación en congreso. Jornadas de Enseñanza Universitaria de la Informática. Santiago de Compostela. 2010. Jenui 2010: XVI Jornadas de Enseñanza Universitaria de la Informática. 327. 334

Galán Morillo, Francisco José, Cañete Valdeón, José Miguel, Carrillo Montero, Vicente, Ortega Rodríguez, Francisco Javier:
Compiling a Class of Assertions Containing Infinite Quantification. Comunicación en congreso. II Congreso Español de Informatica. 2007. Actas del II Congreso Español de Informática, Cedi 2007. 147. 156

Cañete Valdeón, José Miguel, Galán Morillo, Francisco José:
Towards a Theory on the Role of Ontologies in Software Engineering Problem Solving. Comunicación en congreso. Fundamental Approaches to Software Engineering Fase 2005. Edinburgh, United Kingdom. 2005. Proceedings of Fundamental Approaches to Software Engineering Fase 2005. 205. 219

Galán Morillo, Francisco José, Cañete Valdeón, José Miguel:
A Method for Compiling and Executing Expressive Assertions. Comunicación en congreso. Integrated Formal Methods, 4th International Conference. Canterbury, KENT UNIVERSITY (UK). 2004

Cañete Valdeón, José Miguel, Galán Morillo, Francisco José, Toro Bonilla, Miguel:
Adapting Design Types to Communication Media and Middleware Environments. Comunicación en congreso. Workshop on Integration and Transformation of UML Models. , Málaga, España. 2002. Object-Oriented Technology. ECOOP 2002 Workshop Reader. 184. 191

Galán Morillo, Francisco José, Cañete Valdeón, José Miguel:
¿Qué Se Entiende en España Por Investigación en Ingeniería de Software?. Comunicación en congreso. Workshop Sobre Métodos de Investigación y Fundamentos Filosóficos en Ingeniería del Software y Sistemas de Información. El Escorial, España. 2002. Actas del Primer Workshop Sobre Métodos de Investigación y Fundamentos Filosóficos en Ingeniería del Software y Sistemas de Información. 118. 128

Galán Morillo, Francisco José, Cañete Valdeón, José Miguel:
Compiling (for Validating) Explicit Specifications Into Recursive Specifications in Linear Stratified Theories. Comunicación en congreso. Joint Conference on Declarative Programming. 2002. Proceedings of Appia-Gulp-Prode 2002. 223. 241

Galán Morillo, Francisco José, Cañete Valdeón, José Miguel:
Discovering Recursions by Similarity. Comunicación en congreso. Workshop on Precise Software Development. Almagro, Ciudad Real (España). 2001. Proceedings of the II Workshop on Precise Software Development. 33. 44

Galán Morillo, Francisco José, Cañete Valdeón, José Miguel:
Transforming Layered Specifications Into Operational Specifications. Comunicación en congreso. Jornadas Sobre Programación y Lenguajes. Almagro, Ciudad Real, España. 2001. I Jornadas Sobre Programación y Lenguajes: Prole 2001. 145. 162

Galán Morillo, Francisco José, Cañete Valdeón, José Miguel:
Folding by Similarity. Comunicación en congreso. Joint Conference on Declarative Programming. Evora (Portugal). 2001. Proceedings of Appia-Gulp-Prode 2001. 181. 197

Galán Morillo, Francisco José, Cañete Valdeón, José Miguel:
Towards a Rigorous and Effective Type Contracts. Comunicación en congreso. Jornadas de Ingeniería del Software y Bases de Datos. Almagro, Ciudad Real, España. 2001. VI Jornadas de Ingenieria del Software y Base de Datos. 361. 374

Galán Morillo, Francisco José, Cañete Valdeón, José Miguel:
Lenguajes de Especificación de Software Riguroso: Aproximación Integradora y Aproximación Por Suplemento. Comunicación en congreso. Taller Sobre Lenguajes de Especificación de Software. Valladolid, España. 2000. Actas del I Taller Sobre Lenguajes de Especificación de Software. 10. 20

Galán Morillo, Francisco José, Cañete Valdeón, José Miguel:
Improving Constructive Synthesizers by Tabulation Techniques and Domain Ordering. Comunicación en congreso. Internation Workshop on Tabulation in Parsing and Deduction. Vigo, España. 2000. Proceedingds of 2nd International Workshop on Tabulation in Parsing and Deduction. 37. 49

Cañete Valdeón, José Miguel, Galán Morillo, Francisco José, Toro Bonilla, Miguel:
An Application Framework for the Execution of the UML/Ocl Models. Comunicación en congreso. Jornadas de Trabajo Menhir. Granada. 2000. Actas de las V Jornadas de Trabajo Menhir. 60. 72

Cañete Valdeón, José Miguel, Galán Morillo, Francisco José, Toro Bonilla, Miguel:
Primeros Pasos Hacia un Compilador de UML/Ocl. Comunicación en congreso. Jornadas de Ingeniería del Software y Bases de Datos, Jisdb'2000. Valladolid (España). 2000

Galán Morillo, Francisco José, Cañete Valdeón, José Miguel, Toro Bonilla, Miguel:
On the Formal Translation of Object Oriented Software Specification: a Balanced Approach. Comunicación en congreso. International Conference on Information System Development. Florida, EEUU. 1999. Proceeding of the V International Conference on Information System Development. 314. 322

Cañete Valdeón, José Miguel, Galán Morillo, Francisco José, Toro Bonilla, Miguel:
Filling the GAP Between Specification and Implementation of Software Systems by an Executable Code Generator of UML/Ocl. Comunicación en congreso. International Conference of Software & System Engineering and Their Applications. París, France. 1999. Proceedings of XII International Conference of Software & System Engineering and Their Applications. S2.1. S2.15

Cañete Valdeón, José Miguel, Galán Morillo, Francisco José, Toro Bonilla, Miguel:
A Proposal for the Formalization of the Ocl Language Based on Algebraic Specifications. Comunicación en congreso. Jornadas de Trabajo Menhir. Burgos, España. 1999. IV Jornadas de Trabajo Menhir. 69. 75

Galán Morillo, Francisco José, Cañete Valdeón, José Miguel, Toro Bonilla, Miguel:
On the Formal Translation of Object Oriented Specification: a Balanced Approach. Comunicación en congreso. Jornadas de Trabajo Menhir. Burgos, España. 1999. IV Jornadas de Trabajo Menhir. 75. 80

Cañete Valdeón, José Miguel, Galán Morillo, Francisco José, Toro Bonilla, Miguel:
Interpretación Ejecutable de Modelos Estructurales UML Enriquecidos con Restricciones. Comunicación en congreso. Ideas. Costa Rica. 1999. Ideas 99. 241. 253

Galán Morillo, Francisco José, Cañete Valdeón, José Miguel, Toro Bonilla, Miguel:
Towards a Code Generator for UML/Ocl System Specifications. System Model and Synthesis of Statecharts. Comunicación en congreso. Jornadas de Trabajo Menhir. Murcia. 1998. III Jornadas de Trabajo Menhir. 75. 87

Cañete Valdeón, José Miguel, Galán Morillo, Francisco José, Toro Bonilla, Miguel:
Generación Automática de Código desde Especificaciones UML/Ocl. Comunicación en congreso. Jornadas de Ingeniría del Software. Murcia, España. 1998. Actas de las III Jornadas de Ingeniería del Software. 399. 410

Vicerrectorado de Investigación. Universidad de Sevilla. Pabellón de Brasil. Paseo de las Delicias s/n. Sevilla