Catálogo de publicaciones

Compartir en
redes sociales


Navegación

Tipo

Acceso

Plataformas

Temática

Mostrando 10 de 20.629 registro(s)

Filtros temática quitar todos

revistas Acceso Abierto
Agregar a Mi catálogo

European Science Editing: The official journal of the european association of science editors

Más información

ISSNs 0258-3127 (impreso) 2518-3354 (en línea)

Disponibilidad
Institución detectada Período Navegá Descargá Solicitá
No requiere desde oct. 2026 / hasta oct. 2026 Directory of Open Access Journals acceso abierto

Cobertura temática: Ciencias de la computación e información - Medios de comunicación  


actas de congreso
Agregar a Mi catálogo

European Symposium on Usable Security 2021

Más información

ISBNs: 978-1-4503-8423-0 (impreso)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2021 ACM Digital Library

Cobertura temática: Ciencias de la computación e información  


Eutrophication Management and Ecotoxicology

Más información
Autores/as: Martin C. Th. Scholten ; Edwin M. Foekema ; Henno P. Van Dokkum ; Nicolaas H.B.M. Kaag ; Robbert G. Jak

ISBNs: 978-3-540-22210-1 (impreso) 978-3-540-26671-6 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2005 SpringerLink

Cobertura temática: Ciencias de la computación e información - Ciencias de la tierra y ciencias ambientales relacionadas - Ciencias biológicas  


tesis Acceso Abierto
Agregar a Mi catálogo

Evaluación ampliada de procesos a partir del proyecto COMPETISOFT

Más información
Autores/as: Leonardo Aníbal Fernández ; Rodolfo Alfredo Bertone

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2017 CIC Digital (SNRD) acceso abierto
No requiere 2017 SEDICI: Repositorio Institucional de la UNLP (SNRD) acceso abierto

Cobertura temática: Ciencias de la computación e información - Ingeniería eléctrica, electrónica e informática  

Las pequeñas y medianas empresas de software (pymes) constituyen un porcentaje importante en el sector informático del país pero, por sus características particulares, tienen dificultades para acceder a mecanismos de certificación de calidad. Por este motivo se estudian modelos de calidad adecuados a sus características y envergadura. El modelo Competisoft proporciona un esquema basado en las mejores prácticas internacionales, fácil de aplicar y accesible en costos, con el objetivo de que su adopción constituya la base para que la empresa logre evaluaciones exitosas con otros modelos o normas de calidad. EVAP COMPETISOFT es una aplicación destinada a la evaluación de la capacidad de proceso orientada a pymes, basada en los criterios del modelo COMPETISOFT. Con esta herramienta se pretende contribuir a la mejora de la calidad del proceso de desarrollo de software en las Pymes y a la determinación de un diagnóstico sobre la capacidad de procesos de las empresas en general, que sirva como base para definir mecanismos orientados a la calidad del software.

tesis Acceso Abierto
Agregar a Mi catálogo

Evaluación de calidad de procesos ágiles en PyMEs del Noreste Argentino

Más información
Autores/as: Gabriela Patricia Tomaselli ; César Acuña ; Gustavo Héctor Rossi ; Javier Bazzocco ; Ariel C. Pasini ; Lisandro Nahuel Delía

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2019 SEDICI: Repositorio Institucional de la UNLP (SNRD) acceso abierto

Cobertura temática: Ciencias de la computación e información  

