Revista Investigación y Tecnología

Relational language software for verifying

A medida que aumenta la complejidad de los sistemas de software, surgen nuevos aspectos desarrollo de aplicaciones, que hasta ese momento no se habían tenido en cuenta, al menos de una forma explícita. De este modo, el proceso de desarrollo se ha ido convirtiendo gradualmente en una labor de ingeniería, en la que nuevas tareas, como la elaboración de especificaciones, el diseño del sistema, la construcción de prototipos, la integración y pruebas, la gestión de la configuración y otras muchas han ido cobrando importancia frente a las labores de programación que eran las que primaban en un inicio. La Ingeniería de Software ha ido respondiendo a esta situación con el desarrollo de nuevos modelos, notaciones, técnicas y métodos. El presente trabajo propone una alternativa para la verificación formal de sistemas permitiendo demostrar con certeza que el sistema desarrollado realiza las funciones requeridas, es decir, cumple con ciertas especificaciones.

With increasing complexity of new software systems application development aspects that until then had not been taken into account, at least one explicitly arise. Thus, the development process has been gradually becoming a work of engineering, where new tasks such as the development of specifications, system design, prototyping, integration and testing, management configuration and many others have been gain in importance with the work program which was initially prevailed. Software Engineering has responded to this situation with the development ofnew models, notations, techniques and methods. This paper proposes an alternative form of systems for allowing verification prove with certainty that the developed system performs the requiredfunctions, i.e. meets certain specifications.

Heuristic algorithm for exact cover problem

En general las soluciones exactas para el exact cover problem se obtienen a través de algoritmos intratables pues el problema es NP. El famoso algoritmo de Knuth (DLX) es uno de ellos. Se presenta un algoritmo heurístico que implementa la idea de tomar los subconjuntos por pares, aplicando una métrica de factibilidad basada en el número de subconjuntos con los que (no) colisionan los subconjuntos de la pareja, y la distancia de Hamming entre ellos. Al tomar parejas reducimos el tiempo de cálculo, y la elección de los pares más factibles, según la métrica, halla más rápidamente -en promedio- una solución si esta existe. La métrica puede utilizarse también para abandonar la búsqueda, después de cierto límite de factibilidad, conjeturando la no existencia de solución. El mismo parece comportarse bastante bien para los experimentos realizados.

In general, exact solutions for the exact cover problem are obtained through intractable algorithms because the problem is NP. The famous Knuth's algorithm (DLX) is one ofthem. We present a heuristic algorithm that implements a the idea of taking subsets by pairs, applying a feasibility metric based on the number of subsets that (not)collide with the chosen pair, and the Hamming distance between them. By taking pairs we reduce the computation time, and the choice of the most feasible pairs, according to the metric, finda solution fáster (on average) , ifit exists. The metric can also be used to abandon the search after a certain feasibility limit, guessing the non existence of solution. His algorithm seems toperform quite wellfor experiments.

Team Work Management Groupware Assisted Sofbots

Los trabajos grupales hoy en día se pueden realizar de forma coordinada cooperativa, colaborativa haciendo uso de herramientas automatizadas libres los cuales fueron analizadas teniendo como resultado el manual o tutorial de uso. Estos tutoriales en diferentes formatos documentos videos y otros, son también sujeto de mejoras de acuerdo a las versiones de las herramientas y también por una nueva forma de mostrar las bondades de la herramienta realizadas. Se desarrollaron diferentes plataformas de depósito de las herramientas. Se crea también una plataforma de trabajo grupal para todos los docentes de la Universidad Mayor de San Andrés, quiénes pueden acceder a estas herramientas y a los tutoriales de los mismos donde se gestiona en las diferentes Carreras, en diferentes materias, los grupos de trabajos en grupo, determinando el coordinador de grupo, los integrantes, los trabajos, sus avances, sistemas que está respaldado por un sistema multiagentes generador de alertas que esta vigilante todo el tiempo y se activa cada vez que llega determinada fecha de entrega de avances o entregas finales de proyectos.

The group work today can be performed in a coordinated cooperative, collaborative using free automated tools which were analyzed resulting in the manual or tutorial use. These tutorials in various formáis videos and other documents are also subject to improvement according to the versions of tools and also for a new way to show the benefits of the tool made. Deposit differentplatforms developed tools. Group workplatform for all teachers ofthe Universidad Mayor de San Andrés, who can access these tools is also created and tutorials thereof wherein the working groups is managed in the different races in different materials, group determining the group coordinator, members, jobs, progress, systems that is backed by a generator of alerts that this vigilant at all times and each time it reaches certain date of delivery of advances or final de livery of active multiagent system projects.

Web application: sistema de información para la gestión académica (SIGA)

El Sistema de Información de Gestión Académica (SIGA), realiza la integración de los procesos académicos y administrativos, más importantes de las diferentes unidades de la Carrera de Informática, mediante una aplicación web. En esta etapa del proyecto, los diferentes procesos que involucran el Seguimiento Académico de la Carrera de Informática se desarrollaron de acuerdo a los requerimientos de los usuarios. SIGA, se desarrolló bajo las herramientas: PHP (desarrollo de programas), PostgreSQL (administración de la Base de Datos), HTML (etiquetas de hipertexto), FPDF (generación de documentos PDF), PHPExceX (generación de documentos Excel), DB (clase para ejecución de sentencias sql), AJAX (técnica de desarrollo web para crear aplicaciones interactivas). El mantenimiento de la aplicación web, será factible de realizar debido a que SIGA tiene la documentación técnica de los módulos desarrollados.

The Academic Information System Management (SIGA), making the integration of the most important academic and administrative processes ofthe different units ofthe Computer Science Career, using a web application. At this stage ofthe project, the various processes involving the Academic Trackofthe Career of Computer Science, were developed according to the requirements of users. SIGA, was developed under tools: PHP (software development), PostgreSQL (Management Datábase), HTML (hypertext labels), FPDF (generation of PDF documents), PHPExcel (generation of Excel documents), DB (class execution ofSQL statements), AJAX (web development technique for creating interactive applications). Maintaining the Web application will be feasible to do because the SIGA has the technical documentation ofthe developed modules.

ICT competences ofschool teachers of La Paz city

El presente proyecto muestra los resultados de la encuesta aplicada a profesores de primaria y secundaria de la ciudad de La Paz, en cuanto al estado actual de sus competencias TIC, otro de nuestros objetivos fue la organización del 2do. Congreso de Tecnologías para el Aprendizaje y el Conocimiento y los esfuerzos realizados para conformar una red a nivel nacional con la finalidad de motivar la introducción de las TIC en el aula.

This project shows the results ofthe survey ofprimary and secondary teacher's school in the La Paz city, regarding the current state of their ICT skills, one of our objectives was the organization of the 2nd. Congress of Technologies for Learning and Knowledge and the efforts made to conform a national network in order to motívate the introduction oflCT in the classroom.