- idUS
- Listar por autor
Listar por autor "Cañete Valdeón, José Miguel"
Mostrando ítems 1-16 de 16
-
Ponencia
A Method for Compiling and Executing Expressive Assertions
Galán Morillo, Francisco José; Cañete Valdeón, José Miguel (Springer, 2004)Programming with assertions constitutes an effective tool to detect and correct programming errors. The ability of executing ...
-
Artículo
Clarifying the semantics of value in use cases through Jackson’s Problem Frames
Cañete Valdeón, José Miguel; Enríquez de Salamanca Ros, Fernando; Ortega Rodríguez, Francisco Javier; Velázquez, Ernesto (Elsevier, 2008)Use cases constitute a popular technique to problem analysis, partly due to their focus on thinking in terms of the user ...
-
Ponencia
Conciencia de modelos como instrumentos en Ingeniería de Software: una aproximación desde las Ciencias Naturales y Sociales
Cañete Valdeón, José Miguel; Galán Morillo, Francisco José; Toro Bonilla, Miguel (Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España, 2004)El papel que desempeñan los modelos en la Ciencia moderna ha sido tradicionalmente un tema de gran interés para la Filosofía. ...
-
Artículo
Constructing Recursions by Similarity
Galán Morillo, Francisco José; Cañete Valdeón, José Miguel; Díaz Madrigal, Víctor Jesús (Sociedade Brasileira de Computação, 2003)A formal specification can describe software models which are difficult to program. Transformational methods based on ...
-
Ponencia
Defeasible Argumentation of Software Architectures
Cañete Valdeón, José Miguel; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (IEEE Computer Society, 2016)Defeasible argumentation is typical of legal and scientific reasoning. A defeasible argument is one in which the conclusion ...
-
Ponencia
Desarrollo de la competencia 'Pensamiento Analítico' mediante tácticas de arquitecturas software
Cañete Valdeón, José Miguel (AENUI: Asociación de Enseñantes Universitarios de Informática, 2010)La competencia “Pensamiento Analítico” se define como el comportamiento mental que permite distinguir y separar las ...
-
Informe
Executing Assertions via Synthesized Logic Programs
Galán Morillo, Francisco José; Cañete Valdeón, José Miguel (2004)Programming with assertions constitutes an effective tool to detect and correct programming errors. The ability of executing ...
-
Ponencia
Una experiencia en el diseño y la impartición de una asignatura en torno a la metodología del aprendizaje basado en proyectos
Cañete Valdeón, José Miguel; Martín Díaz, Octavio (Asociación de Enseñantes Universitarios de la Informática (AENUI), 2009)En este artículo presentamos nuestra experiencia en la creación e impartición de una asignatura sobre Arquitecturas ...
-
Ponencia
Folding by Similarity
Galán Morillo, Francisco José; Cañete Valdeón, José Miguel (Gruppo Ricercatori e Utenti Logic Programming, 2001)A formal specification can describe software models which are di±cult to program. Transformational methods based on ...
-
Artículo
Improving the Performance of a Tagger Generator in an Information Extraction Application
Troyano Jiménez, José Antonio; Enríquez de Salamanca Ros, Fernando; Cruz Mata, Fermín; Cañete Valdeón, José Miguel; Ortega Rodríguez, Francisco Javier (Graz University of Technology, Institut für Informations systeme und Computer Medien (IICM), 2007)In this paper we present an experience in the extraction of named entities from Spanish texts using stacking. Named Entity ...
-
Informe
Métodos Formales Orientados a Objetos (LSI-2002-02)
Galán Morillo, Francisco José; Cañete Valdeón, José Miguel (2002)El área de los Métodos Formales Orientados a Objetos (MFOO en adelante) se ocupa de la descripción de software de ...
-
Capítulo de Libro
Semiqualitative Temporal Patterns in Time-Series Databases
Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Toro Bonilla, Miguel; Galán Morillo, Francisco José; Cañete Valdeón, José Miguel (Edición Digital @tres, 2000)A way to obtain behaviour patterns of semiqualitative models of dynamic systems automatically is proposed in this paper. ...
-
Ponencia
Some Problems of Current Modelling Languages that Obstruct to Obtain Models as Instruments
Cañete Valdeón, José Miguel; Galán Morillo, Francisco José; Toro Bonilla, Miguel (Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2004-11)In this paper we reflect on the usefulness of current modelling languages. We defend that objects elaborated with such ...
-
Artículo
Synthesis of positive logic programs for checking a class of definitions with infinite quantification
Galán Morillo, Francisco José; Cañete Valdeón, José Miguel (Elsevier, 2016)We describe a method based on unfold/fold transformations that synthesizes positive logicprograms P(r)with the purpose of ...
-
Artículo
The intentional relationship of representation between the constructs of a language and reality
Cañete Valdeón, José Miguel; Galán Morillo, Francisco José; Toro Bonilla, Miguel (Elsevier, 2009)Specifications of conceptualisations (ontologies) are often employed for represent- ing reality, both in knowledge ...
-
Ponencia
Towards a Theory on the Role of Ontologies in Software Engineering Problem Solving: Conclusions from a Theoretical Model of Methodological Works
Cañete Valdeón, José Miguel; Galán Morillo, Francisco José (Springer, 2005)We present and validate a theoretical model of methodological works in Software Engineering that, without claiming for ...