Integració de tècniques per a la comprovació eficient de restriccions d'integritat en la generació de programari per entorns web

Estudi elaborat a partir d’una estada al Politecnico de Milano, Itàlia, entre gener i juny del 2006. Un dels principals objectius de l’Enginyeria del Programari és automatitzar el màxim possible el procés de desenvolupament del programari, reduint costos mitjançant la generació automàtica del programari a partir de la seva especificació. Per assolir-ho, entre altres, cal resoldre el problema de la comprovació eficient de restriccions, que són una part fonamental de l’especificació del programari. Aquest és precisament l’àmbit en què s’està desenvolupant una tesi que presentarà un mètode que poden integrar totes les eines generadores de codi per tal d’assolir una implementació eficient de les restriccions d’integritat. En l’actual fase del projecte s’ha treballat per validar el mètode de la tesi, optimitzant-lo pel cas específic de les aplicacions web i estendre’l per poder tractar també aplicacions basades en workflows. Pel que fa a l’optimització del mètode per aplicacions web, s’han definit una sèrie de paràmetres que permeten configurar la implementació del mètode tenint en compte les necessitats específiques de rendiment de cada aplicació web en particular. Respecte als workflows (cada cop més populars i que s’usen com a definició d’alt nivell per a les aplicacions a desenvolupar) s’ha estudiat quins són els tipus de restriccions que impliquen i com després es pot aplicar el mètode de la tesi sobre aquestes restriccions per tal de generar de forma eficient també les aplicacions basades en workflows.

Avaluació i definició del desplegament de programari a un grup empresarial: procés de migració d'un entorn corporatiu

Aprofitant una migració de l’entorn corporatiu d’un gran grup empresarial, es pren la decisió de canviar el sistema de desplegament de programari. Aquest anàlisi compren l’estudi i la definició de l’empaquetat d’aplicacions, la posterior distribució a la xarxa corporativa i finalment la instal·lació a les màquines.

Pautes de privacitat pels proveïdors de recursos electrònics

Les biblioteques llicencien la informació electrònica en nom dels seus clients i administradors. L'accés a la majoria dels recursos electrònics disponibles a les biblioteques es proporciona a través del world wide web per mitjà de les interfícies dels navegadors. La ràpida evolució del world wide web, com el mecanisme més gran de distribució d'informació, ha fet del web una rica font d'informació per als proveïdors sobre els interessos, comportaments i hàbits dels usuaris. De vegades es dóna el cas de que aquest tipus d'informació és recollida durant la utilització d'un producte web sense el coneixement o permís de l'individu que està utilitzant el producte.

El paisatge canviant dels llibres electrònics

El propòsit d'aquest article és revisar l'estat actual dels llibres electrònics, descrivint el seu abast potencial, destacant informació de les recents enquestes d'ebrary tot relacionant-la amb l'experiència sobre el terreny de l'autora amb els estudiants i parlant dels reptes en aquestes obres en evolució.

DUGi, portal d'accés als materials en obert de la UdG

Desprès d'un cert temps de rodatge amb els tres repositoris institucionals de la UdG: DUGiDocs, DUGiMedia i DUGiFonsEspecials, haver-los migrat a la versió 1.5.2 de Dspace, i millorat les prestacions que ens permet el programari, ha arribat el moment de millorar l'eina que ens permet fer que el DUGi sigui un portal útil des del punt de vista de la usabilitat, visibilitat i difusió dels materials que es poden consultar als diferents repositoris.

Avaluació del rendiment del programari Abaqus al sistema Bull NovaScale

En aquest document es resumeixen les proves de rendiment realitzades al sistema Bull NovaScale amb el programari de Simulia, Abaqus FEA, en col·laboració amb el Centre Tecnològic de Manresa (CTM), que ha proporcionat alguns dels casos d’estudi, i l’empresa Simulia que a través de Principia ha cedit les llicències del programari necessàries per a la realització de les proves. L’objectiu d’aquestes proves era avaluar la viabilitat de l’ús per part del CTM dels recursos de càlcul d’altes prestacions del CESCA.

