Modelação numérica de entrada em ponte ferroviária

O crescente interesse pelo transporte ferroviário de alta-velocidade como transporte de médio curso obriga ao estudo do comportamento de vias-férreas para cumprir requisitos funcionais. As zonas de transição são um dos locais problemáticos que requerem um estudo aprofundado, onde a modelação numérica surge como uma poderosa ferramenta de análise. Neste trabalho é analisado o comportamento de um modelo numérico bidimensional de uma entrada numa ponte ferroviária situada sobre o Rio Sado e que faz parte da variante de Alcácer do Sal. Trata-se de um modelo numérico bidimensional de elementos lineares elásticos com uma execução mais rápida em relação a outros modelos. A resposta deste modelo é comparada com resultados de um modelo numérico tridimensional validado na mesma transição. Para atingir resultados fiáveis, o modelo bidimensional foi alvo de uma parametrização precisa que consistiu num processo de calibração com o modelo tridimensional referido anteriormente. As curvas de receptância da via foram o principal meio de calibração entre os dois modelos. Deste modo, realizou-se um estudo paramétrico de ambos os modelos para avaliar a influência de diversos parâmetros no cálculo de curvas de receptância. Analisou-se, também, o comportamento deste modelo para diferentes velocidades de circulação do veículo. Dentro deste campo foi dado especial atenção ao fenómeno da velocidade crítica de um veículo num solo flexível.

Refinement and variability techniques in model transformation of software requirements

Tese de Doutoramento em Tecnologias e Sistemas de Informação

Vestuário interactivo para desporto e reabilitação

Dissertação de mestrado em Design e Marketing

Urbanismo participativo e resiliência das comunidades: especificação de uma aplicação

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Informática em enfermagem: desenvolvimento de software livre com aplicação assistencial e gerencial

O presente estudo teve como objetivo desenvolver um sistema de informação em enfermagem com aplicação na assistência de enfermagem e no gerenciamento do serviço. O SisEnf - Sistema de Informação em Enfermagem - é um software livre composto pelo módulo assistencial de enfermagem: histórico, exame clínico e plano de cuidados; o módulo gerencial compõe-se de: escala de serviço, gestão de pessoal, indicadores hospitalares e outros elementos. O sistema foi implementado na Clínica Médica do Hospital Universitário Lauro Wanderley, da Universidade Federal da Paraíba. Tendo em vista a necessidade de aproximação entre usuário e desenvolvedor, e a constante mudança de requisitos funcionais durante o processo iterativo, foi adotado o método do processo unificado. O SisEnf foi desenvolvido sobre plataforma WEB e com emprego de software livre. Portanto, o trabalho desenvolvido procurou auxiliar o processo de trabalho da enfermagem que agora terá oportunidade de incorporar a tecnologia da informação na sua rotina de trabalho.

Sistema de gestão para uma clínica dentária

Os sistemas de gestão tornaram-se um dos principais componentes dos sistemas de informação das empresas. Levando em consideração a importância de as empresas terem um sistema de gestão da informação, este projecto apresenta um protótipo de um sistema para uma clínica odontológica. O projecto foi realizado seguindo a metodologia de engenharia de software. Para o desenvolvimento do protótipo no padrão de sistemas web, foram utilizadas as linguagens de programação Html, PHP e Java, banco de dados MySQL, UML para a modelação do sistema e Joomla para a gestão de conteúdos. Na análise do sistema foram identificados os requisitos funcionais e os requisitos não funcionais, foram desenvolvidos os casos de usos necessários, os diagramas de casos de uso, diagramas de sequência e de classes. Este sistema deve ser capaz de garantir a segurança dos dados, atendimento de qualidade aos pacientes, reduzir custos operacionais e melhorar a qualidade de funcionamento, proporcionando assim ao profissional da área maior controlo sobre suas actividades.

Sistemas de Informação WEB para gestão de stock

