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.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
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

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

2012
Annotating problem diagrams with architectural tactics for reasoning on quality requirements.
Inf. Process. Lett., 2012

2009
The intentional relationship of representation between the constructs of a language and reality.
Data Knowl. Eng., 2009

2008
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

2007
Improving the Performance of a Tagger Generator in an Information Extraction Application.
J. UCS, 2007

2005
Towards a Theory on the Role of Ontologies in Software Engineering Problem Solving.
Proceedings of the Fundamental Approaches to Software Engineering, 2005

2004
A Method for Compiling and Executing Expressive Assertions.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003
Constructing Recursions by Similarity.
J. Braz. Comp. Soc., 2003

2002
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

2001
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

2000
Primeros Pasos hacia un Compilador de UML/OCL.
Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000


  Loading...