A system for automatically generating documentation for (C)LP programs

We describe lpdoc, a tool which generates documentation manuals automatically from one or more logic program source files, written in ISO-Prolog, Ciao, and other (C)LP languages. It is particularly useful for documenting library modules, for which it automatically generates a rich description of the module interface. However, it can also be used quite successfully to document full applications. A fundamental advantage of using lpdoc is that it helps maintaining a true correspondence between the program and its documentation, and also identifying precisely to what version of the program a given printed manual corresponds. The quality of the documentation generated can be greatly enhanced by including within the program text assertions (declarations with types, modes, etc.) for the predicates in the program, and machine-readable comments. One of the main novelties of lpdoc is that these assertions and comments are written using the Ciao system assertion language, which is also the language of communication between the compiler and the user and between the components of the compiler. This allows a significant synergy among specification, documentation, optimization, etc. A simple compatibility library allows conventional (C)LP systems to ignore these assertions and comments and treat normally programs documented in this way. The documentation can be generated in many formats including texinfo, dvi, ps, pdf, info, html/css, Unix nroff/man, Windows help, etc., and can include bibliographic citations and images. lpdoc can also generate “man” pages (Unix man page format), nicely formatted plain ascii “readme” files, installation scripts useful when the manuals are included in software distributions, brief descriptions in html/css or info formats suitable for inclusion in on-line indices of manuals, and even complete WWW and info sites containing on-line catalogs of documents and software distributions. The lpdoc manual, all other Ciao system manuals, and parts of this paper are generated by lpdoc.

A documentation generator for logic programming systems

We describe lpdoc, a tool which generates documentation manuals automatically from one or more logic program source files, written in ISO-Prolog, Ciao, and other (C)LP languages. It is particularly useful for documenting library modules, for which it automatically generates a rich description of the module interface. However, it can also be used quite successfully to document full applications. The documentation can be generated in many formats including t e x i n f o, dvi, ps, pdf, inf o, html/css, Unix nrof f/man, Windows help, etc., and can include bibliographic citations and images, lpdoc can also genérate "man" pages (Unix man page format), nicely formatted plain ascii "readme" files, installation scripts useful when the manuals are included in software distributions, brief descriptions in html/css or inf o formats suitable for inclusión in on-line Índices of manuals, and even complete WWW and inf o sites containing on-line catalogs of documents and software distributions. A fundamental advantage of using lpdoc is that it helps maintaining a true correspondence between the program and its documentation, and also identifying precisely to what versión of the program a given printed manual corresponds. The quality of the documentation generated can be greatly enhanced by including within the program text assertions (declarations with types, modes, etc. ...) for the predicates in the program, and machine-readable comments. These assertions and comments are written using the Ciao system assertion language. A simple compatibility library allows conventional (C)LP systems to ignore these assertions and comments and treat normally programs documented in this way. The lpdoc manual, all other Ciao system manuals, and most of this paper, are generated by lpdoc.

Advanced system of planning and organization of classes at the university

