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

筛选
英文 中文
Uma Abordagem Para Desenvolvimento de Software de Sistemas de Tempo Real Crítico em Arquiteturas Distribuídas 分布式架构中关键实时系统软件开发的一种方法
Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993) Pub Date : 1993-10-27 DOI: 10.5753/sbes.1993.24403
Paulo Roberto Pierri Tepedino, Tereza G. Kirner
{"title":"Uma Abordagem Para Desenvolvimento de Software de Sistemas de Tempo Real Crítico em Arquiteturas Distribuídas","authors":"Paulo Roberto Pierri Tepedino, Tereza G. Kirner","doi":"10.5753/sbes.1993.24403","DOIUrl":"https://doi.org/10.5753/sbes.1993.24403","url":null,"abstract":"Esse artigo apresenta uma abordagem integrada para o desenvolvimento de software de sistemas de tempo real crítico em arquiteturas distribuídas. A abordagem abrange a especificação e o projeto deste tipo de software e seu principal objetivo é procurar garantir um dos requisitos fundamentais desses sistemas, que é a previsibilidade. É empregada uma modelagem baseada em grafo, em conjunto com escalonamento Pre-Run-Time ótimo, para especificar, projetar e verificar e validar a computação necessária. Isto confere à abordagem características importantes, tais como, eficiência, eficácia e a possibilidade de um refinamento sucessivo, através de iterações entre as suas fases.","PeriodicalId":290219,"journal":{"name":"Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993)","volume":"37 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":"128931883","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
Sobre o Teorema da Modularização: Importância e uma Prova por Quociente 论模化定理:重要性与商数证明
Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993) Pub Date : 1993-10-27 DOI: 10.5753/sbes.1993.24393
Haydée Werneck Poubel, P. A. S. Veloso
{"title":"Sobre o Teorema da Modularização: Importância e uma Prova por Quociente","authors":"Haydée Werneck Poubel, P. A. S. Veloso","doi":"10.5753/sbes.1993.24393","DOIUrl":"https://doi.org/10.5753/sbes.1993.24393","url":null,"abstract":"Especificações são tratadas como apresentação de teorias, ou seja, teorias em linguagens poli-sortidas de primeira ordem definidas por um conjtinto de axiomas. Discutimos o papel fundamental desempenhado pelo Teorema dá Modularização no processo de implementação pelo paradigma do passo canônico e na passagem de parâmetros nas especificações parametrizadas. Apresentamos uma demonstração do Teorema da Modularização que introduz uma nova forma de se construir teorias: a teoria quociente induzida por uma interpretação.","PeriodicalId":290219,"journal":{"name":"Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993)","volume":"48 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":"132557164","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
A Process Model for Quality guided Programming: An Approach to Making Quantitative Evaluation of Software Systems Useful for Practitioners 质量指导编程的过程模型:一种使软件系统定量评估对从业者有用的方法
Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993) Pub Date : 1993-10-27 DOI: 10.5753/sbes.1993.24412
S. Biffl, T. Grechenig
{"title":"A Process Model for Quality guided Programming: An Approach to Making Quantitative Evaluation of Software Systems Useful for Practitioners","authors":"S. Biffl, T. Grechenig","doi":"10.5753/sbes.1993.24412","DOIUrl":"https://doi.org/10.5753/sbes.1993.24412","url":null,"abstract":"Quantitative evaluation of software systems has not yet been accepted by practioners. Early expectations especially into code analysis have not been met so far. Among several reasons for the rare use in practice we suppose a lack of empirical data, a dominant focus in research on formal aspects, as unreasonable embedding in the development process. The following papers deals with more technical reasons: lack of flexibility and usability of code measuring tools. We outline a process model for quality assurance during the coding phase providing human reviews as well as quantitative evaluation. The model is based on the idea of permanently adapting measuring tools to the goals of a project which will result in a metric and review guided coding cycle. The system presented generates software measuring tools providing the necessary flexibility for quick adaptions at hand. The generator is a equipped with a clear separation of language and metric description making both reusable when a new tool design is being generated. Experiments with several commercial programming languages and most classical code metrics proved the claim of flexibility and usability. We postulate that quantitative evaluation can work in practice if metrics, project constraint and management goals are matched within a local process of collecting empirical data.","PeriodicalId":290219,"journal":{"name":"Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993)","volume":"21 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":"123367411","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
A Rationale for Both Nesting and Inheritance in Object-Oriented Design 面向对象设计中嵌套和继承的基本原理
Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993) Pub Date : 1993-10-27 DOI: 10.5753/sbes.1993.24407
L. M. F. Carneiro, D. Cowan, C. Lucena
{"title":"A Rationale for Both Nesting and Inheritance in Object-Oriented Design","authors":"L. M. F. Carneiro, D. Cowan, C. Lucena","doi":"10.5753/sbes.1993.24407","DOIUrl":"https://doi.org/10.5753/sbes.1993.24407","url":null,"abstract":"It has been observed that design of complex objects such as software requires both decomposition by form (atomic objects) and decomposition by function (nesting) in order to reduce the design to a set of manageable components. However, the object-oriented design paradigm mostly supports decomposition by form. This paper uses a simple example to motivate the need for nesting (decomposition by function) and illustrates how nesting might be incorporated into a design language. We then demonstrate how the introduction of nesting into software specification and design significantly increases reusability. AD-Vcharts, a new visual formalism, and VDM are used to provide a semantics for nesting.","PeriodicalId":290219,"journal":{"name":"Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993)","volume":"41 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":"126514141","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
Execução Programada de Statecharts Statecharts的计划执行
Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993) Pub Date : 1993-02-15 DOI: 10.11606/D.55.2018.TDE-20082018-161044
Joao Wagner Lima Cangussu
{"title":"Execução Programada de Statecharts","authors":"Joao Wagner Lima Cangussu","doi":"10.11606/D.55.2018.TDE-20082018-161044","DOIUrl":"https://doi.org/10.11606/D.55.2018.TDE-20082018-161044","url":null,"abstract":"Este trabalho trata de uma técnica de validação de modelos, denominada \"Execução Programada\" e de sua integração com o ambiente Statechart Simulator (StatSim), que é um ambiente composto de ferramentas para edição e simulação de statecharts. Na \"Execução Programada\", o modelo comportamental do sistema sob desenvolvimento é simulado a partir de eventos gerados através de distribuições probabilísticas e é controlado por um programa que indica o que deve ser realizado em cada passo. Como resultado final, além da simulação dinâmica visual, dois relatórios são fornecidos ao usuário: um contendo análises estatísticas da execução e outro contendo o registro de todas as configurações atingidas, passo a passo.","PeriodicalId":290219,"journal":{"name":"Anais do VII Simpósio Brasileiro de Engenharia de Software (SBES 1993)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-02-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122658239","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学术官方微信