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.

Programari de codi lliure per gestionar dipòsits digitals: el procés de tria dut a terme al CBUC

Es descriu el procés de selecció dut a terme en el Consorci de Biblioteques Universitàries de Catalunya (CBUC) durant el 2004 per tal de seleccionar el programa per gestionar els dipòsits digitals del CBUC. Dues de les condicions per a la selecció eren que es tractés de programari lliure i, a més, que es pogués implementar de manera immediata. Els programes analitzats van ser ARNO, CDSware, DSpace, EPrints, Fedora, i-Tor i MyCoRe. En el text es descriuen les principals característiques de cada un d'aquests programes i es justifica l'elecció de DSpace.

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"

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.

Interfície gràfica per WPKG - distribució de programari

Interfície gràfica per a la gestió del programari de lliure accés per a la distribució de programari WPKG (wpkg.org). Arquitectura MVC en un entorn J2EE6 utilitzant JSF2, JPA2 i EJB 3.1.

Mètriques de productivitat de programari per a la gestió de projectes

En aquest document s'introdueixen els conceptes bàsics necessaris per a l'execució de mètriques de productivitat de programari. Després de la introducció, s'estudien amb detall les mètriques de productivitat més emprades actualment, que són línies de codi (mètrica orientada a les dimensions del projecte), punts de funció (orientada a la funcionalitat del projecte, específica per a projectes de gestió), punts de característica (semblant a punts de funció, però més genèrica i útil per a altres tipus de projectes) i punts de casos d'ús (també orientada a la funció i específica per a projectes d'orientació a objectes). S'hi explica com es pot aconseguir, a partir d'aquestes mètriques i amb l'ajut de models d'estimació de productivitat, com ara el model COCOMO II, les estimacions de l'esforç necessari per a desenvolupar un projecte de programari i la distribució de l'esforç en totes les etapes del projecte a partir de les estimacions de la fase de desenvolupament. També es tracta, encara que no amb tanta profunditat, de la mètrica

Especificacions, Anàlisi i Disseny d'un Programari de Gestió de Magatzems

Aquest treball de fi de carrera vol reflectir les necessitats bàsiques per al disseny d'un programari de gestió de magatzems (PGM a partir d'ara). Un PGM té la particularitat d'haver d'establir connexions entre els fluxos físics del treball propi d'un magatzem i els fluxos de dades propis d'un sistema informàtic. Les prestacions del PGM s'hauran de desenvolupar en part en terminals de radiofreqüència, ja que es considera que el treball en línia és bàsic per a gestionar un magatzem.

Entorn d'autoaprenentatge per a assignatures d'Enginyeria del Programari

L'aplicació desenvolupada és un entorn web que permetrà als estudiants de la UOC millorarel seu rendiment en les assignatures d'Enginyeria del programari, mitjançant la utilització de l'eina de correcció automàtica de diagrames UML desenvolupada pel grup de recerca GRES-UOC.