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
13
-
Nº visitas
776
-
Nº descargas
745
Publicaciones |
---|
Artículo
Synthesis of positive logic programs for checking a class of definitions with infinite quantification
(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
(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
(Springer, 2005)
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)
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)
In this paper we reflect on the usefulness of current modelling languages. We defend that objects elaborated with such ... |
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)
El papel que desempeñan los modelos en la Ciencia moderna ha sido tradicionalmente un tema de gran interés para la Filosofía. ... |
Informe
Executing Assertions via Synthesized Logic Programs
(2004)
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)
In this paper we investigate the way of combining different taggers to improve their performance in the named entity ... |
Ponencia
A Method for Compiling and Executing Expressive Assertions
(Springer, 2004)
Programming with assertions constitutes an effective tool to detect and correct programming errors. The ability of executing ... |
Artículo
Constructing Recursions by Similarity
(Sociedade Brasileira de Computação, 2003)
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)
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)
A formal specification can describe software models which are di±cult to program. Transformational methods based on ... |
Capítulo de Libro
Semiqualitative Temporal Patterns in Time-Series Databases
(Edición Digital @tres, 2000)
A way to obtain behaviour patterns of semiqualitative models of dynamic systems automatically is proposed in this paper. ... |