1. Biblioteca Digital de Teses e Dissertações da UFCG
  2. Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
  3. PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
  4. Mestrado em Ciência da Computação.
Please use this identifier to cite or link to this item: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/7944
Full metadata record
DC FieldValueLanguage
dc.creator.IDLEMOS, A. J. P.pt_BR
dc.creator.Latteshttp://lattes.cnpq.br/1047552565537920pt_BR
dc.contributor.advisor1PERKUSICH, Angelo.-
dc.contributor.advisor1IDPerkusich, A.pt_BR
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/9439858291700830pt_BR
dc.contributor.referee1FIGUEIREDO , Jorge César Abrantes de.-
dc.contributor.referee2ALMEIDA, Eliana Silva de.-
dc.description.resumoNeste trabalho investiga-se a aplicação dos principais conceitos de reúso de software na modelagem formal de sistemas. Mais especificamente, trata-se do reúso de modelos de sistemas de software utilizando Redes de Petri Coloridas. O principal objetivo é contribuir para melhorar o processo de modelagem de sistemas de software complexos, distribuídos e concorrentes. Como resultado, introduz-se atividades de reúso no processo de modelagem, mais especificamente armazenamento e recuperação. Tais atividades são suportadas pela introdução de um método e uma técnica integrados de forma a promover o reúso de modelos.pt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.departmentCentro de Engenharia Elétrica e Informática - CEEIpt_BR
dc.publisher.programPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOpt_BR
dc.publisher.initialsUFCGpt_BR
dc.subject.cnpqCiência da Computaçãopt_BR
dc.titleReúso de modelos em redes de petri coloridas.pt_BR
dc.date.issued2001-02-28-
dc.description.abstractIn this work the main concepts of software reuse are applied to the formal modelling activit ics of a software development process. More specifically, we focus the model reuse of software systems described in Coloured Petri Nets. The main goal of this work is to improve the modelling process of complex, distributed, and concurrent software systems. As a result, we come with the introduction of reuse activities on the modeling process, namely the storage and retrieval of artifacts. This activities are suported by the introductio of a technique, and a method, which integrated, provide a way to reuse Petri Net models.pt_BR
dc.identifier.urihttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/7944-
dc.date.accessioned2019-10-10T11:00:16Z-
dc.date.available2019-10-10-
dc.date.available2019-10-10T11:00:16Z-
dc.typeDissertaçãopt_BR
dc.subjectRedes de Petri de Alto Nívelpt_BR
dc.subjectEngenharia de Softwarept_BR
dc.subjectMétodos Formaispt_BR
dc.subjectReúso de Softwarept_BR
dc.subjectHigh Level Petri Netspt_BR
dc.subjectSoftware Engineeringpt_BR
dc.subjectFormal Methodspt_BR
dc.subjectSoftware Reusept_BR
dc.rightsAcesso Abertopt_BR
dc.creatorLEMOS, Adriano José Pinheiro.-
dc.publisherUniversidade Federal de Campina Grandept_BR
dc.languageporpt_BR
dc.title.alternativeReuse of models in colored Petri nets.pt_BR
dc.identifier.citationLEMOS, A. J. P. Reúso de modelos em redes de Petri coloridas. 2001. 68 f. Dissertação (Mestrado em Ciência da Computação) – Pós-Graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande, Paraíba, Brasil, 2001. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/7944pt_BR
Appears in Collections:Mestrado em Ciência da Computação.

Files in This Item:
File Description SizeFormat 
ADRIANO JOSÉ PINHEIRO LEMOS - DISSERTAÇÃO (PPGCC) 2001.pdfAdriano José Pinheiros Lemos - Dissertação (PPGCC) 2001.1.12 MBAdobe PDFView/Open
Show simple item record


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