Este projecto consiste no desenvolvimento de um Sistema de Informação Web para Gestão de Stock e que funciona também em um ambiente sem internet. O mesmo faz a entrada de stock, venda, devolução de clientes, lança os produtos deteriorados, no fim de cada dia faz o fecho de caixa, resumo de vendas, resumo das entradas de stock, resumo dos produtos deteriorados, resumo de fecho de caixa, inventário, registo de funcionário, registo de fornecedor, registo de artigo, backup periodicamente e disponibilizando ao gerente informações rápidas sobre seu stock e estatísticas de vendas. Com o sistema em funcionamento pretende-se garantir transações rápidas e eficientes entre funcionários, clientes e o gerente. È muito importante dizer que o sistema tem um funcionamento muito simples e foi implementado a pensar nas micro e pequenas empresas, visto que é um sector que se encontra em pleno desenvolvimento em Cabo Verde e que nos dias de hoje é obrigatório ter um software de gestão para que o Ministério das Finanças possa ter maior controlo sobre os resultados das empresas. Para o desenvolvimento do sistema (Simple Gest), utilizei um servidor web (Apache), servidor de base de dados (MySQL), interpretadores para linguagem de script PHP fornecidos através da ferramenta XAMPP (servidor independente de plataforma), a linguagem de programação PHP para fazer a conecção entre o sistema e a base de dados, HTML para criar e apresentar as páginas na web, CSS para dar estilo as páginas através de um browser e UML para a modelação dos dados. Na análise do sistema foram identificados os requisitos funcionais e os requisitos não funcionais, foram desenvolvidos os casos de usos necessários, os diagramas de casos de uso, diagramas de sequência e o modelo entidade-relacionamento para demonstrar o fluxo de dados.

Recuperação com base em Checkpointing : uma abordagem orientada a objetos

Independentemente do modelo de programação adotado, no projeto e implementação de aplicações de alta disponibilidade, faz-se necessário usar procedimentos de tolerância a falhas. Dentre as atividades que trazem consigo interesse de pesquisa na área de Tolerância a Falhas, estão os mecanismos de recuperação em um sistema computacional. Do ponto de vista prático, estes mecanismos buscam manter próximo do mínimo o tempo total de execução de aplicações computacionais de longa duração, ao mesmo tempo em que as preparam para não sofrerem perdas significativas de desempenho, em caso de falhas. Paralelamente à evolução dos sistemas computacionais, foi possível observar também a evolução das linguagens de programação, principalmente as que utilizam o paradigma orientado a objetos. O advento da área de tolerância a falhas na orientação a objetos resultou em novos problemas na atividade de recuperação quanto aos mecanismos de salvamento de estados e retomada da execução, principalmente no que se refere às dificuldades de gerenciamento e controle sobre a alocação de objetos. Entretanto, observa-se que a complexidade de implementação dos mecanismos de recuperação, por parte dos programadores, exige deles conhecimentos mais especializados para o salvamento dos estados da aplicação e para a retomada da execução. Portanto, a simplificação do trabalho do programador, através do uso de uma biblioteca de checkpointing que implemente os mecanismos de salvamento de estados e recuperação é o ponto focal deste trabalho. Diante do contexto exposto, nesta dissertação, são definidas e implementadas as classes de uma biblioteca que provê mecanismos de checkpointing e recuperação. Esta biblioteca, denominada de Libcjp, visa aprimorar o processo de recuperação de aplicações orientadas a objetos escritas na linguagem de programação Java. Esta linguagem foi escolhida para implementação devido à presença dos recursos de persistência e serialização. Para a concepção do trabalho, são considerados ambos os cenários no paradigma orientado a objetos: objetos centralizados e distribuídos. São utilizados os recursos da API de serialização Java e a tecnologia Java RMI para objetos distribuídos. Conclui-se o trabalho com a ilustração de casos de uso através de diversos exemplos desenvolvidos a partir de seus algoritmos originais inicialmente, e incrementados posteriormente com os mecanismos de checkpointing e recuperação. Os componentes desenvolvidos foram testados quanto ao cumprimento dos seus requisitos funcionais. Adicionalmente, foi realizada uma análise preliminar sobre a influência das ações de checkpointing nas características de desempenho das aplicações.