Creació d’un programari per a l’avaluació de la qualitat dels resultats analítics generats al laboratori

La validació de mètodes és un dels pilars fonamentals de l’assegurament de la qualitat en els laboratoris d’anàlisi, tal i com queda reflectit en la norma ISO/IEC 17025. És, per tant, un aspecte que cal abordar en els plans d’estudis dels presents i dels futurs graus en Química. Existeix molta bibliografia relativa a la validació de mètodes, però molt sovint aquesta s’utilitza poc, degut a la dificultat manifesta de processar tota la informació disponible i aplicar-la al laboratori i als problemes concrets. Una altra de les limitacions en aquest camps és la manca de programaris adaptats a les necessitats del laboratori. Moltes de les rutines estadístiques que es fan servir en la validació de mètodes són adaptacions fetes amb Microsoft Excel o venen incorporades en paquets estadístics gegants, amb un alt grau de complexitat. És per aquest motiu que l’objectiu del projecte ha estat generar un programari per la validació de mètodes i l’assegurament de la qualitat dels resultats analítics, que incorporés únicament les rutines necessàries. Específicament, el programari incorpora les funcions estadístiques necessàries per a verificar l’exactitud i avaluar la precisió d’un mètode analític. El llenguatge de programació triat ha estat el Java en la seva versió 6. La part de creació del programari ha constat de les següents etapes: recollida de requisits, anàlisi dels requisits, disseny del programari en mòduls, programació d les funcions del programa i de la interfície gràfica, creació de tests d’integració i prova amb usuaris reals, i, finalment, la posada en funcionament del programari (creació de l’instal·lador i distribució del programari).

Implementació de cursos d'Electrònica i Tècniques de Microscòpia en modalitat docent semipresencial amb estratègies de treball cooperatiu i avaluació continuada en entorn de programari lliure Moodle

L’objectiu principal del present projecte MQD és la implementació de cursos semipresencials en el campus virtual MOODLE per a la docència de les assignatures d’Electrònica troncals de l’ensenyament de Física que depenen del nostre departament i de l’assignatura Tècniques de Microscòpia, que és optativa i comuna als Màsters de Nanociència i Nanotecnologia i d’Enginyeria Física. Plantegem metodologies docents basades en: (1) reduir la presencialitat, (2) afavorir l'autoaprenentatge, (3) aplicar estratègies d’avaluació formativa i avaluació acreditativa continuada i (4) fer ús de les TIC com a suport a la docència. La versatilitat de la plataforma Moodle per compartir recursos permetrà generar un material docent accessible per altres professors. D’altra banda, la possibilitat de Moodle per a la gestió de grups, organització i revisió de tasques facilitarà el seguiment de l’activitat d’autoaprenentatge i de treball cooperatiu així com de l’avaluació final dels aprenentatges. Durant la duració d'aquest projecte MQD s'han implementat els segúents entorns: - Curs d'Electrònica Física, semipresencial, amb treball cooperatiu i amb implantació d'avaluació continuada - Entorn de Coordinació del Master de Nanociència i Nanotecnologia - Curs de l'assignatura optativa de Màster Oficial de Nanociència i Nanotecnologia "Tècniques de Microscòpia"

Diseño y desarrollo de un equipo de caracterización de ISFET para la medida de analitos iónicos

En este proyecto se desarrolla una unidad de medida para investigar la cuantificación de la concentración de analitos iónicos en análisis clínico mediante sensores ISFET. Para su desarrollo se precisa de un elemento que simule el comportamiento de un ISFET por lo que también se desarrolla un simulador de ISFET. Para realizar la unidad de medida se diseñan unos circuitos SMU que permiten polarizar en tensión y medir la corriente de cada terminal de un ISFET y del electrodo de referencia que actúa de puerta. El simulador se realiza con un MOSFET de la misma geometría que el ISFET y dos generadores de tensión programables. Desarrollados y validados los circuitos correspondientes, obtenemos unos excelentes resultados en el simulador que se revela de gran utilidad para la puesta en marcha de la unidad de medida, la cual ofrece unos resultados bastante buenos, si bien se aprecian ciertas corrientes de fuga que no permiten alcanzar toda la exactitud que se pretendía. Ello es debido a los circuitos impresos que deberán ser mejorados hasta conseguir la exactitud deseada. Sin embargo pueden darse por válidos los circuitos de medida diseñados.