This document is the result of a process of web development to create a tool that will allow to Cracow University of Technology consult, create and manage timetables. The technologies chosen for this purpose are Apache Tomcat Server, My SQL Community Server, JDBC driver, Java Servlets and JSPs for the server side. The client part counts on Javascript, jQuery, AJAX and CSS technologies to perform the dynamism. The document will justify the choice of these technologies and will explain some development tools that help in the integration and development of all this elements: specifically, NetBeans IDE and MySQL workbench have been used as helpful tools. After explaining all the elements involved in the development of the web application, the architecture and the code developed are explained through UML diagrams. Some implementation details related to security are also deeper explained through sequence diagrams. As the source code of the application is provided, an installation manual has been developed to run the project. In addition, as the platform is intended to be a beta that will be grown, some unimplemented ideas for future development are also exposed. Finally, some annexes with important files and scripts related to the initiation of the platform are attached. This project started through an existing tool that needed to be expanded. The main purpose of the project along its development has focused on setting the roots for a whole new platform that will replace the existing one. For this goal, it has been needed to make a deep inspection on the existing web technologies: a web server and a SQL database had to be chosen. Although the alternatives were a lot, Java technology for the server was finally selected because of the big community backwards, the easiness of modelling the language through UML diagrams and the fact of being free license software. Apache Tomcat is the open source server that can use Java Servlet and JSP technology. Related to the SQL database, MySQL Community Server is the most popular open-source SQL Server, with a big community after and quite a lot of tools to manage the server. JDBC is the driver needed to put in contact Java and MySQL. Once we chose the technologies that would be part of the platform, the development process started. After a detailed explanation of the development environment installation, we used UML use case diagrams to set the main tasks of the platform; UML class diagrams served to establish the existing relations between the classes generated; the architecture of the platform was represented through UML deployment diagrams; and Enhanced entity–relationship (EER) model were used to define the tables of the database and their relationships. Apart from the previous diagrams, some implementation issues were explained to make a better understanding of the developed code - UML sequence diagrams helped to explain this. Once the whole platform was properly defined and developed, the performance of the application has been shown: it has been proved that with the current state of the code, the platform covers the use cases that were set as the main target. Nevertheless, some requisites needed for the proper working of the platform have been specified. As the project is aimed to be grown, some ideas that could not be added to this beta have been explained in order not to be missed for future development. Finally, some annexes containing important configuration issues for the platform have been added after proper explanation, as well as an installation guide that will let a new developer get the project ready. In addition to this document some other files related to the project are provided: - Javadoc. The Javadoc containing the information of every Java class created is necessary for a better understanding of the source code. - database_model.mwb. This file contains the model of the database for MySQL Workbench. This model allows, among other things, generate the MySQL script for the creation of the tables. - ScheduleManager.war. The WAR file that will allow loading the developed application into Tomcat Server without using NetBeans. - ScheduleManager.zip. The source code exported from NetBeans project containing all Java packages, JSPs, Javascript files and CSS files that are part of the platform. - config.properties. The configuration file to properly get the names and credentials to use the database, also explained in Annex II. Example of config.properties file. - db_init_script.sql. The SQL query to initiate the database explained in Annex III. SQL statements for MySQL initialization. RESUMEN. Este proyecto tiene como punto de partida la necesidad de evolución de una herramienta web existente. El propósito principal del proyecto durante su desarrollo se ha centrado en establecer las bases de una completamente nueva plataforma que reemplazará a la existente. Para lograr esto, ha sido necesario realizar una profunda inspección en las tecnologías web existentes: un servidor web y una base de datos SQL debían ser elegidos. Aunque existen muchas alternativas, la tecnología Java ha resultado ser elegida debido a la gran comunidad de desarrolladores que tiene detrás, además de la facilidad que proporciona este lenguaje a la hora de modelarlo usando diagramas UML. Tampoco hay que olvidar que es una tecnología de uso libre de licencia. Apache Tomcat es el servidor de código libre que permite emplear Java Servlets y JSPs para hacer uso de la tecnología de Java. Respecto a la base de datos SQL, el servidor más popular de código libre es MySQL, y cuenta también con una gran comunidad detrás y buenas herramientas de modelado, creación y gestión de la bases de datos. JDBC es el driver que va a permitir comunicar las aplicaciones Java con MySQL. Tras elegir las tecnologías que formarían parte de esta nueva plataforma, el proceso de desarrollo tiene comienzo. Tras una extensa explicación de la instalación del entorno de desarrollo, se han usado diagramas de caso de UML para establecer cuáles son los objetivos principales de la plataforma; los diagramas de clases nos permiten realizar una organización del código java desarrollado de modo que sean fácilmente entendibles las relaciones entre las diferentes clases. La arquitectura de la plataforma queda definida a través de diagramas de despliegue. Por último, diagramas EER van a definir las relaciones entre las tablas creadas en la base de datos. Aparte de estos diagramas, algunos detalles de implementación se van a justificar para tener una mejor comprensión del código desarrollado. Diagramas de secuencia ayudarán en estas explicaciones. Una vez que toda la plataforma haya quedad debidamente definida y desarrollada, se va a realizar una demostración de la misma: se demostrará cómo los objetivos generales han sido alcanzados con el desarrollo actual del proyecto. No obstante, algunos requisitos han sido aclarados para que la plataforma trabaje adecuadamente. Como la intención del proyecto es crecer (no es una versión final), algunas ideas que se han podido llevar acabo han quedado descritas de manera que no se pierdan. Por último, algunos anexos que contienen información importante acerca de la plataforma se han añadido tras la correspondiente explicación de su utilidad, así como una guía de instalación que va a permitir a un nuevo desarrollador tener el proyecto preparado. Junto a este documento, ficheros conteniendo el proyecto desarrollado quedan adjuntos. Estos ficheros son: - Documentación Javadoc. Contiene la información de las clases Java que han sido creadas. - database_model.mwb. Este fichero contiene el modelo de la base de datos para MySQL Workbench. Esto permite, entre otras cosas, generar el script de iniciación de la base de datos para la creación de las tablas. - ScheduleManager.war. El fichero WAR que permite desplegar la plataforma en un servidor Apache Tomcat. - ScheduleManager.zip. El código fuente exportado directamente del proyecto de Netbeans. Contiene todos los paquetes de Java generados, ficheros JSPs, Javascript y CSS que forman parte de la plataforma. - config.properties. Ejemplo del fichero de configuración que permite obtener los nombres de la base de datos - db_init_script.sql. Las consultas SQL necesarias para la creación de la base de datos.

