• Desarrollo de software para sistemas de tiempo real basado en UML. Un enfoque formal basado en metamodelado 

      Alvarez-Palomo, Jose Maria (2006)
      El presente trabajo propone una metodología de desarrollo de sistemas de tiempo real que hace un énfasis especial en la consideración de los requisitos no funcionales característicos de este tipo de sistema como los ...
    • Desarrollo en SAP de herramientas para el módulo laboratorio 

      Sánchez Fernández, Adrián (2017-03-17)
      En la actualidad, los sistemas de planificación de recursos empresariales, también conocidos como sistemas ERP, son herramientas muy usadas en la mayoría de los negocios, facilitando el control del proceso empresarial. Dos ...
    • Evergetismo y élites municipales en la Bética 

      Boumehache Erjali, Hatin (2017-03-22)
      Se pretende en el presente trabajo realizar un estudio del evergetismo y las manifestaciones que implican este fenómeno en el marco político-administrativo de la ciudad romana. Nuestro propósito será mostrar el uso de ...
    • Sistema de comunicacion padres-profesores 

      Amasri, Naoual (2017-04-19)
      Una buena comunicación entre padres y profesores es vital para garantizar una buena evolución y unos buenos resultados académicos de nuestros hijos. De ahí surge la idea de nuestro Sistema de comunicación padres-profesores, ...
    • Sistema de licitaciones electrónicas para administraciones públicas con uso de blockchain y smart contracts 

      Hijano Calderón, Pablo (2019-04-23)
      Se ha desarrollado una aplicación web que se conecta a una red blockchain de Ethereum para manejar licitaciones y permitir a las personas interesadas participar en ellas. Un gestor es el encargado de crear una licitación ...
    • Sistema web para la ejecución remota de Maude 

      Martín Cuenca, Francisco Javier (2018-03-22)
      El objetivo del presente trabajo de fin de grado consiste en la elaboración de un sistema web que permita al usuario utilizar el sistema Maude sin necesidad de instalar ningún software adicional. Esta necesidad surge a ...
    • Software para paciente de enfermedad pulmonar obstructiva crónica 

      Sánchez Gil, Sergio (2017-02-10)
      Aplicación android para ayudar a los pacientes con EPOC (Enfermedad Pulmonar Obstructiva Crónica). Gracias a esta aplicación, el personal sanitario podrá personalizar un tratamiento para cada paciente, con la intención ...
    • Software para paciente de enfermedad pulmonar obstructiva crónica 

      Narbona Vílchez, Diego (2017-01-25)
      Desarrollo de una aplicación para Android con la intención de mejorar la adherencia del paciente al tratamiento de EPOC (Enfermedad Pulmonar Obstructiva Crónica) que su médico le asigne, así como su seguimiento por parte ...
    • Statistical Model Checking of e-Motions Domain-Specific Modeling Languages 

      Durán, Francisco; Moreno-Delgado, Antonio; Alvarez-Palomo, Jose Maria (Springer, 2016)
      Domain experts may use novel tools that allow them to de- sign and model their systems in a notation very close to the domain problem. However, the use of tools for the statistical analysis of stochas- tic systems requires ...