2 resultados para Formal Methods. Component-Based Development. Competition. Model Checking

em Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España


Relevância:

100.00% 100.00%

Publicador:

Resumo:

[ES] El presente trabajo describe el desarrollo de una aplicación para el registro de las horas de docencia impartidas por el profesorado en la universidad. Con esto se persigue tener la información digitalizada para agilizar las gestiones que se tengan que realizar con ella. Por el lado del profesorado, se enviarán notificaciones vía correo electrónico para confirmar la docencia firmada, a modo de registro personal para que el profesor sepa la docencia que ha impartido y, en caso de sustitución, que también el profesor sustituido tenga constancia de la sustitución. El desarrollo se hará apoyándose en métodos ágiles, utilizando el desarrollo guiado por pruebas los módulos del modelo y persistencia.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

[EN] This paper presents a location–price equilibrium problem on a tree. A sufficient condition for having a Nash equilibrium in a spatial competition model that incorporates price, transport, and externality costs is given. This condition implies both competitors are located at the same point, a vertex that is the unique median of the tree. However, this is not an equilibrium necessary condition. Some examples show that not all medians are equilibria. Finally, an application to the Tenerife tram is presented.