Perfil del autor: Galán Morillo, Francisco José
Datos institucionales
| Nombre | Galán Morillo, Francisco José |
| Departamento | Lenguajes y Sistemas Informáticos |
| Área de conocimiento | Lenguajes y Sistemas Informáticos |
| Categoría profesional | Profesor Titular de Universidad |
| Correo electrónico | Solicitar |
 |
|
Estadísticas
-
Nº publicaciones
12
-
Nº visitas
435
-
Nº descargas
462
| Publicaciones |
|---|
Artículo
 Synthesis of positive logic programs for checking a class of definitions with infinite quantification
(Elsevier, 2016-01-01)
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
(Elsevier, 2009-01-01)
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
(Springer, 2005-01-01)
We present and validate a theoretical model of methodological works in Software Engineering that, without claiming for ... |
Ponencia
Prácticas de la asignatura Procesadores de Lenguaje con la herramienta ANTLR
(Asociación de Enseñantes Universitarios de la Informática (AENUI), 2005-01-01)
En este artículo presentamos una experiencia docente en las prácticas de laboratorio de la asignatura troncal Procesadores ... |
Ponencia
Some Problems of Current Modelling Languages that Obstruct to Obtain Models as Instruments
(Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2004-11-01)
In this paper we reflect on the usefulness of current modelling languages. We defend that objects elaborated with such ... |
Ponencia
A Method for Compiling and Executing Expressive Assertions
(Springer, 2004-01-01)
Programming with assertions constitutes an effective tool to detect and correct programming errors. The ability of executing ... |
Ponencia
Named Entity Recognition Through Corpus Transformation and System Combination
(Springer, 2004-01-01)
In this paper we investigate the way of combining different taggers to improve their performance in the named entity ... |
Informe
Executing Assertions via Synthesized Logic Programs
(2004-01-01)
Programming with assertions constitutes an effective tool to detect and correct programming errors. The ability of executing ... |
Ponencia
Conciencia de modelos como instrumentos en Ingeniería de Software: una aproximación desde las Ciencias Naturales y Sociales
(Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España, 2004-01-01)
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
(Sociedade Brasileira de Computação, 2003-01-01)
A formal specification can describe software models which are difficult to program. Transformational methods based on ... |
Informe
Métodos Formales Orientados a Objetos (LSI-2002-02)
(2002-01-01)
El área de los Métodos Formales Orientados a Objetos (MFOO en adelante) se ocupa de la descripción de software de ... |
Ponencia
Folding by Similarity
(Gruppo Ricercatori e Utenti Logic Programming, 2001-01-01)
A formal specification can describe software models which are di±cult to program. Transformational methods based on ... |