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

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

筛选
英文 中文
ELETRICAL: Uma Linguagem para Pesquisa em Programação Concorrente 电气:并发编程研究的语言
Anais do I Simpósio Brasileiro de Engenharia de Software (SBES 1987) Pub Date : 1987-10-22 DOI: 10.5753/sbes.1987.25225
Felipe Afonso de Almeida, Sueli B. T. Mendes
{"title":"ELETRICAL: Uma Linguagem para Pesquisa em Programação Concorrente","authors":"Felipe Afonso de Almeida, Sueli B. T. Mendes","doi":"10.5753/sbes.1987.25225","DOIUrl":"https://doi.org/10.5753/sbes.1987.25225","url":null,"abstract":"Este trabalho apresenta a linguagem Electrical que se propõe ser um instrumento para investigação de problemas em programação concorrente, distribuída ou não. Para tanto, a ênfase é dada aos aspectos de definição, criação, destruição e escalonamento de processos, assim como a seus mecanismos de comunicação e sincronização.","PeriodicalId":200031,"journal":{"name":"Anais do I Simpósio Brasileiro de Engenharia de Software (SBES 1987)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114251062","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
Deriving Applicative Programs from Formal Specifications 从正式规范中推导应用程序
Anais do I Simpósio Brasileiro de Engenharia de Software (SBES 1987) Pub Date : 1987-10-22 DOI: 10.5753/sbes.1987.25222
S. Meira
{"title":"Deriving Applicative Programs from Formal Specifications","authors":"S. Meira","doi":"10.5753/sbes.1987.25222","DOIUrl":"https://doi.org/10.5753/sbes.1987.25222","url":null,"abstract":"Apresentemos uma notação para escrever programas declarativos, e consideramos como derivar programas aplicativos a partir de especificações formais escritas em Z. Aqui, Z é o nível mais abstrato, e A, uma linguagem funcional de alta ordem, o mais concreto. O objetivo é considerar as propriedades de um ambiente formal de desenvolvimento de software, onde o desenvolvimento de programas funcionais seria o primeiro passo na construção de software confiável.","PeriodicalId":200031,"journal":{"name":"Anais do I Simpósio Brasileiro de Engenharia de Software (SBES 1987)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121980858","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
Visualizando o Fluxo de Controle de Programas
Anais do I Simpósio Brasileiro de Engenharia de Software (SBES 1987) Pub Date : 1987-10-22 DOI: 10.5753/sbes.1987.25208
A. M. Price, F. Garcia, Carla B. Purper
{"title":"Visualizando o Fluxo de Controle de Programas","authors":"A. M. Price, F. Garcia, Carla B. Purper","doi":"10.5753/sbes.1987.25208","DOIUrl":"https://doi.org/10.5753/sbes.1987.25208","url":null,"abstract":"O fluxo de controle de programas representado através de grafos dirigidos tem sido considerado como uma ferramenta útil a várias etapas do desenvolvimento de software: projeto, teste, depuração, manutenção e análise de complexidade. Este artigo apresenta um conjunto de algorítmos para projetar na tela grafos de fluxo de controle gerados automaticamente a partir de codigo fonte. São apresentados exemplos de grafos gerados por uma implementação dos algorítmos desenvolvidos.","PeriodicalId":200031,"journal":{"name":"Anais do I Simpósio Brasileiro de Engenharia de Software (SBES 1987)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125563574","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
Editor de Grafico de Estrutura. Uma Ferramenta para Apoio ao Projeto Estruturado 结构图形编辑器。支持结构化项目的工具
Anais do I Simpósio Brasileiro de Engenharia de Software (SBES 1987) Pub Date : 1987-10-22 DOI: 10.5753/sbes.1987.25217
Durval Lordelo Nogueira
{"title":"Editor de Grafico de Estrutura. Uma Ferramenta para Apoio ao Projeto Estruturado","authors":"Durval Lordelo Nogueira","doi":"10.5753/sbes.1987.25217","DOIUrl":"https://doi.org/10.5753/sbes.1987.25217","url":null,"abstract":"Este trabalho apresenta o Editor de Gráfico de Estrutura, uma ferramenta gráfica automatizada para o apoio ao desenvolvimento de software na fase de projeto. São descritas a organização de seus componentes, de forma a permitir a perfeita compreensão de seu funcionamento e aplicação. A ferramenta foi implementada em microcomputador compatível com IBM – PC XT.","PeriodicalId":200031,"journal":{"name":"Anais do I Simpósio Brasileiro de Engenharia de Software (SBES 1987)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123078348","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
EITIS: Um ambiente de ferramentas integradas para desenvolvimento de sistemas interativos EITIS:用于开发交互式系统的集成工具环境
Anais do I Simpósio Brasileiro de Engenharia de Software (SBES 1987) Pub Date : 1987-10-22 DOI: 10.5753/sbes.1987.25228
R. N. Melo
{"title":"EITIS: Um ambiente de ferramentas integradas para desenvolvimento de sistemas interativos","authors":"R. N. Melo","doi":"10.5753/sbes.1987.25228","DOIUrl":"https://doi.org/10.5753/sbes.1987.25228","url":null,"abstract":"EITIS (Environment of Integrated Tools for Interactive Systems) é um ambiente (ajustavel) para especificar, projetar, implementar e executar Sistemas Interativos. Este artigo descreve brevemente as principais caracteristicas e decisões de projeto adotadas no EITIS como uma evolução de projetos precursores.","PeriodicalId":200031,"journal":{"name":"Anais do I Simpósio Brasileiro de Engenharia de Software (SBES 1987)","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132833370","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
Especificação Executável de um Formatador de Texto 文本格式化器的可执行规范
Anais do I Simpósio Brasileiro de Engenharia de Software (SBES 1987) Pub Date : 1987-10-22 DOI: 10.5753/sbes.1987.25223
George Roger Justo, Silvio R. L. Meira
{"title":"Especificação Executável de um Formatador de Texto","authors":"George Roger Justo, Silvio R. L. Meira","doi":"10.5753/sbes.1987.25223","DOIUrl":"https://doi.org/10.5753/sbes.1987.25223","url":null,"abstract":"A especificação formal vem se tornando uma ferramenta importante no desenvolvimento de sistemas mais confiáveis. Um problema, porém da sua aplicação é a escolha de uma metodologia de validação. Neste trabalho é utilizada a validação através da execução da especificação, implementada numa linguagem funcional. O principal mérito deste método é oferecer um meio fácil de encontrar erros de especificação sem, contudo, perder as principais propriedades matemáticas da especificação formal.","PeriodicalId":200031,"journal":{"name":"Anais do I Simpósio Brasileiro de Engenharia de Software (SBES 1987)","volume":"132 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133490093","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
Ambiente de desenvolvimento de software utilizando a metodologia SADT 使用SADT方法的软件开发环境
Anais do I Simpósio Brasileiro de Engenharia de Software (SBES 1987) Pub Date : 1987-10-22 DOI: 10.5753/sbes.1987.25220
Marco Antonio Carou Leandro, D. J. Nunes
{"title":"Ambiente de desenvolvimento de software utilizando a metodologia SADT","authors":"Marco Antonio Carou Leandro, D. J. Nunes","doi":"10.5753/sbes.1987.25220","DOIUrl":"https://doi.org/10.5753/sbes.1987.25220","url":null,"abstract":"Este ambiente, esta sendo desenvolvido como parte do Projeto PROSOFT [i], em desenvolvimento no PGCC da UFRGS. Dará condições ao Engenheiro de Software de utilizar todos os recursos da metodologia SADT [2], de forma fácil e amigável.","PeriodicalId":200031,"journal":{"name":"Anais do I Simpósio Brasileiro de Engenharia de Software (SBES 1987)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124956594","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
Ferramenta Automatizada para Desenvolvimento de Programas 用于程序开发的自动化工具
Anais do I Simpósio Brasileiro de Engenharia de Software (SBES 1987) Pub Date : 1987-10-22 DOI: 10.5753/sbes.1987.25219
Loreta Scheuer de Oliveira Ramos
{"title":"Ferramenta Automatizada para Desenvolvimento de Programas","authors":"Loreta Scheuer de Oliveira Ramos","doi":"10.5753/sbes.1987.25219","DOIUrl":"https://doi.org/10.5753/sbes.1987.25219","url":null,"abstract":"Este artigo não possui resumo.","PeriodicalId":200031,"journal":{"name":"Anais do I Simpósio Brasileiro de Engenharia de Software (SBES 1987)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129907446","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
Ferramenta para Planejamento e Controle de Projetos 项目计划和控制工具
Anais do I Simpósio Brasileiro de Engenharia de Software (SBES 1987) Pub Date : 1987-10-22 DOI: 10.5753/sbes.1987.25215
Roselee M. P. Murai
{"title":"Ferramenta para Planejamento e Controle de Projetos","authors":"Roselee M. P. Murai","doi":"10.5753/sbes.1987.25215","DOIUrl":"https://doi.org/10.5753/sbes.1987.25215","url":null,"abstract":"Este artigo não possui resumo.","PeriodicalId":200031,"journal":{"name":"Anais do I Simpósio Brasileiro de Engenharia de Software (SBES 1987)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133510006","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 Monitor para Apoio a Programação em Lógica 支持逻辑编程的监视器
Anais do I Simpósio Brasileiro de Engenharia de Software (SBES 1987) Pub Date : 1987-10-22 DOI: 10.5753/sbes.1987.25232
Pula Ypiranga dos Guaranys, Jeferson Ferreira Soares
{"title":"Um Monitor para Apoio a Programação em Lógica","authors":"Pula Ypiranga dos Guaranys, Jeferson Ferreira Soares","doi":"10.5753/sbes.1987.25232","DOIUrl":"https://doi.org/10.5753/sbes.1987.25232","url":null,"abstract":"Descreve-se neste artigo uma ferramenta de software para suporte à construção de programas em linguagens de programação em lógica; particularmente usando-se regras de produção. Este suporte incluí funções de edição orientadas para a sintaxe de regras de produção e um monitoramento da construção de programas visando garantir a completude da especificação e a compatibilidade sintática e semântica entre os diversos componentes do programa. Está em estudo o aproveitamento desta ferramenta como parte de um sistema tutor em técnicas de programação em lógica.","PeriodicalId":200031,"journal":{"name":"Anais do I Simpósio Brasileiro de Engenharia de Software (SBES 1987)","volume":"95 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126144354","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
下一页 尾页
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学术官方微信