En el ámbito de la producción de bienes y servicios, y muy especialmente en la industria del software, los aspectos que involucran a la gestión de la calidad resultan cada vez más determinantes a la hora de diferenciar un producto de otro. Por este motivo, en los últimos años ha adquirido relevancia creciente la utilización de modelos y normas que permitan medir la calidad, tanto de los procesos de desarrollo de software como del producto desarrollado, como herramienta imprescindible para la obtención de productos diferenciados, listos para competir en un mercado abierto y global. Por otra parte, las Pequeñas y Medianas Empresas (PyMEs) juegan un rol significativo en el escenario nacional, concentrando más de la mitad del empleo privado de la economía argentina, y en particular en lo referido a la industria del software, representan un muy alto porcentaje. Sin embargo, en lo relativo a evaluación de calidad -a diciembre de 2015-, del 34% de las empresas que no poseían ninguna certificación, la amplia mayoría (96%) son empresas pequeñas y medianas. Debido a esto, resulta necesario, para el fortalecimiento de las PyMEs, la implementación de prácticas eficientes de medición y gestión de la calidad adaptadas a su tamaño y tipo de negocio, considerando especialmente que muchas de ellas optan por metodologías ágiles para facilitar la obtención de sus productos de software a través de procesos livianos y simples adecuados a sus realidades. Del análisis de artículos referidos a la situación de las PyMEs de la región del NEA en cuanto a la mejora de la calidad de los procesos y productos software que las empresas producen, surge la coincidencia en cuanto a que las normas y modelos existentes resultan complejos de implementar para las PyMEs de la industria del software, por lo que las mismas se encuentran con serias dificultades a la hora de certificar calidad. Las dificultades más visibles son la necesidad de una fuerte inversión de dinero, tiempo y recursos humanos, requerimiento de recursos especializados, volumen de los modelos (en cantidad de páginas, roles, actividades, etc.), idioma, idiosincrasia, cultura diferente. Sin embargo, y a fin de analizar y proponer componentes de un nuevo modelo de evaluación de calidad específicamente dirigido a las PyMEs del NEA, se detectó la escasa o casi nula cantidad de estudios formales que aporten datos concretos acerca de las características de las empresas de software de la región, en relación a poseer alguna certificación de calidad y la utilización de prácticas ágiles. Por este motivo, en el marco de este trabajo de especialización, se llevaron adelante encuestas a fin de obtener un panorama lo más ajustado posible, fundamental para delinear y establecer estrategias que permitan la mejora de sus procesos y colaborar, así, en la obtención de productos software de calidad. Por todo lo dicho, habiendo establecido la necesidad de implementar prácticas eficientes de medición y gestión de la calidad adaptadas a las PyMEs, y en la consideración que muchas de ellas optan por la utilización de prácticas ágiles, se propone como objetivo de este trabajo: Analizar Modelos de Calidad de Software, a fin de determinar las características más relevantes y frecuentes, estableciendo cuáles pueden considerarse, a priori, componentes del que podría definirse como un nuevo modelo aplicable a entornos de desarrollo ágiles, adecuado a la realidad de la región, detectada por medio del relevamiento en organizaciones del NEA.

tesis Acceso Abierto
Agregar a Mi catálogo

Evaluación de la calidad de gobierno de tecnologías y sistemas de información basada en valor

Más información
Autores/as: Vicente Rolando Merchán Rodríguez ; Claudia Pons ; Rocío Andrea Rodríguez

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2017 SEDICI: Repositorio Institucional de la UNLP (SNRD) acceso abierto

Cobertura temática: Ciencias de la computación e información  

