Search
Now showing items 1-3 of 3
Assisting blog publication: annotation, model transformation, and crossblogging techniques
(2012-11-09)
Although blogs exist from the beginning of the Internet, their use has considerablybeen increased in the last decade. Nowadays, they are ready for being used bya broad range of people. From teenagers to multinationals, ...
Semi-automatic generation of learning domain modules for technology supported learning systems
(Servicio Editorial de la Universidad del País Vasco/Euskal Herriko Unibertsitatearen Argitalpen Zerbitzua, 2012-12-20)
In a time when Technology Supported Learning Systems are being widely used, there is a lack of tools that allows their development in an automatic or semi-automatic way. Technology Supported Learning Systems require an ...
Invariant-free deduction systems for temporal logic
(2012-07-13)
In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive definition of eventualities that is different from the usual one. On the basis of this non-customary ...