Característiques dels Generadors de Codi

Aquest estudi permet tenir una visió de les possibilitats reals dels generadors de codi, les seves característiques més destacades i les seves mancances. Finalment s'inclou una proposta de millora per incorporar als generadors de codi.

ServEngine : Framework pel desenvolupament de serveis en línia

En aquest projecte es desenvoluparà ServEngine, un framework per al desenvolupament de serveis de portals, comunitats virtuals i sistemes de comerç electrònic basat en el patró MVC i, com s'elegirà més endavant després d'un procés d'anàlisi i comparació, utilitzant Struts com a base de desenvolupament.

J2EE : Generació automàtica de codi

Aquest projecte està enfocat a determinar l'estat actual de les principals eines de generació automàtica de codi que existeixen, analitzant les característiques principals de cada eina determinar-ne les funcionalitats.

Integridad académica en la docencia universitaria actual con énfasis en el plagio del código fuente : modelo, propuesta de intervención y herramientas

Programa de doctorado: Tecnología de la Información y sus aplicaciones. La fecha de publicación es la fecha de lectura

Genereitor 2: Generador de código J2EE

Aplicación web desarrollada en J2EE que permite generar código fuente de aplicaciones web (también basadas en J2EE y que se apoyarán en una base de datos) a todos los niveles (interfaz, lógica de negocio, acceso a datos). Soporta varios sistemas de bases de datos y genera aplicaciones para varios servidores de aplicaciones (con y sin contenedor de EJB), y permite personalizar sus características y comportamiento. Las aplicaciones que genera son completamente funcionales, pudiendo realizar operaciones de búsqueda, creación, modificación y borrado de datos.

Linux desde código fuente

Compilación e instalación de un sistema operativo Linux desde código fuente. El resultado final es una versión de Linux mínima con interfaz gráfica y con algunas utilidades y librerías para realizar tareas de auditoría en redes y en el sistema.

Código de modernidade e sistemas antigos: a propósito do uso da informática pelos professores de matemática da rede pública estadual em Belém

O uso das Tecnologias da Informação e Comunicação -TIC no ambiente escolar, além de permitir o acesso a um universo de informações tão caótico quanto inimaginável, promoveu uma profunda transformação na relação de seus principais atores -professores e alunos - com o conhecimento. Desde o final da década de 1980 que, no Brasil, diversos programas surgiram com a finalidade de prover a educação pública de condições de igualdade com a educação privada, procurando através da inserção nas escolas da rede municipal e estadual de um ambiente tecnológico de aprendizagem com base em rede de computadores conectados a Internet, garantir o ansiado salto de qualidade do ensino público. A proposta desse trabalho é investigar se os professores de Matemática que atuam nas escolas da rede estadual em Belém/P A, que possuem Laboratório de Informática, estabelecem interações com esse ambiente na busca pela melhoria de sua práxis pedagógica, favorecendo a transmissão de informações, a construção de conhecimentos e de conceitos matemáticos.

O impacto da tecnologia do código de barras na redução dos erros de medicação

A tecnologia do código de barras possibilita que a identificação e a história do doente se relacionem com todos os momentos de prestação de cuidados, como sejam: a prescrição médica, a dispensa e administração de medicamentos. Para tal, é necessário dispor de uma ferramenta informática apropriada, que gera os códigos de barras e respectivas ligações e dispositivos de leitura desses mesmos códigos. Segundo a American Society of Hospital Pharmacists, os tipos de erros de medicação podem agrupar-se em categorias, que não podem ser mutuamente exclusivas, devido à natureza multifatorial e multidisciplinar. Estas são as seguintes: prescribing error; omission error; wrong time error time; unauthorized drug error; wrong dosage form error; wrong drug-preparation error; wrong administration-technique error; deteriorated drug error; monitoring error; compliance error; other medication error. Para a correcta utilização do medicamento tem que se garantir que o doente certo toma o medicamento certo, na quantidade certa, na via de administração e hora certa (5RIGHTS). A evidência científica demonstrou que esta tecnologia conduz a uma REDUÇÃO DOS ERROS DE MEDICAÇÃO, nomeadamente na categoria da administração de medicamentos. Objectivo do estudo: demonstrar o impacto da tecnologia do código de barras na redução dos erros de medicação em meio hospitalar.

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.

Mejorando la robustez de aplicaciones frente a fallos transitorios

Computer chips implementation technologies evolving to obtain more performance are increasing the probability of transient faults. As this probability grows and on-chip solutions are expensive or tend to degrade processor performance, the efforts to deal with these transient faults in higher levels (such as the operating system or even at the application level) are increasing. Mostly, these efforts are trying to avoid silent data corruptions using hardware, software and hybrid based techniques to add redundancy to detect the errors generated by the transient faults. This work presents our proposal to improve the robustness of applications with source code based transformation adding redundancy. Also, our proposal takes account of the tradeoff between the improved robustness and the overhead generated by the added redundancy.

Desarrollo de un softphone, implementación de una centralita basada en código libre e integración con herramienta CRM

El proyecto consiste en la creación mediante software libre de un sistema de telefonía corporativo, que ofrece la mayor parte de las funcionalidades de un sistema telefónico implantado en cualquier PYME de la actualidad y que tiene como elemento principal una centralita telefónica Asterisk, así como en el desarrollo de un softphone(teléfono software) utilizando el protocolo de señalización SIP, que explota gran parte de las funcionalidades que proporciona la centralita. Este sistema de telefonía tiene además la capacidad de integrarse con herramientas CRM a través de la importación de los contactos en el listín corporativo del softphone.

Framework para la capa de presentación de aplicaciones web

El framework dissenyat, denominat magis, ajuda als desenvolupadors organitzant la presentació de continguts, l'accés a les funcions i serveis de negoci, el flux de pàgines, el processament de formularis, el maneig d'errors i la gestió d'estat.

Generación automática de código con WebRatio

L'aportació d'aquest PFC consistirà en el desenvolupament d'un programa informàtic que verifiqui els fonaments teòrics i els algorismes proposats pels seus autors i proporcionar una eina per a l'experimentació.

Tienda virtual para una empresa de muebles de cocina

El projecte estarà dedicat a dos tipus de clients: particulars i industrials ia la gestió que s'haurà de fer dels productes oferts (altes, baixes, manteniments, etc.). El web estarà configurada en un servidor d'aplicacions i constarà de dues parts: La interfície de l'administrador per al manteniment dels clients i articles i la interfície del client que li permetrà navegar pel catàleg i així poder fer les comandes dels productes que estiguin interessats. Utilitzarem els estàndards que ofereix el mercat per al programari de servidor (JSP, Struts, J2EE, etc.).

Anàlisi de models d'ensenyament-aprenentatge de competències no tècniques als estudis d'Enginyeria en informàtica

Actualment a l'Estat espanyol s'està implantant el Pla Bolonya per incorporar-se a l'Espai Europeu d'Estudis Superiors (l'EEES). Com a un dels principals objectius, l'EEES pretén homogeneïtzar els estudis i de manera concreta les competències adquirides per qualsevol estudiant independentment d'on hagi realitzat els seus estudis. Per això, existeixen iniciatives europees (com el projecte Tuning) que treballen per definir competències per a totes les titulacions universitàries.El projecte presenta l'anàlisi realitzat sobre vint Universitats de diferents continents per identificar models d'ensenyament-aprenentatge de competències no tècniques. La recerca es centra addicionalment en la competència comunicativa escrita.La font principal de dades ha estat la informació proporcionada a les pàgines Web de les universitats i molt especialment els seus plans d'estudi.