Anais do XII Simpósio Brasileiro de Engenharia de Software (SBES 1998)最新文献

Um Sistema de Padrões para Software Criptográfico Orientado a Objetos 面向对象加密软件的标准系统

Anais do XII Simpósio Brasileiro de Engenharia de Software (SBES 1998) Pub Date : 1998-10-13 DOI: 10.5753/sbes.1998.24026

A. M. Braga, C. M. F. Rubira, Ricardo Dahab

引用次数: 0

Medição de Software para Pequenas Empresas: Uma Solução Baseada na Web 小型企业的软件测量:基于网络的解决方案

Anais do XII Simpósio Brasileiro de Engenharia de Software (SBES 1998) Pub Date : 1998-10-13 DOI: 10.5753/sbes.1998.24020

Luiz Paulo Alves Franca, A. V. Staa, Carlos J. P. Lucena

引用次数: 0

Um Sistema de Apoio ao Teste de Programas Orientados a Objetos com uma Abordagem Reflexiva 一种具有反思性方法的面向对象程序测试支持系统

Anais do XII Simpósio Brasileiro de Engenharia de Software (SBES 1998) Pub Date : 1998-10-13 DOI: 10.5753/sbes.1998.24021

I. Pinto, A. M. Price

{"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}

引用次数: 1

Parametrização de Componentes de Especificação com Preservação de Semântica 具有语义保存的规范组件参数化

Anais do XII Simpósio Brasileiro de Engenharia de Software (SBES 1998) Pub Date : 1998-10-13 DOI: 10.5753/sbes.1998.24025

Anamaria Martins Moreira

{"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}

引用次数: 0

Um Editor Diagramático para Desenvolvimento de Sistemas de Informação na Internet 在互联网上开发信息系统的图形编辑器

Anais do XII Simpósio Brasileiro de Engenharia de Software (SBES 1998) Pub Date : 1998-10-13 DOI: 10.5753/sbes.1998.24032

Leandro Bento Pompermaier, R. T. Price

引用次数: 0

Model-Checking Processes with States: An Industrial Case Study 带状态的模型检查过程:一个工业案例研究

Anais do XII Simpósio Brasileiro de Engenharia de Software (SBES 1998) Pub Date : 1998-10-13 DOI: 10.5753/sbes.1998.24017

A. Mota, A. Sampaio

引用次数: 2

Modularizando a Gerência de Configuração de Software 模块化软件配置管理

Anais do XII Simpósio Brasileiro de Engenharia de Software (SBES 1998) Pub Date : 1998-10-13 DOI: 10.5753/sbes.1998.24030

André Moura, F. Pinheiro

引用次数: 0

Specifying Dynamic Distributed Software Architectures 指定动态分布式软件架构

Anais do XII Simpósio Brasileiro de Engenharia de Software (SBES 1998) Pub Date : 1998-10-13 DOI: 10.5753/sbes.1998.24016

V. C. D. Paula, G. Justo, P. Cunha

引用次数: 3

Gerenciamento do Processo de Desenvolvimento Cooperativo de Software no Ambiente PROSOFT PROSOFT环境下软件协同开发过程的管理

Anais do XII Simpósio Brasileiro de Engenharia de Software (SBES 1998) Pub Date : 1998-10-13 DOI: 10.5753/sbes.1998.24029

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}

引用次数: 1

PhotoPixJ: Plataforma em Java para Implementação de Algoritmos de Processamento Digital de Imagens PhotoPixJ:实现数字图像处理算法的Java平台

Anais do XII Simpósio Brasileiro de Engenharia de Software (SBES 1998) Pub Date : 1998-10-13 DOI: 10.5753/sbes.1998.24031

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}

引用次数: 1