José Miguel Cañete Valdeón

According to our database, José Miguel Cañete Valdeón authored at least 16 papers between 2000 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

Synthesis of positive logic programs for checking a class of definitions with infinite quantification.

Francisco J. Galán, José Miguel Cañete Valdeón

Inf. Comput., 2016

Defeasible Argumentation of Software Architectures.

José Miguel Cañete Valdeón, Antonio Ruiz Cortés, Miguel Toro

Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016

2013

How influential has academic and industrial research been in current software life cycles? A retrospective analysis of four mainstream activities.

José Miguel Cañete Valdeón

Inf. Softw. Technol., 2013

2012

Annotating problem diagrams with architectural tactics for reasoning on quality requirements.

José Miguel Cañete Valdeón

Inf. Process. Lett., 2012

2009

The intentional relationship of representation between the constructs of a language and reality.

José Miguel Cañete Valdeón, Francisco J. Galán, Miguel Toro

Data Knowl. Eng., 2009

2008

On the interpretation of mathematical entities in the formalisation of programming and modelling languages.

José Miguel Cañete Valdeón

Math. Struct. Comput. Sci., 2008

Clarifying the semantics of value in use cases through Jackson's Problem Frames.

José Miguel Cañete Valdeón, Fernando Enríquez, F. Javier Ortega, Ernesto Veláquez

Inf. Process. Lett., 2008

2007

Improving the Performance of a Tagger Generator in an Information Extraction Application.

José A. Troyano, Fernando Enríquez, Fermín L. Cruz, José Miguel Cañete Valdeón, F. Javier Ortega

J. Univers. Comput. Sci., 2007

2005

Towards a Theory on the Role of Ontologies in Software Engineering Problem Solving.

José Miguel Cañete, Francisco José Galán Morillo

Proceedings of the Fundamental Approaches to Software Engineering, 2005

2004

A Method for Compiling and Executing Expressive Assertions.

Francisco José Galán Morillo, José Miguel Cañete Valdeón

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003

Constructing Recursions by Similarity.

Francisco José Galán Morillo, José Miguel Cañete Valdeón, Víctor J. Díaz Madrigal

J. Braz. Comput. Soc., 2003

2002

Compiling (for Validating) Explicit Specifications into Recursive Specifications in Linear Stratified Theories.

Francisco José Galán, José Miguel Cañete

Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002

2001

Towards a rigorous and effective functional contract for components.

Francisco José Galán Morillo, V. Diaz, José Miguel Cañete Valdeón

Informatica (Slovenia), 2001

Towards Rigorous and Effective Type Contracts.

Francisco José Galán Morillo, José Miguel Cañete Valdeón

Proceedings of the VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 2001

Folding by similarity.

Francisco José Galán Morillo, José Miguel Cañete Valdeón

Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001

2000

Primeros Pasos hacia un Compilador de UML/OCL.

José Miguel Cañete Valdeón, Francisco José Galán Morillo, Miguel Toro

Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000