La calidad es una aspiración y al mismo tiempo una preocupación constante, más aún cuando de por medio se encuentra la procura de la satisfacción y la entrega de valor. Es una aspiración, un reconocimiento, un objetivo muy complejo y al mismo instante muy sencillo de cumplir. Pues, ¿A quién no le gusta que le cumplan los compromisos?. La calidad es un grado de excelencia, y lo excelente es eternamente nuevo. Para un gobierno corporativo, en sentido general, sus objetivos de calidad siempre estarán enfocados en alcanzar eficiencia y eficacia en todos sus niveles de administración y áreas funcionales. Lograr la calidad para un gobierno que se enfoca en las Tecnologías y los Sistemas de Información (TSI) es un reto, porque los líderes organizacionales cada vez más esperan que los líderes de TSI innoven y entreguen valor en toda la organización y, al mismo tiempo, apoyen con la operación al máximo nivel; es decir, buscando el balance perfecto. La calidad se ha constituido en una meta de muchos países. En Ecuador, la Constitución establece que la administración pública se rige por principios, entre otros: el de calidad. Esto involucra la participación conjunta de las personas que aseguren el accionar en el contexto organizacional. La calidad incide sobre las personas, las actividades, los procesos y los resultados; todo orientado hacia la excelencia. Tomando en cuenta que las TSI se han constituido en el aliado estratégico de las instituciones públicas, entonces es vital propiciar que el equipo que las gobierna actúe con calidad. Al respecto el estándar ISO/IEC 38500 de Gobierno de la Tecnología de la Información propone un conjunto de principios orientadores para los administradores de las organizaciones en cuanto al uso eficiente y eficaz de la tecnología en sus organizaciones, pero entendiéndose como un aporte a la mejora de la calidad. Por ello es oportuno identificar con adecuado criterio las relaciones entre estándares de gobierno y modelos de excelencia, los criterios y sub-criterios que derivarían y como formarían parte de un modelo de calidad. La presente tesis doctoral aborda la calidad como un medio de investigación en el contexto del Gobierno de Tecnologías y Sistemas de Información (GoTSI) basada en valor, desde un punto de vista específico y exhaustivo, con perspectiva de dirección estratégica organizacional. Este abordaje se siente corroborado por un estudio comparativo y una revisión sistemática de la literatura llevados a cabo al inicio de la investigación doctoral. Entonces se propone un Modelo de Calidad de GoTSI Basada en Valor, denominado por sus siglas en inglés VBISTGQM (Valued-Based Information System Technology Governance Quality Model). El modelo incluye contenidos de trabajos previos, del modelo iberoamericano de excelencia y el estándar ISO/IEC 38500. Este modelo puede ser utilizado como un instrumento de medición y valoración de uso flexible y adaptable a los nuevos criterios que emergen de la dinámica del entorno, de igual manera adaptable a cada organización de TSI. El modelo define seis criterios, nueve sub-criterios y treinta y cuatro dimensiones; estas se valoran mediante cinco componentes catalogados como evidencias en la era del conocimiento, los mismos que en su conjunto inciden en la toma de decisiones de un Gobierno de Valor de TSI. Luego, cada uno de los sub-criterios y criterios de evaluación son analizados mediante tres niveles jerárquicos ponderados que permiten cuantificar la medida de sub-criterio, criterio y del GoTSI. En líneas generales se acompaña al modelo varias fases para realizar la autoevaluación, en donde el producto final es un informe que reporta los aspectos fuertes y débiles, así como, los aspectos que necesitan mejorar. Para la operacionalización y afianzamiento del modelo, se llevaron a cabo varios análisis estadísticos que han permitido contrastar hipótesis, verificar errores y la consistencia de las respuestas que expresaron 62 líderes y directivos ecuatorianos con experiencia en el desarrollo de estrategias relacionadas con el uso de las TSI. Los resultados demuestran un modelo conceptual confiable. Finalmente, con diez supuestos participantes se presenta la funcionalidad del modelo de calidad.

tesis Acceso Abierto
Agregar a Mi catálogo

Evaluación de las características reométricas de hidrocoloides obtenidos de semillas de Prosopis sp (algarrobos)

Más información
Autores/as: Víctor Rodolfo Rozycki ; Rolando José González ; Raúl Antonio Bortolozzi ; Gustavo Alberto Pérez Nardini ; Enzo Alberto Tosi D´Acierno

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2012 Biblioteca Virtual de la Universidad Nacional del Litoral (SNRD) acceso abierto

Cobertura temática: Ciencias de la computación e información  

Los galactomananos son muy utilizados en alimentos. Se estudió el comportamiento reométrico del hidrocoloide de algarrobo blanco (prosopis alba) utilizando un viscosímetro Haake Rotovisco con un software desarrollado especialmente. El comportamiento fue similar al de las gomas guar y garrofin.

tesis Acceso Abierto
Agregar a Mi catálogo

Evaluación de materiales didácticos web para la enseñanza del español como lengua extranjera a niños con edades entre 5 y 7 años

Más información
Autores/as: Carlos Andrés Balanta Zamora ; Alejandra Zangara

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2016 SEDICI: Repositorio Institucional de la UNLP (SNRD) acceso abierto

Cobertura temática: Ciencias de la computación e información - Educación  

La presente investigación tuvo como principal objetivo realizar un estado del arte de los materiales didácticos web para la enseñanza del español como lengua extranjera a niños entre cinco y siete años a partir de una evaluación pedagógica y técnica de cada uno de ellos. Para dicho fin, se analizaron diferentes teorías sobre la enseñanza de lenguas extranjeras, así como teorías para el diseño y desarrollo de material multimedia. Se elaboró un instrumento de específico evaluación con el que se examinaron ocho materiales didácticos web, y se generó un reporte cualitativo y cuantitativo de cada uno de ellos. Este trabajo constituye la etapa inicial de un proyecto de desarrollo de material didáctico web para niños.

