dc.creator | Medeiros, Eilson Barbosa | |
dc.date | 1991 | |
dc.date | 1991-04-24T00:00:00Z | |
dc.date | 2017-03-15T13:53:09Z | |
dc.date | 2017-07-13T19:51:25Z | |
dc.date | 2017-03-15T13:53:09Z | |
dc.date | 2017-07-13T19:51:25Z | |
dc.date.accessioned | 2018-03-29T03:57:16Z | |
dc.date.available | 2018-03-29T03:57:16Z | |
dc.identifier | (Broch.) | |
dc.identifier | MEDEIROS, Eilson Barbosa. Prototipagem e implementação de especificações LOTOS utilizando um ambiente para desenvolvimento de sistemas de tempo real. 1991. 1v. (varias paginações). Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: <http://libdigi.unicamp.br/document/?code=vtls000085336>. Acesso em: 15 mar. 2017. | |
dc.identifier | http://repositorio.unicamp.br/jspui/handle/REPOSIP/259631 | |
dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/1338715 | |
dc.description | Orientador: Mauricio Ferreira Magalhães | |
dc.description | Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica | |
dc.description | Resumo: O processo de projeto e realização de sistemas é uma tarefa não trivial principalmente quando consideramos o desenvolvimento de sistemas complexos. Uma proposta que tem sido recentemente discutida é a definição de uma metodologia baseada em técnicas de descrição formais, para suportar as diversas etapas do processo de projeto e realização de sistemas. Segundo esta metodologia, inicialmente serão trabalhadas as características arquiteturais do sistema. Numa segunda fase, a partir da arquitetura definida na fase arquiteturaI, serão detalhados os aspectos voltados à realização do sistema. De acordo com esta metodologia uma vez tendo sido obtida uma arquitetura suficientemente expressiva do sistema, a especificação que descreve esta arquitetura deverá ser traduzi da para uma especificação em um ambiente de implementação para que os aspectos relativos à realização possam então ser explorados. Neste trabalho consideramos as questões envolvidas no procedimento de tradução. Uma metodologia de mapeamento é discutida e implementada. Utilizamos, de forma particular, LOTOS como linguagem de especificação na fase arquitetura I e o ambiente de implementação de sistemas de tempo real - STER - como ambiente de desenvolvimento da fase de realização. Um exemplo é elaborado para avaliar a viabilidade da metodologia proposta | |
dc.description | Abstract: Not informed. | |
dc.description | Mestrado | |
dc.description | Mestre em Engenharia Eletrica | |
dc.format | 1v. (varias paginações) : il. | |
dc.format | application/pdf | |
dc.language | Português | |
dc.publisher | [s.n.] | |
dc.subject | Linguagem orientada a objetos | |
dc.subject | Computadores | |
dc.subject | Processamento eletrônico de dados em tempo real | |
dc.subject | Linguagem de programação (Computadores) | |
dc.title | Prototipagem e implementação de especificações LOTOS utilizando um ambiente para desenvolvimento de sistemas de tempo real | |
dc.type | Tesis | |