Biblioteques : de Gutenberg a l'e-book. Estudi de tres biblioteques de la ciutat de Barcelona: Biblioteca de Sant Pau i Santa Creu, Biblioteca de la Universitat Pompeu Fabra i Biblioteca de la Universitat Oberta de Catalunya

Les biblioteques han deixat de ser simples dipòsits de llibres per complir funcions molt diverses en la societat actual. L'objectiu d'aquest treball no és fer un repàs històric sinó centrar-nos en la situació actual fortament influenciada per les noves tecnologies, les noves necessitats dels usuaris i altres factors com són el nou paradigma docent, la multiculturalitat, la situació econòmica, els fluxos migratoris, etc. Veurem els canvis que aquestes institucions han hagut d'adoptar, tant a nivell de personal, com d'instal·lacions i recursos, per adequar-se a aquesta nova realitat.

La dimensió política de la construcció social del Programari Lliure

Aquest estudi es presenta com una aproximació al fenomen del Programari Lliure des de la seva vessant política. Lluny de tractar-se d'una alternativa tecnològica la naturalesa de la qual seria explicable en termes exclusivament tècnics - la qual cosa no faria sinó atribuir-li una presumpta neutralitat tecnològica -, ací assumim que tota tecnologia s'inscriu en un procés de construcció social en el que incideixen factors de tipus social, econòmic, polític i/o moral que rebasen allò merament tècnic. Creguem que en el cas del Programari Lliure es donen cita tots aquests factors, sent el plànol polític el que adquireix un especial protagonisme en dit procés de construcció i que mereix de tractament aïllat. D'aquesta manera, la semàntica de allò polític serà examinada en les seves diferents accepcions a través de dos plànols complementaris. Per una banda, rastrejant els fonaments culturals que subjauen al Programari Lliure i les seves possibles concomitàncies de contingut polític. D'altra, descrivint la praxis actual d'actors heterogenis (corporacions, governs, associacions d'usuaris,...) desenvolupada en un marc global d'interacció col·lectiva, que es revisteix igualment, producte de la confrontació estratègica d'interpretacions i discursos particulars sobre el mateix, d'un caràcter indubtablement polític.

GesClínic : enginyeria del programari

This paper deals with the problem of managing a medical centre to have control over patients, medical records, physicians, nurses, secretaries and administrators of the application.

Memoria TFM programari lliure

Memòria final del màster programari lliure. Explicació detallada de la migració de tota la infraestructura actual d'un centre escolar basada en programari propietari a programari lliure.

Planificació, anàlisi i disseny d'un programari de gestió d'un magatzem d'olives i conserves

Disseny d'un programari de gestió de magatzems on quedin reflectides les seves entrades, sortides i altres operacions pròpies dels magatzems. El programari ha de ser escalable i perdurar en el temps a més a més de permetre operacions d¿actualització, esborrat, addicció de dades i les operacionsfonamentals de consulta.

Disseny i prototipatge d'un programari per l'ús dels dispositius mòbils en l'aprenentatge online

L'objectiu d'aquest projecte és crear una aplicació per dispositius mòbils que permeti interactuar amb Moodle, un entorn d'aprenentatge en línia. Actualment s'ha estès molt els smartphones, i cada vegada hi ha més gent connectada al mon web les 24h amb aquests aparells. I s'estan acostumant a rebre alertes cada vegada que reben un correu, un tweet, un missatge a Facebook... lo que fa que la gent estigui sempre assabentada de tot en qualsevol lloc i moment.