tesis Acceso Abierto
Agregar a Mi catálogo

Evaluación de rendimiento y eficiencia energética de sistemas heterogéneos para bioinformática

Más información
Autores/as: Enzo Rucci ; Armando Eduardo De Giusti ; Marcelo Naiouf

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2016 SEDICI: Repositorio Institucional de la UNLP (SNRD) acceso abierto

Cobertura temática: Ciencias de la computación e información  

El problema del consumo energético se presenta como uno de los mayores obstáculos para el diseño de sistemas que sean capaces de alcanzar la escala de los Exaflops. Por lo tanto, la comunidad científica está en la búsqueda de diferentes maneras de mejorar la eficiencia energética de los sistemas HPC. Una tendencia reciente para incrementar el poder computacional y al mismo tiempo limitar el consumo de potencia de estos sistemas consiste en incorporarles aceleradores y coprocesadores, como pueden ser las GPUs de NVIDIA y AMD o los coprocesadores Xeon Phi de Intel. Por otra parte, las FPGAs aparecen como una opción promisoria para HPC debido a su capacidad de cómputo creciente, su bajo consumo energético y al desarrollo de nuevas herramientas que facilitan su programación. Estos sistemas híbridos que emplean diferentes recursos de procesamiento se denominan sistemas heterogéneos y son capaces de obtener mejores cocientes FLOPS/Watt. Entre las áreas que se ven afectadas por los problemas actuales de los sistemas HPC se encuentra la bioinformática, debido al crecimiento exponencial que ha experimentado la información biológica en los últimos años y a que cuenta con un número creciente de aplicaciones que requieren de cómputo de altas prestaciones para alcanzar tiempos de respuesta aceptables. Una de esas aplicaciones es el alineamiento de secuencias, la cual es considerada una operación fundamental en las ciencias biológicas debido a su utilización en la mayoría de sus especialidades. El alineamiento consiste en comparar dos o más secuencias biológicas y su propósito es detectar qué regiones comparten una historia evolutiva común. El algoritmo SW es un método popular para el alineamiento local de secuencias que ha sido utilizado como base para otros algoritmos posteriores y como patrón con el cual comparar otras técnicas de alineamiento. Sin embargo, debido a que su complejidad computacional es cuadrática, en la práctica se emplean diversas heurísticas que permiten reducir el tiempo de ejecución a costo de una pérdida en la sensibilidad de los resultados. De manera de procesar el creciente volumen de información biológica con tiempos de respuesta aceptables, resulta necesario desarrollar nuevas herramientas computacionales que sean capaces de acelerar primitivas claves y algoritmos elementales eficientemente en términos de rendimiento y consumo energético. Por ese motivo, esta tesis se planteó como objetivo general evaluar el rendimiento y la eficiencia energética de sistemas para cómputo de altas prestaciones al acelerar el alineamiento de secuencias biológicas mediante el método de Smith-Waterman. En primer lugar, se estudiaron las posibles formas de paralelizar el algoritmo SW y se describieron las implementaciones existentes sobre diferentes plataformas de procesamiento: CPU, GPU, FPGA y Xeon Phi. El análisis para cada dispositivo incluyó la evolución temporal de sus implementaciones así como también una descripción detallada de los aportes, las limitaciones, los resultados y la experimentación realizada en cada uno de los trabajos. Este análisis fue posible gracias al estudio de las diferentes arquitecturas y modelos de programación además del de los distintos algoritmos para alineamiento de secuencias biológicas realizado previamente. A continuación, se desarrollaron nuevas soluciones algorítmicas para sistemas heterogéneos. Como las GPUs son el acelerador dominante en la comunidad de HPC al día de hoy y existe vasta investigación científica sobre el uso de esta clase de aceleradores para el alineamiento de secuencias, se decidió priorizar el desarrollo de implementaciones para sistemas heterogéneos basados en Xeon Phi y basados en FPGA. Al inicio de esta tesis no existían implementaciones disponibles para el alineamiento de secuencias basadas en Xeon Phi. En sentido opuesto, sí existían antecedentes en la aplicación de FPGAs para el procesamiento de secuencias biológicas, aunque estas implementaciones fueron desarrolladas con HDLs tradicionales y en su mayoría poseen una o más limitaciones que restringen su uso en el mundo real. El trabajo experimental se inició con los sistemas heterogéneos basados en Xeon Phi. Como punto de partida, se desarrollaron y optimizaron implementaciones para las CPUs y los Xeon Phi en forma individual antes de combinarlos en una implementación híbrida. Las implementaciones desarrolladas fueron compiladas en una única herramienta a la cual se la llamó SWIMM. A partir del análisis del estado del arte realizado inicialmente, se identificó a SWIPE como la herramienta más rápida para búsquedas de similitud en CPU. Mediante los experimentos realizados, se mostró que la versión SSE de SWIMM es equiparable con SWIPE mientras que la versión AVX2 logró superarlo ampliamente alcanzado diferencias de hasta 1.4x. Cabe destacar que, hasta donde llega el conocimiento del tesista, esta es la primera implementación SW para el conjunto de instrucciones AVX2. En cuanto a los Xeon Phi, al inicio de esta investigación no existían implementaciones disponibles para este coprocesador. Sin embargo, en el año 2014 aparecieron SWAPHI y XSW 2.0. Mientras que SWAPHI sólo explota el coprocesador, XSW 2.0 es capaz de aprovechar la potencia del host en simultáneo. A través de los experimentos realizados, se mostró que la versión KNC de SWIMM resulta competitiva con SWAPHI, siendo capaz de superarlo para secuencias medianas y largas. Complementariamente, la versión híbrida de SWIMM con distribución dinámica (SSE+KNC) superó notablemente a su alternativa XSW 2.0, logrando aceleraciones de hasta 3.9x. El siguiente paso en el trabajo experimental consistió en el desarrollo de soluciones algorítmicas para sistemas heterogéneos basados en aceleradores FPGA. A diferencia de las implementaciones disponibles en la literatura, se decidió explorar los beneficios de utilizar una tecnología innovadora, como lo es OpenCL en el ámbito de las FPGAs, en lugar de HDLs tradicionales como VHDL o Verilog. En primer lugar, se exploró el rendimiento y el consumo de recursos de diferentes kernels de forma de encontrar la configuración más beneficiosa. Posteriormente, se desarrolló una versión híbrida empleando el código de SWIMM. Estas implementaciones también fueron compiladas en una única herramienta a la cual se la llamó OSWALD. Hasta donde llega el conocimiento del tesista, ésta es la primera implementación utilizando OpenCL sobre FPGAs para búsquedas de similitud. Además, en base al análisis del estado del arte realizado inicialmente, es una de las pocas implementaciones que es completamente funcional y general para esta clase de sistemas, además de facilitar la portabilidad por el empleo de OpenCL. Desafortunadamente, la ausencia del código fuente impide una comparación con otras implementaciones basadas en FPGA y aunque un análisis teórico es posible, los diferentes dispositivos, tecnologías y enfoques empleados no sólo complican una comparación directa sino que también dificultan hacerla en forma justa. La última etapa del trabajo experimental se basó en relacionar el rendimiento alcanzado con el consumo de potencia de los sistemas empleados previamente. De acuerdo al análisis realizado, se puede afirmar que los sistemas basados únicamente en CPU son capaces de obtener un buen balance entre rendimiento y consumo de potencia a partir de la explotación de multihilado e instrucciones vectoriales, destacándose aquellos que disponen de las extensiones AVX2. Por otra parte, la incorporación de aceleradores al cómputo del host demostró mejorar el rendimiento global del sistema en todos los casos, aunque la proporción de mejora varió de acuerdo al acelerador elegido. Desafortunadamente no ocurrió lo mismo en cuanto a la eficiencia energética. Los Xeon Phi no representan una buena opción para este tipo de aplicación. La ausencia de capacidades vectoriales para enteros de bajo rango es la causa principal del pobre rendimiento de este coprocesador, lo que provoca que el incremento en el consumo energético sea mucho mayor que la ganancia de rendimiento. En sentido opuesto, las GPUs sí pueden explotar este tipo de datos y es por ello que se puede aprovechar su gran poder computacional para acelerar los alineamientos. Aunque el aumento en el consumo de potencia es elevado, la mejora lograda por el uso de esta clase de aceleradores resulta superior, lo que se traduce en una mayor eficiencia energética. En el caso de las FPGAs, su capacidad de reconfiguración hace posible adaptar el hardware a los requerimientos del algoritmo SW. Si bien el rendimiento alcanzable de estos aceleradores puede ser inferior al correspondiente a las GPUs, su bajo consumo de potencia lleva a mayores tasas de eficiencia energética. A diferencia de otras evaluaciones de rendimiento y eficiencia energética en el contexto de SW, en esta tesis se han empleado secuencias de consulta y bases de datos representativas de la comunidad bioinformática, potentes arquitecturas orientadas a HPC y eficientes implementaciones que han demostrado ser las más rápidas de su clase. Por ese motivo se considera que la evaluación presentada puede ser de mayor utilidad en el mundo real. De acuerdo a los resultados obtenidos y a las contribuciones realizadas, se espera que esta tesis aporte a una mayor adopción de SW por parte de la comunidad bioinformática y a un procesamiento más eficiente de los alineamientos de secuencias biológicas en términos de rendimiento y consumo energético.