Definição de classes para comunicação Unicast e Multicast

No projeto de arquiteturas computacionais, a partir da evolução do modelo cliente-servidor, surgiram os sistemas distribuídos com a finalidade de oferecer características tais como: disponibilidade, distribuição, compartilhamento de recursos e tolerância a falhas. Estas características, entretanto, não são obtidas de forma simples. As aplicações distribuídas e as aplicações centralizadas possuem requisitos funcionais distintos; aplicações distribuídas são mais difíceis quanto ao projeto e implementação. A complexidade de implementação é decorrente principalmente da dificuldade de tratamento e de gerência dos mecanismos de comunicação, exigindo equipe de programadores experientes. Assim, tem sido realizada muita pesquisa para obter mecanismos que facilitem a programação de aplicações distribuídas. Observa-se que, em aplicações distribuídas reais, mecanismos de tolerância a falhas constituem-se em uma necessidade. Neste contexto, a comunicação confiável constitui-se em um dos blocos básicos de construção. Paralelamente à evolução tanto dos sistemas distribuídos como da área de tolerância a falhas, foi possível observar também a evolução das linguagens de programação. O sucesso do paradigma de orientação a objetos deve-se, provavelmente, à habilidade em modelar o domínio da aplicação ao invés da arquitetura da máquina em questão (enfoque imperativo) ou mapear conceitos matemáticos (conforme o enfoque funcional). Pesquisadores demonstraram que a orientação a objetos apresenta-se como um modelo atraente ao desenvolvimento de aplicações distribuídas modulares e tolerantes a falhas. Diante do contexto exposto, duas constatações estimularam basicamente a definição desta dissertação: a necessidade latente de mecanismos que facilitem a programação de aplicações distribuídas tolerantes a falhas; e o fato de que a orientação a objetos tem-se mostrado um modelo promissor ao desenvolvimento deste tipo de aplicação. Desta forma, nesta dissertação definem-se classes para a comunicação do tipo unicast e multicast, nas modalidades de envio confiável e não-confiável. Além destes serviços de comunicação básicos, foram desenvolvidas classes que permitem referenciar os participantes da comunicação através de nomes. As classes estão organizadas na forma de um pacote, compondo um framework. Sua implementação foi desenvolvida usando Java. Embora não tivessem sido requisitos básicos, as opções de projeto visaram assegurar resultados aceitáveis de desempenho e possibilidade de reuso das classes. Foram implementados pequenos trechos de código utilizando e testando a funcionalidade de cada uma das classes de comunicação propostas.

Extensão de um modelo OO formal com aspectos temporais

Na área de Engenharia de Software, há vários modelos formais de especificação orientado a objetos (OO). Um destes é o OO-Method / OASIS. OO-Method se baseia nos seguintes princípios: - dar suporte às noções do modelo conceitual orientado a objetos; - integrar os modelos formais com metodologias de aceitação industrial; - possibilitar a produção de software avançado que inclua a geração completa de código (estática e dinâmica) do desenvolvimento comercial. O processo de desenvolvimento consiste em levantar as propriedades principais do sistema em desenvolvimento (modelo conceitual) por parte do engenheiro de software, e construir de forma automática, em qualquer momento (por um processo de conversão gráfico-textual) a especificação formal orientada a objetos em OASIS (Open and Active Specifications of Information System) que constituirá um repositório de alto nível do sistema. O objetivo de OASIS é expressar os requisitos funcionais de um sistema de informação, em um marco formal, que facilite sua validação e geração automática de programas. OASIS não inclui a especificação de aspectos temporais. A modelagem de aspectos temporais é um importante tópico da modelagem de sistemas de informação, porque através destes são representadas as características dinâmicas das aplicações e a interação temporal entre diferentes processos. A especificação de requisitos de aplicações através de modelos orientados a objetos permite representar não só os seus estados, mas também, seu comportamento. Modelos temporais representam também a evolução de objetos com o tempo. Como o estado de um objeto pode ser alterado devido à ocorrência de um evento (fato ocorrido em um determinado instante no tempo), é importante que o modelo utilizado permita apresentar a história destes eventos. O presente trabalho tem por finalidade propor uma extensão temporal a um modelo formal de especificação OO. Esta extensão inclui tanto aspectos estáticos quanto dinâmicos. A extensão de aspectos estáticos estende OASIS com atributos temporais. A extensão dos aspectos dinâmicos, contribuição central do trabalho, estende OASIS com eventos temporais.