Actividades de gamificación para educación

El objetivo de este trabajo es el de desarrollar un módulo de actividades para la asignatura Procesadores de Lenguajes impartida en la Escuela Técnica Superior de Ingenieros Informáticos (ETSIInf) de la Universidad Politécnica de Madrid (UPM). Este módulo forma parte de una plataforma más grande que pretende mejorar la experiencia de los alumnos y su rendimiento en la asignatura utilizando técnicas de gamificación. Para ello se ha partido de una versión anterior no funcional y se ha aplicado un ciclo de desarrollo completo. Utilizando las recomendaciones de requisitos de IEEE y el lenguaje de modelado IFML se realizó un nuevo diseño que luego fue implementado utilizando HTML, CSS y PHP. Tras completar la implementación se realizaron una serie de pruebas y se obtuvo una versión funcional lista para utilizarse. Se espera que este módulo se convierta en una herramienta que ayuda a en la consecución del objetivo que esta plataforma de gamificación se ha propuesto alcanzar.---ABSTRACT---The objective of this work is to develop an activities module for the subject Procesadores de Lenguajes taught in the Escuela Técnica Superior de Ingenieros Informáticos (ETSIInf) of the Universidad Politécnica de Madrid (UPM). This module is part of a larger platform whose goal is to improve the students’ experience and, performance in the course using gamification techniques. A full development cycle has been applied starting from a previous nonfunctional version. Using the IEEE’s requirements recommendations and the IFML modeling language a new design was made. Then, it was coded using HTML, CSS and PHP. After completing the implementation a series of tests were carried out. At the end of the process a working version ready to be used was obtained. It is expected that this module will become a tool to help in achieving the objective of the gamification platform.

Band manager - Ett Content Management System för musikbranchaktörer

Summit Music Management är ett managementföretag som arbetar med en rad svenska artister. I deras arbetsuppgifter ingår även hantering av artisternas webbplatser, ett arbete som visat sig vara säkerhetskänsligt och svårt att få klart. Målet med projektet har varit att utveckla ett Content Management System för aktörer inom musikbranschen, vars syfte det är att förenkla det dagliga arbetet av dessa webbplatser. Systemet ska innehålla funktionalitet som gör det möjligt att skapa webbplatser åt artisterna samtidigt som det ska gå att underhålla och uppdatera textmaterial såväl som bilder som finns på webbplatserna. Systemet har skapats med tekniker, språk och ramverk som finns tillgängliga under fria licensavtal. Systemets grund är skapat med PHP-ramverket Laravel tillsammans med HTML, CSS och Twitter Bootstrap. Denna del fungerar som gränssnitt för administratörer där användaren kan logga in och skapa webbplatser. De webb-platser som skapas av systemet är skrivna i AngularJS tillsammans med HTML, CSS och Twitter Bootstrap. Mellan dessa delar finns ett REST-api skrivet i Laravel som sköter kommunikationen mellan komponenterna. Systemet arbetar mot en MySQL-databas där all data lagras och hämtas ifrån. Summit Music Management har förutom att leverera text- och bildmaterial, även fungerat somtestpanel för att kunna mäta systemets användbarhet. Testerna visade att systemet kan möta de behov som finns hos Summit Music Management men att det kan komma att behöva vidareutvecklas för att bättre passa en större kundgrupp och för att strama åt säkerhetsaspekterna ytterligare.

