José Miguel Cañete Valdeón

Publication Activity (10 Years)

Years Active: 2000-2016
Publications (10 Years): 2

Top Topics

Function Symbols

Defeasible Argumentation

Top Venues

Inf. Softw. Technol.

Inf. Process. Lett.

Publications

Francisco J. Galán, José Miguel Cañete Valdeón
Synthesis of positive logic programs for checking a class of definitions with infinite quantification. Inf. Comput. 249 (2016)
José Miguel Cañete Valdeón, Antonio Ruiz Cortés, Miguel Toro
Defeasible Argumentation of Software Architectures. WICSA (2016)
José Miguel Cañete Valdeón
How influential has academic and industrial research been in current software life cycles? A retrospective analysis of four mainstream activities. Inf. Softw. Technol. 55 (2) (2013)
José Miguel Cañete Valdeón
Annotating problem diagrams with architectural tactics for reasoning on quality requirements. Inf. Process. Lett. 112 (16) (2012)
José Miguel Cañete Valdeón, Francisco J. Galán, Miguel Toro
The intentional relationship of representation between the constructs of a language and reality. Data Knowl. Eng. 68 (2) (2009)
José Miguel Cañete Valdeón, Fernando Enríquez, F. Javier Ortega, Ernesto Veláquez
Clarifying the semantics of value in use cases through Jackson's Problem Frames. Inf. Process. Lett. 107 (6) (2008)
José Miguel Cañete Valdeón
On the interpretation of mathematical entities in the formalisation of programming and modelling languages. Math. Struct. Comput. Sci. 18 (6) (2008)
José A. Troyano, Fernando Enríquez, Fermín L. Cruz, José Miguel Cañete Valdeón, F. Javier Ortega
Improving the Performance of a Tagger Generator in an Information Extraction Application. J. Univers. Comput. Sci. 13 (9) (2007)
Francisco José Galán Morillo, José Miguel Cañete Valdeón
A Method for Compiling and Executing Expressive Assertions. IFM (2004)
Francisco José Galán Morillo, José Miguel Cañete Valdeón, Víctor J. Díaz Madrigal
Constructing Recursions by Similarity. J. Braz. Comput. Soc. 9 (1) (2003)
Francisco José Galán Morillo, José Miguel Cañete Valdeón
Towards Rigorous and Effective Type Contracts. JISBD (2001)
Francisco José Galán Morillo, José Miguel Cañete Valdeón
Folding by similarity. APPIA-GULP-PRODE (2001)
Francisco José Galán Morillo, V. Diaz, José Miguel Cañete Valdeón
Towards a rigorous and effective functional contract for components. Informatica (Slovenia) 25 (4) (2001)
José Miguel Cañete Valdeón, Francisco José Galán Morillo, Miguel Toro
Primeros Pasos hacia un Compilador de UML/OCL. JISBD (2000)