José Miguel Cañete Valdeón
According to our database1, José Miguel Cañete Valdeón authored at least 16 papers between 2000 and 2016.
Legend:Book In proceedings Article PhD thesis Other
Synthesis of positive logic programs for checking a class of definitions with infinite quantification.
Inf. Comput., 2016
Defeasible Argumentation of Software Architectures.
Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016
How influential has academic and industrial research been in current software life cycles? A retrospective analysis of four mainstream activities.
Inf. Softw. Technol., 2013
Annotating problem diagrams with architectural tactics for reasoning on quality requirements.
Inf. Process. Lett., 2012
The intentional relationship of representation between the constructs of a language and reality.
Data Knowl. Eng., 2009
On the interpretation of mathematical entities in the formalisation of programming and modelling languages.
Mathematical Structures in Computer Science, 2008
Clarifying the semantics of value in use cases through Jackson's Problem Frames.
Inf. Process. Lett., 2008
Improving the Performance of a Tagger Generator in an Information Extraction Application.
J. UCS, 2007
Towards a Theory on the Role of Ontologies in Software Engineering Problem Solving.
Proceedings of the Fundamental Approaches to Software Engineering, 2005
A Method for Compiling and Executing Expressive Assertions.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004
Constructing Recursions by Similarity.
J. Braz. Comp. Soc., 2003
Compiling (for Validating) Explicit Specifications into Recursive Specifications in Linear Stratified Theories.
Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002
Towards a rigorous and effective functional contract for components.
Informatica (Slovenia), 2001
Towards Rigorous and Effective Type Contracts.
Proceedings of the VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 2001
Folding by similarity.
Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001
Primeros Pasos hacia un Compilador de UML/OCL.
Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000