Departamento
Lenguajes y Sistemas Informáticos
Publicaciones (8) Publicaciones en las que ha participado algún/a investigador/a
1999
-
A proposal for a computer security course
SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education), Vol. 31, Núm. 2, pp. 42-47
-
Algebraic framework for the definition of compositional semantics of normal logic programs
Journal of Logic Programming, Vol. 40, Núm. 1, pp. 89-123
-
Instructional planning in intelligent evolutive tutoring systems from a case-based reasoning approach
AI Communications, Vol. 12, Núm. 4, pp. 259-260
-
MLDS: A translator-oriented MultiLingual dictionary system
Natural Language Engineering, Vol. 5, Núm. 4, pp. 325-353
-
Mapping among knowledge bases and data repositories: Precise definition of its syntax and semantics
Information Systems, Vol. 24, Núm. 4, pp. 275-301
-
Measurement and prediction of the verification cost of the design in a formalized methodology
Information and Software Technology, Vol. 41, Núm. 7, pp. 421-434
-
Medición de especificaciones de software
Novática: Revista de la Asociación de Técnicos de Informática, Núm. 137, pp. 17
-
Semiotics of the artificial: The ′self′ of self-reproducing systems in cellular automata
Semiotica, Vol. 127, Núm. 1-4, pp. 295-320