José Miguel Cañete Valdeón

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