Estratégia de migração de aplicações legadas visuais (tipo WIMP) para o ambiente Web

O sucesso da Internet como plataforma de distribuição de sistemas de informação encoraja organizações a disponibilizar serviços presentes em seus sistemas legados nesse ambiente. Uma parte desses sistemas foi desenvolvida na fase inicial do desenvolvimento das aplicações cliente/servidor para banco de dados, usando ambientes visuais com interfaces gráficas tipo WIMP, implementadas sob o paradigma procedimental/estruturado, baseado em objetos e eventos. Como conseqüência, produziu-se sistemas legados difíceis de manter, evoluir e adaptar a novas tecnologias e arquiteturas, pois os projetos desenvolvidos não seguiam, na maioria das vezes, os bons preceitos e práticas modernas defendidas na Engenharia de Software. O objetivo deste trabalho é propor uma metodologia para migrar sistemas legados com as características citadas acima para a plataforma Web. O processo de migração proposto destaca duas estratégias: a elaboração de modelos de classes conceituais da aplicação e o tratamento dado à interface do usuário, para serem utilizados na reconstrução de uma nova aplicação. O processo é baseado em técnicas e métodos de engenharia reversa, que visa obter abstrações por meio de análise estática e dinâmica da aplicação. Na análise dinâmica, destaca-se o mecanismo para recuperar aspectos dos requisitos funcionais do sistema legado e representá-los na ferramenta denominada UC/Re (Use Case para Reengenharia). Todos os artefatos gerados durante o processo podem ser armazenados em um repositório, representando os metamodelos construídos na metodologia. Para delimitar e exemplificar o processo, escolheu-se como domínio de linguagem de programação do software legado, o ambiente Delphi (sob a linguagem Object Pascal). É proposto também um ambiente CASE, no qual é descrito o funcionamento de um protótipo que automatiza grande parte das funcionalidades discutidas nas etapas do processo. Algumas ferramentas desenvolvidas por terceiros são empregadas na redocumentação do sistema legado e na elaboração dos modelos UML do novo sistema. Um estudo de caso, apresentando uma funcionalidade específica de um sistema desenvolvido em Delphi, no paradigma procedimental, é usado para demonstrar o protótipo e serve de exemplo para a validação do processo. Como resultado do processo usando o protótipo, obtém-se o modelo de classes conceituais da nova aplicação no formato XMI (formato padrão para exportação de modelos UML), e gabaritos de páginas em HTML, representando os componentes visuais da interface original na plataforma Web.

ProTool : uma ferramenta de prototipação de software para o ambiente PROSOFT