Relatório de Projeto de Licanciatura

Aplicação Web pode-se dizer que é uma aplicação que responde a pedidos do utilizador através de um Browser. As aplicações web orientados a objetos hoje em dia têm cada vez mais espaços nas empresas. A redução dos custos de operacionalidade e a gestão das informações, depende da visão e missão das empresas n desenvolvimento das aplicações web, enquanto uma aplicação desktop precisaria de outros meios para a sua manutenção e com maiores custos. A facilidade do acesso principalmente na ASA em que os nossos servidores estão espalhados pelos aeroportos internacionais em Cabo Verde, sem a necessidade de ser instalada num computador sendo o acesso feito apenas através do Browser. Há uma grande vantagem na atualização que só deve ser feita no servidor em vez de máquina a maquina, também como a sua escalabilidade. A aplicação escolhida para desenvolvimento vai ajudar na gestão da frota das viaturas do corpo de Bombeiros do Aeroporto Internacional Cesária Évora, designada de GestFrota, com programação em PHP, HTML, CSS, JQuery e SQL. O trabalho permite o preenchimento diário de check-list dos equipamentos, o registo das viaturas e a gestão de extintores entre outros.

Jogo Oril para a Plataforma Facebook

O Presente trabalho consiste no desenvolvimento de um jogo de origem africana para a plataforma web voltado a este novo segmento, apresentando todas as etapas importantes da composição de um jogo social. Utilizando linguagem de programação como HTML5, Javascript e CSS, foi desenvolvido um jogo de Oril. O caráter social do jogo se deu na integração da aplicação com a rede social Facebook. Utilizando as ferramentas disponibilizadas pela plataforma Facebook Developers, foi possível fazer com que o jogo fosse carregado dentro da própria página do Facebook, para que os arquivos fossem carregados foi necessário um servidor hospedeiro com suporte ao protocolo HTTPS, devido as rígidas exigências da política de segurança do Facebook.

Relatório de estágio na Ameise Editora LDA.

O presente relatório propõe-se a expor todo o meu trabalho desenvolvido durante o período do estágio curricular na Ameise Editora desde agosto de 2014 até fevereiro de 2015. No mesmo encontra-se uma breve história da editora, um enquadramento do trabalho que desenvolvi e como este se relacionou com as unidades curriculares.

Using SVG as the Rendering Model for Structured and Graphically Complex Web Material

This paper reports some experiments in using SVG (Scalable Vector Graphics), rather than the browser default of (X)HTML/CSS, as a potential Web-based rendering technology, in an attempt to create an approach that integrates the structural and display aspects of a Web document in a single XML-compliant envelope. Although the syntax of SVG is XML based, the semantics of the primitive graphic operations more closely resemble those of page description languages such as PostScript or PDF. The principal usage of SVG, so far, is for inserting complex graphic material into Web pages that are predominantly controlled via (X)HTML and CSS. The conversion of structured and unstructured PDF into SVG is discussed. It is found that unstructured PDF converts into pages of SVG with few problems, but difficulties arise when one attempts to map the structural components of a Tagged PDF into an XML skeleton underlying the corresponding SVG. These difficulties are not fundamentally syntactic; they arise largely because browsers are innately bound to (X)HTML/CSS as their default rendering model. Some suggestions are made for ways in which SVG could be more totally integrated into browser functionality, with the possibility that future browsers might be able to use SVG as their default rendering paradigm.

Plataforma para gestão processual de processos de insolvência e leilões

