Procedimiento de refutación para un conjunto de restricciones sobre documentos XML

We present a prototype that implements a set of logical rules to prove the satis ability for a class of speci cations on XML documents. Speci cations are given by means of constraints built on Boolean XPath patterns. The main goal of this tool is to test if a given speci cation is satis able or not, showing the history of the execution. It can also be used to test if a given document is a model of a given speci cation and, as a subproduct, it allows to look for all the relations (monomorphisms) between two patterns or the result of doing some operations by combining patterns in di erent ways. The results of these operations are visually shown and therefore the tool makes these operations more understandable. The implementation of the algorithm has been written in Prolog but the prototype has a Java interface for an easy and friendly use.

Documento titulado "Preparación del servicio y detalles de la entrada en Bilbao del vapor ruso Andrés"

Encabezado: Servicio de la Presidencia. Sin fecha (1937) / Unidad de ínstalación: Carpeta Rectorado - B-1 / Nº de pág.: 1 (mecanografiado)

Copia del documento de la Jefatura del Sector de Ochandiano del Ejército Vasco, firmado por Juan Ibarrola, dando cuenta de la distribución de un batallón

Fecha: 31 de marzo de 1937 / Unidad de ínstalación: Carpeta Rectorado - D-1 / Nº de pág.: 2 (manuscritas)

XMLScore: Representación gráfica y reproducción de partituras musicales en formato XML

MusicXML es quizá el más conocido de los formatos de notación musical basados en XML. Se trata de un formato abierto que a día de hoy utilizan multitud de programas musicales. El presente proyecto consiste en desarrollar una aplicación informática que, dada una partitura en formato MusicXML, sea capaz de realizar dos tareas: 1. Generar automáticamente una imagen (bmp, jpg, ...) con la representación gráfica de la partitura y la muestre por pantalla. 2. Reproducir el sonido correspondiente. El TFG propuesto deberá cumplir los requisitos expuestos anteriormente (generar una representación gráfica y reproducir el sonido) para partituras de una sola voz, en clave de sol, con compases dentro del rango {2/4, 3/4, 4/4, 6/8, 9/8}, para cualquier clave o tonalidad (número de bemoles o sostenidos en la armadura), con figuras y silencios que abarquen el rango de duraciones {redonda, blanca, negra, corchea, semicorchea, fusa, semifusa} y que puedan incluir notas con puntillo y/o alteraciones (sostenido, bemol, becuadro). Como objetivo secundario, a abordar en función del éxito logrado en lo recién comentado, quedaría la ampliación del proyecto a partituras de una sola voz también, que puedan ir en clave de fa, o que puedan incluir otros tipos de compases y elementos más particulares como los dobles puntillos.

XML-Intensive software development

168 p.