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