|
|
Registro Completo |
Biblioteca(s): |
Embrapa Agricultura Digital. |
Data corrente: |
29/07/1996 |
Data da última atualização: |
20/08/2007 |
Autoria: |
SILVA, R. P. e; FARINES, J-M. |
Título: |
Uma proposta para a implementacao de modelos baseados em Rede de Petri a objetos. |
Ano de publicação: |
1991 |
Fonte/Imprenta: |
In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 5., 1991, Ouro Preto. Anais... Belo Horizonte: UFMG, [1991?]. |
Páginas: |
p.193-206. |
Idioma: |
Português |
Conteúdo: |
O objetivo deste trabalho e propor uma metodologia, baseada na abordagem de traducao, para a implementacao de sistemas especificados a partir do modelo Rede de Petri a Objetos (RPO). Esta metodologia de traducao parte de uma especificacao formal e gera de forma semi-automatica, um programa em uma linguagem de programacao alvo - que para o presente trabalho e uma linguagem de programacao distribuida, chamada Linguagem de Implementacao de Sistemas (LIS), cujas principais caracteristicas serao apresentadas neste artigo. As varias etapas da metodologia da traducao sao descritas, como tambem o programa tradutor, que a automatiza. |
Categoria do assunto: |
-- |
Marc: |
LEADER 01108naa a2200145 a 4500 001 1003082 005 2007-08-20 008 1991 bl uuuu u00u1 u #d 100 1 $aSILVA, R. P. e 245 $aUma proposta para a implementacao de modelos baseados em Rede de Petri a objetos. 260 $c1991 300 $ap.193-206. 520 $aO objetivo deste trabalho e propor uma metodologia, baseada na abordagem de traducao, para a implementacao de sistemas especificados a partir do modelo Rede de Petri a Objetos (RPO). Esta metodologia de traducao parte de uma especificacao formal e gera de forma semi-automatica, um programa em uma linguagem de programacao alvo - que para o presente trabalho e uma linguagem de programacao distribuida, chamada Linguagem de Implementacao de Sistemas (LIS), cujas principais caracteristicas serao apresentadas neste artigo. As varias etapas da metodologia da traducao sao descritas, como tambem o programa tradutor, que a automatiza. 700 1 $aFARINES, J-M. 773 $tIn: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 5., 1991, Ouro Preto. Anais... Belo Horizonte: UFMG, [1991?].
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
Registros recuperados : 85 | |
7. | | SILVA, R. P.; FREITAS, R. A. de; NASCIMENTO, W. M. Condicionamento osmótico de sementes de pimenta e germinação sob diferentes temperaturas. Horticultura Brasileira, Brasília, DF, v. 27, n. 2, p. S1578-S1582, ago. 2009. CD-ROM. Suplemento. Trabalho apresentado no 49. Congresso Brasileiro de Olericultura, Águas de Lindóia, SP.Tipo: Artigo em Anais de Congresso / Nota Técnica |
Biblioteca(s): Embrapa Hortaliças. |
| |
8. | | PEDROSO, L. G.; LAGES, A. M. G.; SILVA, R. P. As estruturas canavieira e citrícola em Alagoas, Pernambuco e São Paulo. Revista de Política Agrícola, Brasília, DF, ano 24, n. 3, p. 88-101, jul./ago./set. 2015.Biblioteca(s): Embrapa Unidades Centrais. |
| |
11. | | ASSIS, J. S. de; SILVA, R. P. da; SANTOS, A. C. dos. Ripening and quality of hot water treated mango cv. Tommy Atkins after refrigerated transit period plus seven days under marketing conditions. In: INTERNATIONAL MANGO SYMPOSIUM, 10., 2013, Bávaro, Punta Cana, Dominican Republic. Mango: opportunities and challenges in the 21 century. Punta Cana, Dominican Republic: CEDAF: CONIAF, 2013. p. 101.Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Semiárido. |
| |
12. | | ACHA, L.; SOBRAL FILHO, R.; MADEIRA NETTO, J.; FREITAS, P. L. de; SILVA, R. P. da. Levantamento detalhado dos solos do campo experimental do SNLCS-Km47-EMBRAPA. In: CONGRESSO BRASILEIRO DE CIENCIA DO SOLO, 18., 1981, Salvador, BA. Programa e resumos. Salvador: SBCS, 1981. p.70.Biblioteca(s): Embrapa Cerrados. |
| |
14. | | SANTOS, A. C. B. dos; ASSIS, J. S. de; SILVA, R. P. da; COSTA, N. D. Qualidade pós-colheita e vida útil de melão BRS Araguaia produzido no Submédio São Francisco. Horticultura Brasileira, v. 30, n. 2, p. S7284-S7291, jul. 2012. 1 CD-ROM Suplemento. Edição dos Anais do 52 Congresso Brasileiro de Olericultura, Salvador, jul. 2012.Tipo: Artigo em Anais de Congresso |
Biblioteca(s): Embrapa Semiárido. |
| |
17. | | SILVA, R. P.; CHAMBERS, J.; NAKAMURA, S.; AZEVEDO, C. P. de; SANTOS, J. dos; HIGUCHI, N. Padrões de crescimento de espécies arbóreos que ocorrem em diferentes topossequências na região de Manaus-AM. In: SIMPÓSIO DE PÓS GRADUAÇÃO DO INPA/FUA, 1., 1999, Manaus. Caderno de resumos. Manaus: INPA, 1999. p. 49.Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Amazônia Ocidental. |
| |
18. | | MATOSO, S. C. G.; LIMA, R. I. M. P.; MACHADO, J. C. V.; SILVA, R. P. Potencial agrícola dos solos e dinâmicas territoriais da Amazônia Ocidental brasileira. Cadernos de Ciência & Tecnologia, Brasília, DF, v. 32, n. 1/2, p. 129-151, jan./ago. 2015.Biblioteca(s): Embrapa Unidades Centrais. |
| |
19. | | SOUZA, S. O. de; LIMA, M. A. C. de; FINGER, F. L.; OLIVEIRA, A. H.; SILVA, R. P. da. Aplicação de benziladenina e seu efeito na qualidade e conservação pós-colheita de helicônias ‘Golden Torch’. In: CONGRESSO BRASILEIRO DE FLORICULTURA E PLANTAS ORNAMENTAIS, 17.; CONGRESSO BRASILEIRO DE CULTURA DE TECIDOS DE PLANTAS, 4., 2009, Aracaju. Ciência, inovação e sustentabilidade: anais. Aracaju: Embrapa Tabuleiros Costeiros; Cruz das Almas: Embrapa Mandioca e Fruticultura Tropical, 2009. 1 CD-ROM. (Embrapa Tabuleiros Costeiros. Documentos, 150).Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Semiárido. |
| |
20. | | PEIXOTO, J. R.; OLIVEIRA, C. M. de; SILVA, R. P. da; ANGELIS, B. de; CECÍLIO FILHO, A. B. Avaliação de genótipos de tomateiro tipo Santa Cruz no período de inverno, em Araguari, MG. Pesquisa Agropecuária Brasileira, Brasília, DF, v. 34, n. 12, p. 2253-2257, nov. 1999 Título em inglês: Evaluation of tomato genotypes (Santa Cruz type) during the winter season, in Araguari, MG, Brazil.Biblioteca(s): Embrapa Unidades Centrais. |
| |
Registros recuperados : 85 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|