tesis Acceso Abierto
Agregar a Mi catálogo

Evaluación de técnicas de detección de errores en programas concurrentes

Más información
Autores/as: Fernando Emmanuel Frati ; Armando Eduardo De Giusti

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2014 SEDICI: Repositorio Institucional de la UNLP (SNRD) acceso abierto

Cobertura temática: Ciencias de la computación e información  

Una característica fundamental de los sistemas de software es que se construyen desde el principio sabiendo que deberán incorporar cambios a lo largo de su ciclo de vida. Todos los libros que tratan sobre ingeniería de software coinciden en que los sistemas son evolutivos. Incluso al evaluar el esfuerzo que se debe invertir en un proyecto de software, se considera que un 20% está en el desarrollo y 80% se aplica al mantenimiento (Pfleeger & Atlee, 2009). Ian Sommerville estima que el 17% del esfuerzo de mantenimiento se invierte en localizar y eliminar los posibles defectos de los programas (Sommerville, 2006). Por ello, conseguir programas libres de errores es uno de los principales objetivos que se plantea (o se debería plantear) el desarrollador frente a cualquier proyecto de software. Por otro lado, las limitaciones a la integración impuestas por factores físicos como son la temperatura y el consumo de energía, se han traducido en la integración de unidades de cómputo en un único chip, dando lugar a los procesadores de múltiples núcleos. Para obtener la máxima eficiencia de estas arquitecturas, es necesario el desarrollo de programas concurrentes (Grama, Gupta, Karypis, & Kumar, 2003). A diferencia de los programas secuenciales, en un programa concurrente existen múltiples hilos en ejecución accediendo a datos compartidos. El orden en que ocurren estos accesos a memoria puede variar entre ejecuciones, haciendo que los errores sean más difíciles de detectar y corregir. En cómputo de altas prestaciones donde los tiempos de ejecución de las aplicaciones pueden variar de un par de horas hasta días, la presencia de un error no detectado en la etapa de desarrollo adquiere una importancia mayor. Por este motivo, resulta indispensable contar con herramientas que ayuden al programador en la tarea de verificar los algoritmos concurrentes y desarrollar tecnología robusta para tolerar los errores no detectados. En este contexto, la eficiencia de los programas monitorizados se ve comprometida por el overhead que introduce el proceso de monitorización. Este trabajo forma parte de las investigaciones para la tesis doctoral del autor en el tema "Software para arquitecturas basadas en procesadores de múltiples núcleos. Detección automática de errores de concurrencia". Como tal, su aporte constituye un estudio de las técnicas y métodos vigentes en la comunidad científica aplicados a la detección y corrección de errores de programación en programas concurrentes. Las siguientes secciones constituyen una introducción al proceso de detectar, localizar y corregir errores de software en programas secuenciales y se explican las complicaciones introducidas por los programas concurrentes. El Capítulo 2 trata los distintos errores que se pueden manifestar en programas concurrentes. El Capítulo 3 resume los antecedentes en técnicas de detección y corrección de errores de concurrencia y se justifica la elección de las violaciones de atomicidad como caso de error más general. El Capítulo 4 explica las características de un algoritmo de detección de violaciones de atomicidad, y da detalles de su implementación. El Capítulo 5 contiene las características de la plataforma de experimentación y de la metodología empleada. El Capítulo 6 proporciona los resultados del trabajo experimental. Finalmente, se presentan las conclusiones del trabajo y se proponen las líneas de investigación futuras.