Dentre as principais áreas que constituem a Ciência da Computação, uma das que mais influenciam o mundo atual é a Engenharia de Software, envolvida nos aspectos científicos e tecnológicos do desenvolvimento de software. No desenvolvimento de software, a fase de especificação dos requisitos é uma das mais importantes, visto que erros não detectados nesta são propagados para as fases posteriores. Quanto mais avançado estiver o desenvolvimento, mais caro custa reparar um erro introduzido nas fases iniciais, pois isto envolve reconsiderar vários estágios do desenvolvimento. A prototipação permite que os requisitos do software sejam validados logo no início do desenvolvimento, evitando assim a propagação de erros. Paralelamente, a utilização de métodos formais visa revelar inconsistências, ambigüidades e falhas na especificação do software, que podem caso contrário, não serem detectadas. Usar a prototipação de software juntamente com uma notação formal enfatiza a especificação do problema e expõe o usuário a um sistema “operante” o mais rápido possível, de modo que usuários e desenvolvedores possam executar e validar as especificações dos requisitos funcionais. O objetivo principal deste trabalho é instanciar uma técnica da área de Prototipação de Software que capacite o engenheiro de software gerar automaticamente protótipos executáveis a partir de especificações formais de tipos abstratos de dados, na notação PROSOFT-algébrico, visando a validação dos requisitos funcionais logo no início do desenvolvimento do software. Para tanto foi proposto um mapeamento da linguagem PROSOFT-algébrico para OBJ. Como OBJ possui um eficiente sistema de reescrita de termos implementado, a utilização deste propicia a prototipação de tipos abstratos de dados, especificados em PROSOFT-algébrico. Os componentes envolvidos na definição deste trabalho, assim como o mapeamento entre as linguagens, foram especificados algebricamente e implementados no ambiente de desenvolvimento de software PROSOFT. A implementação serviu para validar o mapeamento proposto através de dois estudos de caso. Por fim, são apresentadas as conclusões alcançadas e as atividades adicionais vislumbradas a partir do trabalho proposto.

Abordagem baseada em objetivos para construção de casos de uso e cenários

Para o desenvolvimento de sistemas interativos que respeitem critérios de usabilidade em adição aos critérios de qualidade convencionais, é necessário que, desde suas primeiras etapas, as áreas de Engenharia de Software (ES) e de Interação Humano- Computador (IHC) sejam consideradas, simultaneamente e de maneira integrada. Essas duas áreas investigam modelos, conceitos, técnicas e práticas que refletem diferentes perspectivas sobre a atividade de desenvolvimento, uma orientada mais ao sistema (ES) e outra, mais ao usuário (IHC). Para conciliar estas perspectivas, é necessário o estabelecimento de um entendimento mútuo e a utilização conjunta e integrada de conceitos, técnicas e práticas de desenvolvimento de ambas as áreas. Este trabalho visa mostrar as possibilidades desta integração, através da combinação dos conceitos de Casos de Uso (Use Cases) e Cenários (Scenarios), importantes técnicas de modelagem amplamente utilizadas respectivamente nas áreas de ES e IHC, em diferentes contextos, com diferentes visões; mas apresentando similaridades valiosas para propiciarem o uso complementar de ambas as técnicas. Para sistematizar esta integração, é proposta uma abordagem teleológica – baseada em objetivos – de construção sistemática de casos de uso com quatro diferentes níveis de abstração, desde os mais abstratos casos de uso essenciais até os cenários, aqui utilizados como instâncias concretas de casos de uso. Com esta abordagem, pretende-se construir um modelo de casos de uso que permita especificar requisitos funcionais, conjuntamente com requisitos de interação, de maneira compreensível e praticável e que sirva como ponto de partida à continuidade do desenvolvimento orientado a objetos de software. Com o intuito de exemplificar a proposta, é descrita e discutida a aplicação passo a passo desta abordagem a um exemplo.

FRIDA: um método para elicitação e modelagem de RNFs

