发布求助
文献互助 智能选刊 最新文献

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

筛选
英文 中文
Os Métodos Formais na Análise de Orientação por Objectos 面向对象分析中的形式方法
Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993) Pub Date : 1993-10-27 DOI: 10.5753/sbes.1993.24408
A. M. Moreira, Robert G. Clark
{"title":"Os Métodos Formais na Análise de Orientação por Objectos","authors":"A. M. Moreira, Robert G. Clark","doi":"10.5753/sbes.1993.24408","DOIUrl":"https://doi.org/10.5753/sbes.1993.24408","url":null,"abstract":"O método ROOA (Rigorous Object-Oriented Analysis) introduz rigor no processo de análise orientado pelos objectos, oferecendo um conjunto de regras que permite produzir sistematicamente um modelo formal de análise orientado pelos objectos a partir dos requisitos originais. Este modelo, escrito na linguagem LOTOS, proporciona uma especificação precisa e não ambígua dos requisitos iniciais do sistema. Como à especificação é executável, podemos usar a prototipagem rápida para validar e refinar o modelo formal.","PeriodicalId":290219,"journal":{"name":"Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993)","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126777089","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
Um Processo de Re-engenharia Econômico e Eficaz 一个经济有效的再工程过程
Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993) Pub Date : 1993-10-27 DOI: 10.5753/sbes.1993.24397
Luiz Carlos Vieira Guedes, A. V. Staa
{"title":"Um Processo de Re-engenharia Econômico e Eficaz","authors":"Luiz Carlos Vieira Guedes, A. V. Staa","doi":"10.5753/sbes.1993.24397","DOIUrl":"https://doi.org/10.5753/sbes.1993.24397","url":null,"abstract":"Neste artigo é proposto um processo de re-engenharia visando a re-estruturação de programas de modo a reduzir os custos de manutenção e, simultaneamente, aumentar a sua qualidade, em particular a confiabilidade, a manutenibilidade e a economicidade. O processo a ser descrito obtém, a partir do programa fonte original existente, um projeto modular estruturado, devidamente documentado e fácil de ser mantido. O processo é formado por diversas tarefas. Todas estas tarefas recebem apoio computacional. Em linhas gerais, o processo utiliza engenharia reversa baseada e analisadores sintáticos para tornar o programa disponível no repositório de uma ferramenta CASE. A seguir a ferramenta é utilizada para efetuar a re-engenharia. O processo pode ser adaptado a diversas linguagens de programação, através da definição da gramática destas linguagens.","PeriodicalId":290219,"journal":{"name":"Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993)","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114706744","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
The Astra User Interface Library Astra用户界面库
Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993) Pub Date : 1993-10-27 DOI: 10.5753/sbes.1993.24400
Carlos A. Furuti
{"title":"The Astra User Interface Library","authors":"Carlos A. Furuti","doi":"10.5753/sbes.1993.24400","DOIUrl":"https://doi.org/10.5753/sbes.1993.24400","url":null,"abstract":"Embora aplicações complexas exijam interfaces eficientes com o usuário, sistemas gráficos básicos não são adequados à sua implementação sistemática. O uso de bibliotecas (toolkits) reduz o esforço de construção oferecendo elementos de interface (widgets) padronizados e pré-definidos. STK é uma proposta de toolkit simples e portável suportando workstations gráficas e terminais convencionais. Uma aplicação usando STK teria um único código-fonte, podendo ser usada com interfaces similares em ambas as plataformas. O módulo gráfico Astra, já implementado e em avaliação em sistemas UNIX, é apresentado neste texto. Astra é flexível e pode ser estendida. Futuramente uma ferramenta poderá editar graficamente interfaces STK criando automaticamente código de interface para dispositivos gráficos e textuais.","PeriodicalId":290219,"journal":{"name":"Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993)","volume":"53 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124432418","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
Conciliação de Flexibilidade e Verificação Estática em Linguagens Orientadas a Objetos 面向对象语言中的灵活性协调和静态验证
Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993) Pub Date : 1993-10-27 DOI: 10.5753/sbes.1993.24411
Noemi de La Roque Rodriguez, Roberto Ierusalimschy, José Lucas Rangel
{"title":"Conciliação de Flexibilidade e Verificação Estática em Linguagens Orientadas a Objetos","authors":"Noemi de La Roque Rodriguez, Roberto Ierusalimschy, José Lucas Rangel","doi":"10.5753/sbes.1993.24411","DOIUrl":"https://doi.org/10.5753/sbes.1993.24411","url":null,"abstract":"O polimorfismo por herança, tal como usualmente apresentado por linguagens orientadas à objetos, introduz um conflito entre flexibilidade e verificação estática de tipos. Este trabalho descreve um sistema de tipos que resolve este conflito, através de facilidades para definição de hierarquias separadas para tipos e implementações e descrição de tipos genéricos com restrições.","PeriodicalId":290219,"journal":{"name":"Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993)","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124818974","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
Uma Experiência na Implementação de um Sistema de Tipos Fortes e Polimórficos 有实现强多态类型系统的经验
Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993) Pub Date : 1993-10-27 DOI: 10.5753/sbes.1993.24395
Walace Rodrigues, R. Bigonha
{"title":"Uma Experiência na Implementação de um Sistema de Tipos Fortes e Polimórficos","authors":"Walace Rodrigues, R. Bigonha","doi":"10.5753/sbes.1993.24395","DOIUrl":"https://doi.org/10.5753/sbes.1993.24395","url":null,"abstract":"Uma das principais vantagens das linguagens fortemente tipadas é que em programas aceitos pelo compilador não poderão ocorrer erros de tipo durante a fase de execução. A desvantagem é que esta característica limita o domínio de aplicação das funções definidas na linguagem. Por outro lado, linguagens de programação modernas defendem a possibilidade de se ter polimorfismo, o qual é um recurso poderoso que permite ao programador definir funções que trabalham com argumentos de diversos tipos. Este artigo relata à experiência adquirida no projeto e implementação de um type-checker para à linguagem SDL utilizada para escrita de definições denotacionais de semântica. O sistema de tipos desta linguagem é de especial interesse uma vez que permite o polimorfismo associado à uma disciplina de tipos fortes.","PeriodicalId":290219,"journal":{"name":"Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128832257","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
Finite Sets: A Case Study on Formal Program Development in the Extended ML Framework 有限集:扩展ML框架中正式程序开发的案例研究
Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993) Pub Date : 1993-10-27 DOI: 10.5753/sbes.1993.24396
Cláudia J. A. da Silva, F. Q. B. D. Silva
{"title":"Finite Sets: A Case Study on Formal Program Development in the Extended ML Framework","authors":"Cláudia J. A. da Silva, F. Q. B. D. Silva","doi":"10.5753/sbes.1993.24396","DOIUrl":"https://doi.org/10.5753/sbes.1993.24396","url":null,"abstract":"We study formal development of functional programs from algebraic specifications in the Extended ML framework. We present a case study on the modular specification and refinement of (finite) set operations in the Extended ML wide-spectrum specification/programming language. Our main objective is to present the module facilities and development methodology of Extended ML, their application to a practical problem, and their suitability for the formal development of (modular) Standard ML programs.","PeriodicalId":290219,"journal":{"name":"Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993)","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132741160","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
Uma Metodologia para Projeto de Sistemas de Informações Geográficas 地理信息系统设计方法
Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993) Pub Date : 1993-10-27 DOI: 10.5753/sbes.1993.24416
Fátima Pires, Claudia Bauzer Medeiros
{"title":"Uma Metodologia para Projeto de Sistemas de Informações Geográficas","authors":"Fátima Pires, Claudia Bauzer Medeiros","doi":"10.5753/sbes.1993.24416","DOIUrl":"https://doi.org/10.5753/sbes.1993.24416","url":null,"abstract":"Este artigo apresenta uma metodologia para o projeto e desenvolvimento de aplicações de Sistemas de Informações (SIG), baseada no modelo de orientação a objetos. Essa metodologia é o resultado de um trabalho conjunto de pesquisadores das áreas de Bancos de Dados e usuários de SIG, no contexto de aplicações de controle ambiental. Ela foi desenvolvida de forma a permitir ao usuário de tais sistemas participar ativamente do processo de projeto de suas aplicações.","PeriodicalId":290219,"journal":{"name":"Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993)","volume":"86 14","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120872809","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
Os processos de compilação e execução em AURORA AURORA中的编译和执行过程
Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993) Pub Date : 1993-10-27 DOI: 10.5753/sbes.1993.24405
Luiz Carlos Zancanella, P. Navaux
{"title":"Os processos de compilação e execução em AURORA","authors":"Luiz Carlos Zancanella, P. Navaux","doi":"10.5753/sbes.1993.24405","DOIUrl":"https://doi.org/10.5753/sbes.1993.24405","url":null,"abstract":"Este artigo apresenta um novo enfoque para compilação e execução de sistemas orientados a objetos. O enfoque proposto permite que objetos, ou grupos de objetos, sejam isoladamente instanciados a partir de classes previamente conhecidas, ou dinamicamente configuradas, pelo sistema. O modelo proposto esta inserido no projeto Aurora, que visa a construção de um sistema operacional orientado a objetos para execução em máquinas multiprocessadoras.","PeriodicalId":290219,"journal":{"name":"Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126484255","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
Gerência de Projeto Baseado em Design Orientado a Encapsulamento de Dados e a Troca de Mensagens entre Subsistemas Autônomos 基于数据封装和自治子系统之间消息交换的面向设计的项目管理
Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993) Pub Date : 1993-10-27 DOI: 10.22409/ENGEVISTA.V1I1.2
Maria Luiza d´Almeida Sanchez, Bruno Maffeo
{"title":"Gerência de Projeto Baseado em Design Orientado a Encapsulamento de Dados e a Troca de Mensagens entre Subsistemas Autônomos","authors":"Maria Luiza d´Almeida Sanchez, Bruno Maffeo","doi":"10.22409/ENGEVISTA.V1I1.2","DOIUrl":"https://doi.org/10.22409/ENGEVISTA.V1I1.2","url":null,"abstract":"Este trabalho apresenta uma proposta para gerenciar projetos de desenvolvimento de sistemas de tempo-real e de grande porte. Focaliza, primordialmente, a construção do software e a administração a ser efetuada em cada fase do projeto. Como hipótese básica, reconhece a necessidade de mapear na estrutura do processo de gerenciamento a estrutura do produto a ser gerado. Também, pressupõe o emprego de Métodos Estruturados, sendo a fase de Design orientada a Encapsulamento de Dados e a Troca de Mensagens entre Subsistemas Autônomos. Essa abordagem favorece o Reuso de subsistemas anteriormente desenvolvidos e a estratégia de Desenvolvimento Incremental.","PeriodicalId":290219,"journal":{"name":"Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993)","volume":"149 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114639773","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
Análise da Adoção de Novas Tecnologias no Processo de Desenvolvimento de Software da Petrobrás 分析巴西国家石油公司软件开发过程中新技术的采用情况
Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993) Pub Date : 1993-10-27 DOI: 10.5753/sbes.1993.24398
P. Pinto, Fátima Janine Gaio
{"title":"Análise da Adoção de Novas Tecnologias no Processo de Desenvolvimento de Software da Petrobrás","authors":"P. Pinto, Fátima Janine Gaio","doi":"10.5753/sbes.1993.24398","DOIUrl":"https://doi.org/10.5753/sbes.1993.24398","url":null,"abstract":"A nível internacional, o processo de desenvolvimento de software se mantém muito pouco estruturado, apesar dos esforços concatenados significativos para acelerar o progresso técnico e a difusão de inovações de processo. Este artigo objetiva contribuir para a compreensão do processo de adoção de tecnologias de processo, a nível de empresas usuárias, através da análise de estudos de casos realizados na Petrobrás.","PeriodicalId":290219,"journal":{"name":"Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130716688","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
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信