NameGalán Morillo, Francisco José
DepartmentLenguajes y Sistemas Informáticos
Knowledge areaLenguajes y Sistemas Informáticos
Professional categoryProfesor Titular de Universidad
E-mailRequest
         
  • No. publications

    13

  • No. visits

    766

  • No. downloads

    741


 

Article
Icon

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 ...
Article
Icon

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 ...
Presentation
Icon

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 ...
Presentation
Icon

Prácticas de la asignatura Procesadores de Lenguaje con la herramienta ANTLR

Troyano Jiménez, José Antonio; Galán Morillo, Francisco José; Carrillo Montero, Vicente; Enríquez de Salamanca Ros, Fernando; García, Enrique J. (Asociación de Enseñantes Universitarios de la Informática (AENUI), 2005)
En este artículo presentamos una experiencia docente en las prácticas de laboratorio de la asignatura troncal Procesadores ...
Presentation
Icon

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)
In this paper we reflect on the usefulness of current modelling languages. We defend that objects elaborated with such ...
Presentation
Icon

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. ...
Report
Icon

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 ...
Presentation
Icon

Named Entity Recognition Through Corpus Transformation and System Combination

Troyano Jiménez, José Antonio; Carrillo Montero, Vicente; Enríquez de Salamanca Ros, Fernando; Galán Morillo, Francisco José (Springer, 2004)
In this paper we investigate the way of combining different taggers to improve their performance in the named entity ...
Presentation
Icon

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 ...
Article
Icon

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 ...
Report
Icon

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 ...
Presentation
Icon

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 ...
Chapter of Book
Icon

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. ...