{"title":"Um Sistema de Padrões para Software Criptográfico Orientado a Objetos","authors":"A. M. Braga, C. M. F. Rubira, Ricardo Dahab","doi":"10.5753/sbes.1998.24026","DOIUrl":"https://doi.org/10.5753/sbes.1998.24026","url":null,"abstract":"Neste trabalho, um sistema de padrões [BMR+96] para software criptográfico orientado a objetos é proposto. Neste sistema, os aspectos da arquitetura de software criptográfico são abordados como microarquiteturas [GHJV93] interrelacionadas. Quatro padrões são classificados de acordo com os objetivos fundamentais da criptografia [Mv0V96](ver Apêndice A). Os padrões são: Sigilo da Informação, Integridade da Mensagem, Autenticação da Mensagem e Autenticação do Remetente. Outros quatro padrões são obtidos a partir de combinações dos anteriores: Sigilo com Autenticação, Sigilo com Integridade, Sigilo com Assinatura e Assinatura com Apêndice. Os oito padrões criptográficos possuem estrutura e dinâmica comuns e, por isso, podem ser representados por um padrão mais genérico, chamado Metapadrão Criptográfico. Os oito padrões e o Mctapadrão Criptográfico podem ser dispostos como vértices de um grafo direcionado acíclico no qual um percurso documenta uma sequência de decisões de projeto.","PeriodicalId":201403,"journal":{"name":"Anais do XII Simpósio Brasileiro de Engenharia de Software (SBES 1998)","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125966488","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Luiz Paulo Alves Franca, A. V. Staa, Carlos J. P. Lucena
{"title":"Medição de Software para Pequenas Empresas: Uma Solução Baseada na Web","authors":"Luiz Paulo Alves Franca, A. V. Staa, Carlos J. P. Lucena","doi":"10.5753/sbes.1998.24020","DOIUrl":"https://doi.org/10.5753/sbes.1998.24020","url":null,"abstract":"O uso de métricas está diretamente ligada à melhoria do processo de produção de software. Sistemas de medição devem ser flexíveis e facilmente adaptáveis às características de cada organização. Adicionalmente, no contexto de pequenas empresas de software, a medição tem que adaptar-se à escassez de recursos. Com o objetivo de produzir sistemas de medição evolutíveis e que atendam à realidade dinâmica de pequenas empresas, desenvolvemos um meta-sistema capaz de instanciar sistemas de medição adequados a cada organização. A geração dos sistemas é feita a partir do modelo genérico de medição armazenado num meta-ambiente de Engenharia de Software. Os sistemas de medição instanciados são aplicações baseadas na Web.","PeriodicalId":201403,"journal":{"name":"Anais do XII Simpósio Brasileiro de Engenharia de Software (SBES 1998)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130372658","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Um Sistema de Apoio ao Teste de Programas Orientados a Objetos com uma Abordagem Reflexiva","authors":"I. Pinto, A. M. Price","doi":"10.5753/sbes.1998.24021","DOIUrl":"https://doi.org/10.5753/sbes.1998.24021","url":null,"abstract":"O artigo descreve um protótipo de ferramenta de apoio ao teste de programas orientados a objetos, chamado ATeste, fundamentado no conceito de teste baseado em estado, com uma abordagem reflexiva, para auxiliar o teste de aplicações Smalltalk. O teste baseado em estado verifica as interações entre os objetos pela monitoração das mudanças que ocorrem em valores dos atributos. A abordagem reflexiva utilizada possibilita que mecanismos de análise de objetos possam ser associados à aplicação, através do uso de técnicas de reflexão computacional baseadas no conceito de gerenciadores de meta-objetos. Desta forma, a análise da aplicação não interfere nos aspectos comportamentais e estruturais dos objetos do domínio, permitindo a monitoração de objetos específicos selecionados pelo usuário, e apresentando como principal contribuição uma infra-estrutura para capturar informações, realizar verificações, e monitorar a execução das aplicações, de forma dinâmica, sem necessidade de alteração do código fonte, graças à composição de um conjunto de meta-objetos coordenados por um gerenciador.","PeriodicalId":201403,"journal":{"name":"Anais do XII Simpósio Brasileiro de Engenharia de Software (SBES 1998)","volume":"27 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131491049","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Parametrização de Componentes de Especificação com Preservação de Semântica","authors":"Anamaria Martins Moreira","doi":"10.5753/sbes.1998.24025","DOIUrl":"https://doi.org/10.5753/sbes.1998.24025","url":null,"abstract":"Para que um componente de um produto tenha maiores chances de ser reutilizável em um contexto diferente daquele para o qual ele foi criado ele deve ser \"suficientemente geral\". No caso de componentes de software, essa generalidade pode ser obtida por meios de parametrização, e podemos a esse respeito identificar 2 casos de figura: componentes altamente parametrizados concebidos com vistas a sua reutilização, e componentes específicos que se quer reutilizar a posteriori. É esse segundo caso que consideramos aqui: o que fazer para aumentar o potencial de reutilização de componentes desenvolvidos para uma aplicação específica. Com esse objetivo, propomos aqui as bases teóricas de uma ferramenta para a parametrização de componentes de software a partir de sua especificacao formal. A ideia subjacente é, dado um componente e um conjunto de propriedades semânticas satisfeitas por ele e que se quer preservar, encontrar um componente parametrizado do qual o componente original é uma instanciação possível e tal que possamos garantir que toda nova instanciação satisfará as propriedades citadas. A técnica utilizada é a generalização de provas, através da qual determinamos os requisitos mínimos a serem exigidos de possíveis parâmetros efetivos para que as propriedades em questão sejam preservadas. Finalmente, o contexto ao qual aplicamos essas ideias é o de especificações algébricas, utilizado na especilicação de componentes e cujo mecanismo de genericidade nos fornece um contexto ideal para esse trabalho.","PeriodicalId":201403,"journal":{"name":"Anais do XII Simpósio Brasileiro de Engenharia de Software (SBES 1998)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128923891","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Um Editor Diagramático para Desenvolvimento de Sistemas de Informação na Internet","authors":"Leandro Bento Pompermaier, R. T. Price","doi":"10.5753/sbes.1998.24032","DOIUrl":"https://doi.org/10.5753/sbes.1998.24032","url":null,"abstract":"Neste artigo é apresentado EDI, um Editor Diagramático na Internet, que suporta a especificação cooperativo de aplicações. Este editor utiliza tecnologia e funcionalidade dos hiperdocumentos. EDI possui características como: compartilhamento de informações, colaboração por vários autores para a realização de diversas tarefas, vários visões dos dados armazenados, entre outras. A implementação deste editor foi realizada na linguagem de programação Java e projetada de forma genérica para permitir o criação de editores de diversas notações.","PeriodicalId":201403,"journal":{"name":"Anais do XII Simpósio Brasileiro de Engenharia de Software (SBES 1998)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124118868","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Model-Checking Processes with States: An Industrial Case Study","authors":"A. Mota, A. Sampaio","doi":"10.5753/sbes.1998.24017","DOIUrl":"https://doi.org/10.5753/sbes.1998.24017","url":null,"abstract":"ln this paper we present a formal specification of part of the SACI-1 microsatellite on-board computer whose development is led by the Brazilian Space Research Institute (INPE). The specification is written in CSP-Z, a specification language that integrates CSP (which allows one to focus on the concurrent aspects of the application) and Z (for modeling the relevant data structures). We also describe a strategy for model-checking processes with states (developed by the authors) and its implementation using the FOR model-checker. Finally, using this tool, we carry out an automatic proof that the SACI-1 specification is deadlock-free.","PeriodicalId":201403,"journal":{"name":"Anais do XII Simpósio Brasileiro de Engenharia de Software (SBES 1998)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121149398","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Modularizando a Gerência de Configuração de Software","authors":"André Moura, F. Pinheiro","doi":"10.5753/sbes.1998.24030","DOIUrl":"https://doi.org/10.5753/sbes.1998.24030","url":null,"abstract":"Este artigo apresenta um modelo para gerência de configuração de software em termos de módulos de projeto. Módulos de projeto determinam um escopo para as atividades do desenvolvimento, os objetos por elas criados ou transformados e as ferramentas empregadas para esse fim. O modelo é adequado para evolução do software, integrando ações relativas ao controle de versões com ações gerenciais alusivas ao controle do processo. Ele permite associar os vários componentes com as fases do ciclo de vida e atividades do desenvolvimento. Possibilita também um controle mais detalhado da configuração e contextualização das várias decisões pertinentes a ela.","PeriodicalId":201403,"journal":{"name":"Anais do XII Simpósio Brasileiro de Engenharia de Software (SBES 1998)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123816110","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Specifying Dynamic Distributed Software Architectures","authors":"V. C. D. Paula, G. Justo, P. Cunha","doi":"10.5753/sbes.1998.24016","DOIUrl":"https://doi.org/10.5753/sbes.1998.24016","url":null,"abstract":"The concept of software architecture is important to the design of complex software systems, as it provides a model of the large scale structural properties of the system. lt is possible to find several formal models to depict static distributed software architecture. Nevertheless, notations for supporting architectural dynamism and evolution are still difficult to find in the literature. We present a formal framework to specify dynamic distributed applications to enable us to specify the dynamic behaviour of reconfigurable systems. This framework will help the designer to check the project suitability.","PeriodicalId":201403,"journal":{"name":"Anais do XII Simpósio Brasileiro de Engenharia de Software (SBES 1998)","volume":"101 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132278535","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Carla Alessa dra, G. D. Uma, Rodrigo Quites Reis, D. J. Nunes
{"title":"Gerenciamento do Processo de Desenvolvimento Cooperativo de Software no Ambiente PROSOFT","authors":"Carla Alessa dra, G. D. Uma, Rodrigo Quites Reis, D. J. Nunes","doi":"10.5753/sbes.1998.24029","DOIUrl":"https://doi.org/10.5753/sbes.1998.24029","url":null,"abstract":"A capacidade de gerenciar processos de desenvolvimento de software com envolvimento cooperativo dos desenvolvedores constitui um aspecto importante na construção de ambientes de desenvolvimento de software. Este artigo apresenta extensões ao ambiente PROSOFT para o desenvolvimento cooperativo e gerência de processos de software. O ambiente PROSOFT apóia a construção formal de ferramentas de software sob o paradigma algébrico, proporcionando sua integração ao ambiente. O gerenciador de processos e o PROSOFT Cooperativo são apresentados, enfatizando a coordenação de desenvolvedores, grupos de desenvolvedores e gerentes em um ambiente distribuído, bem como características de gerência de projetas, reutilização de processos de sofiware e gerência de versões de objetos cooperativos. A máquina de processos de software que compõe o gerenciador coordena processos modelados e instanciados permitindo modificação dinâmica dos mesmos, dentre outras características, e utiliza serviços fornecidos pelo componente PROSOFT Cooperativo. Através desta especificação, é possível visualizar de forma integrada a execução de processos de software, a interação entre desenvolvedores e ferramentas do ambiente e a cooperação entre desenvolvedores atuando em processos de desenvolvimento.","PeriodicalId":201403,"journal":{"name":"Anais do XII Simpósio Brasileiro de Engenharia de Software (SBES 1998)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130347669","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
A. Almeida, Alisson Augusto Souza Sol, Arnaldo de Albuquerque Araújo
{"title":"PhotoPixJ: Plataforma em Java para Implementação de Algoritmos de Processamento Digital de Imagens","authors":"A. Almeida, Alisson Augusto Souza Sol, Arnaldo de Albuquerque Araújo","doi":"10.5753/sbes.1998.24031","DOIUrl":"https://doi.org/10.5753/sbes.1998.24031","url":null,"abstract":"Este trabalho apresenta o PhotoPixJ, urna plataforma para facilitar a implementação de algoritmos de processamento de imagens, com suporte para vários formatos de imagens digitais. De uma versão anteriormente desenvolvida foi reutilizada completamente a fase de análise, com pequenas modificações no projeto orientado para objetos, principalmente com o intuito de ampliar seu escopo para lidar com tipos de dados multimídia. O novo projeto é expresso na notação UML. O sistema foi implementado em Java™, com versões para distribuição como aplicativo ou applet. O sistema é multiplataforma, dependendo apenas da amplamente disponível máquina virtual Java 1.0.2. O uso do PhotoPixJ possibilita grande ganho de produtividade para desenvolvedores que trabalham com processamento digital de imagens, devido ao alto nível de abstração das classes que precisam ser implementadas ou modificadas para adicionar funcionalidade nova à plataforma básica. Além disto, a evolução do sistema PhotoPixJ ilustra o reuso nas várias fases de um ciclo de desenvolvimento de aplicação, da análise a segmentos de código-fonte.","PeriodicalId":201403,"journal":{"name":"Anais do XII Simpósio Brasileiro de Engenharia de Software (SBES 1998)","volume":"324 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132563136","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}