Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/259631
Type: TESE
Title: Prototipagem e implementação de especificações LOTOS utilizando um ambiente para desenvolvimento de sistemas de tempo real
Author: Medeiros, Eilson Barbosa
Advisor: Magalhães, Mauricio Ferreira, 1951-
Abstract: 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

Abstract: Not informed.
Subject: Linguagem orientada a objetos
Computadores
Processamento eletrônico de dados em tempo real
Linguagem de programação (Computadores)
Language: Português
Editor: [s.n.]
Date Issue: 1991
Appears in Collections:FEEC - Tese e Dissertação

Files in This Item:
File SizeFormat 
Medeiros_EilsonBarbosa_M.pdf9.81 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.