O presente relatório enquadra e descreve o trabalho de análise, reestruturação e implementação de novas funcionalidades na plataforma de gestão de processos judiciais, usada pela empresa Lusoparticipações Avalibérica S.A. (AVALIBÉRICA)1 como apoio ao seu modelo de negócio. Inserida no Mestrado em Engenharia Informática - Computação Móvel, a proposta da AVALIBÉRICA contempla a avaliação do sistema em uso e a criação de novos módulos, melhoramento das funcionalidades de gestão processual e de vendas, dotando-a de funcionalidades de gestão documental e expansão a dispositivos móveis. O sistema desenvolvido à medida para a AVALIBÉRICA permite aos colaboradores da empresa a gestão diária dos processos de insolvência, possibilitando o registo de toda a atividade desenvolvida, a inventariação dos respetivos bens, geração de documentação associada e gestão de vendas. Permite também a gestão de conteúdos do website da empresa e a criação, e execução, de leilões eletrónicos. No decorrer do estágio, a evolução deste sistema deu origem à Plataforma de Gestão de Processos (PGESPRO), composta por um conjunto de aplicações que oferecem funcionalidades de gestão de processos e administração, API de acesso a aplicações móveis, submissão de propostas/licitações online, módulo de manutenção e tarefas de execução assíncrona. O projeto foi abordado com a intenção de manter o sistema existente, integrando as funcionalidades desenvolvidas em módulos adicionais; assim, foi inicialmente mantida a mesma pilha de tecnologias e a arquitetura WEB, cliente-servidor, suportada no cliente por HTML/CSS e JS, e no servidor por PHP. No entanto, após a avaliação inicial, foi decidida a substituição gradual através de reimplementação faseada das funcionalidades, bem como a substituição de tecnologias onde se verifiquem vantagens óbvias de performance e/ou capacidades. Dadas as características do projeto e da área em que o mesmo se insere, a plataforma desenvolvida será alvo de constante evolução, quer por imposições externas à AVALIBÉRICA, como por alterações aos procedimentos e modelos de negócio da empresa. No entanto, os objetivos propostos foram atingidos, com a empresa a utilizar ativamente a plataforma desenvolvida e encontrando-se os vários projetos que surgiram durante o desenvolvimento em fase final de testes, ou já em utilização por grupos piloto.

Política Nacional de Saúde Integral Lésbicas, Gays, Bissexuais, Travestis e Transexuais

O módulo Política Nacional de Saúde Integral LGBT foi organizado de forma a contribuir com os profissionais de saúde, notadamente os trabalhadores do SUS, para que realizem suas ações de cuidado, promoção e prevenção, com qualidade, de forma equânime, garantindo à população LGBT acesso à saúde integral. O curso é um dos módulos desenvolvidos pela UNA-SUS UERJ que integram o Programa de Valorização da Atenção Básica (PROVAB) e se divide em 03 unidades cujas áreas temáticas são: Gênero e sexualidade; O estudo da Política LGBT e seus marcos; Realizando o acolhimento e o cuidado à População LGBT. Este recurso é referente a 2ª oferta do módulo pela UERJ.

Wireless triple play system

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e Computadores

Wave4IOPT - editor e visualizador web de formas de onda – aplicação a controladores digitais especificados com modelos de Redes de Petri IOPT

Este trabalho tem o objectivo de criar um Editor e Visualizador Web de Formas de Onda para controladores digitais especificados com modelos Redes de Petri Input-Output Place-Transition (IOPT). Após uma análise das ferramentas existentes e constatando-se a inexistência de uma ferramenta adequada a essa função, desenvolveu-se uma ferramenta denominada Wave4IOPT, que permite a visualização das formas de onda de sinais e eventos de entrada e de saída ao longo do tempo. A ferramenta permite também a visualização dos resultados do histórico de uma simulação de uma Rede de Petri IOPT, proveniente do Simulador das IOPT-Tools. Esta ferramenta incorpora funcionalidades de edição, modos de visualização e um módulo básico de identificação e correcção de erros dos valores das formas de onda. O Wave4IOPT está disponível a partir de um browser e prevê-se que venha a estar integrado no ambiente de ferramentas IOPT-Tools. Esta ferramenta foi construída utilizando tecnologias Web como HTML, JavaScript, CSS, SVG e JSON. Adicionalmente, o Wave4IOPT poderá também servir para a edição, visualização e análise de outros tipos de sinais digitais, desde que sejam preenchidos os requisitos da estrutura do ficheiro JSON que será lido pela ferramenta.

EUROMODUL Gestión

Aplicación que proporciona herramientas de control de las operaciones diarias a una empresa concreta. Las funciones más destacables son: Gestión de proveedores y facturas. Gestión de presupuestos y estado de las obras. Control de clientes. Control de tareas de los operarios autónomos. Se ha diseñado una arquitectura en la que conviven varias tecnologías y varios lenguajes de codificación y programación: HTML, PHP, MySQL, JavaScript, AJAX, JQUERY y CSS.