Os requisitos direcionam o desenvolvimento de software porque são cruciais para a sua qualidade. Como conseqüência tanto requisitos funcionais quanto não funcionais devem ser identificados o mais cedo possível e sua elicitação deve ser precisa e completa. Os requisitos funcionais exercem um papel importante uma vez que expressam os serviços esperados pela aplicação. Por outro lado, os requisitos não funcionais estão relacionados com as restrições e propriedades aplicadas ao software. Este trabalho descreve como identificar requisitos não funcionais e seu mapeamento para aspectos. O desenvolvimento de software orientado a aspectos é apontado como a solução para os problemas envolvidos na elicitação e modelagem dos requisitos não funcionais. No modelo orientado a aspectos, o aspecto é considerado o elemento de primeira ordem, onde o software pode ser modelado com classes e aspectos. As classes são comumente usadas para modelar e implementar os requisitos funcionais, já os aspectos são adotados para a modelagem e implementação dos requisitos não funcionais. Desse modo, é proposta a modelagem dos requisitos não funcionais através das fases do ciclo de vida do software, desde as primeiras etapas do processo de desenvolvimento. Este trabalho apresenta o método chamado FRIDA – From RequIrements to Design using Aspects, cujo objetivo é determinar uma forma sistemática para elicitar e modelar tanto os requisitos funcionais quanto os não funcionais, desde as fases iniciais do ciclo de desenvolvimento. Em FRIDA, a elicitação dos requisitos não funcionais é realizada usando-se checklists e léxicos, os quais auxiliam o desenvolvedor a descobrir os aspectos globais – utilizados por toda a aplicação – bem como, os aspectos parciais que podem ser empregados somente a algumas partes da aplicação. O próximo passo consiste na identificação dos possíveis conflitos gerados entre aspectos e como resolvê-los. No método FRIDA, a identificação e resolução de conflitos é tão importante quanto a elicitação de requisitos não funcionais, nas primeiras fases do ciclo de vida do software. Além disso, é descrito como usar a matriz de conflitos para automatizar esse processo sempre que possível. A extração dos aspectos e sua modelagem visual são características muito importantes, suportadas pelo método, porque elas possibilitam a criação de modelos que podem ser reutilizados no futuro. Em FRIDA, é demonstrado como transformar os requisitos em elementos da fase de projeto (classes e aspectos) e como traduzir esses elementos em código. Outra característica do método FRIDA é que a conexão entre diagramas, que pertencem a diferentes fases do processo de desenvolvimento do software, permite um alto nível de rastreabilidade. Em resumo, FRIDA requer que o desenvolvedor migre de uma visão puramente funcional para outra que contemple também os requisitos não funcionais.

A modernização da administração publica brasileira no contexto do estado

Esta monografia procura contribuir para a sustentação da proposição segundo a qual uma das condições de efetividade da modernização da administração brasileira reside no seu caráter associativo entre racionalidade política e racionalidade administrativa dos sistemas burocráticos estatais. Conforme este argumento, os processos e iniciativas de modernização da administração pública brasileira não podem, sob pena de tomarem-se disfuncionais, concentrar-se em medidas que VIsam a aumentar exclusivamente a racionalidade funcional do sistema administrativo estatal, restritas à aspectos instrumentais. Isto porque o estado, cuja natureza é essencialmente política, requer, para legitimar-se mediante a formulação e implementação de políticas públicas efetivas, uma estrutura administrativa permeável e integrada ao sistema político, ao qual cabe, pela prática democrática, a enunciação dos valores sociais da busca do bem estar. Há uma dialética na modernização político-administrativa do estado segundo a qual o incremento da racionalidade política da burocracia não decorre apenas da modernização política do País, mas depende essencialmente de atributos inerentes ao sistema burocrático. Esta proposição parte do delineamento de um quadro problematizante relativamente aos desafios do estado social contemporâneo, centrado no que se convencionou chamar de crise do estado e crise da administração pública. O delineamento deste quadro parte da elaboração das seguintes assertivas: a legitimidade do estado social, decorrente da efetividade de suas ações, é intimamente dependente da administração pública; a crise do estado se coloca essencialmente como uma crise de eficiência e efetividade do estado, não apenas de seu aparelho; e o equacionamento da crise do estado requer o enunciamento de seus requisitos funcionais enquanto ator social, promotor de transformações. O que se convencionou chamar de crise da administração pública, reporta-se à incapacidade político-administrativa ~ o estado em deliberar e, efetivamente, implementar aquilo que seja definido como certo para o bem-estar dos cidadãos. Em síntese, argumenta-se que a crise da administração pública não é uma crise puramente administrativa; e sua superação está condicionada ao incremento da racionalidade política e administrativa do estado de uma maneira integrada.