Portal do Governo Brasileiro
BDPA - Bases de Dados da Pesquisa Agropecuária Embrapa
Home Bibliotecas Itens selecionados Créditos Ajuda
 






Registro Completo
Biblioteca(s):  Embrapa Agricultura Digital.
Data corrente:  29/07/1996
Data da última atualização:  20/08/2007
Autoria:  MEIRA, S. L.; SANTOS, C. S. dos.
Título:  SmallVDM: an environment for formal specification and prototyping in ssmalltalk.
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.221-236.
Idioma:  Inglês
Conteúdo:  We present an environment for specification and prototyping of object-oriented systems in smalltalk along with a style of specification, which allows the definition of some object-oriented characteristics in VDM. A set of auxiliary tools simulates the development of specifications on-line and fast prototyping. The prsentation is mostly informal and the mechanism is exemplified by giving an object-based specification of a simple process scheduler. We discuss the gains of using formal methods, coupled with a good programming environment, in the implementation of object-oriented software systems.
Categoria do assunto:  --
Marc:  Mostrar Marc Completo
Registro original:  Embrapa Agricultura Digital (CNPTIA)
Biblioteca ID Origem Tipo/Formato Classificação Cutter Registro Volume Status URL
CNPTIA3659 - 1ADDPL - --005.1SIM1994.00047
Voltar






Ordenar por: RelevânciaAutorTítuloAnoImprime registros no formato resumido      Imprime registros no formato resumido
Registros recuperados : 1.757
Primeira ... 34567891011 ... Última
121.Imagem marcado/desmarcadoCOSTA, C. J.; SANTOS, C. P.; ROSSI, P. Avaliação da viabilidade de sementes de leucena pelo teste tetrazólio. Informativo Abrates, v. 19, n. 2, 2009. p. 953 Resumo apresentado no 16º Congresso Brasileiro de Sementes, Curitiba, 2009.
Tipo: Resumo em Anais de Congresso
Biblioteca(s): Embrapa Cerrados.
Visualizar detalhes do registroImprime registro no formato completo
122.Imagem marcado/desmarcadoLIMA FILHO, J. M. P.; SANTOS, C. A. F. Avaliações fenotípicas e fisiológicas de espécies de spondias tendo como porta enxerto o umbuzeiro (Spondias tuberosa Cam.). Caatinga, v. 22, n.1, p. 59-63, jan./mar. 2009.
Tipo: Artigo em Periódico IndexadoCirculação/Nível: B - 4
Biblioteca(s): Embrapa Semiárido.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
123.Imagem marcado/desmarcadoSANTOS, C. A. F.; LIMA FILHO, J. M. P. Avaliação do umbuzeiro como porta-enxerto de outras Spondias cultivadas sob condições de sequeiro em Petrolina. Petrolina: Embrapa Semi-Árido, 2008. 20 p. (Embrapa Semi-Árido. Boletim de pesquisa e desenvolvimento, 76).
Tipo: Boletim de Pesquisa e Desenvolvimento
Biblioteca(s): Embrapa Semiárido.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
124.Imagem marcado/desmarcadoSANTOS, C. A. F.; ARAUJO, F. P. de. Controle genetico da precocidade e de alguns componentes do porte da planta num dialelo de feijao-de-corda. In: REUNIÃO NACIONAL DE PESQUISA DE CAUPI, 4., 1996, Teresina. Resumos... Teresina: EMBRAPA-CPAMN, 1996. p. 95. (EMBRAPA-CPAMN. Documentos, 18).
Tipo: Resumo em Anais de Congresso
Biblioteca(s): Embrapa Semiárido.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
125.Imagem marcado/desmarcadoSOARES, J. M.; NASCIMENTO, T.; SANTOS, C. R. dos. Irrigação. In: ROCHA, E. M. de M.; DRUMOND, M. A. (Ed.). Fruticultura irrigada: o produtor pergunta, a Embrapa responde. Brasília, DF: Embrapa Informação Tecnológica, 2011. p. 71-83. (Coleção 500 perguntas, 500 respostas).
Tipo: Capítulo em Livro Técnico-Científico
Biblioteca(s): Embrapa Semiárido.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
126.Imagem marcado/desmarcadoSANTOS, C. R. dos; MENDONÇA, C. E. S. Irrigação do coqueiro anão verde no Submédio São Francisco. Petrolina: Embrapa Semi-Árido, 2005. 8 p. (Embrapa Semi-Árido. Circular técnica, 79).
Tipo: Circular Técnica
Biblioteca(s): Embrapa Semiárido.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
127.Imagem marcado/desmarcadoGONZAGA NETO, L.; MATTIUZ, B.-H.; SANTOS, C. A. F. Introducao, caracterizacao e avaliacao de genotipos de aceroleira (Malpighia sp.) na regiao do submedio Sao Francisco. In: CONGRESSO BRASILEIRO DE FRUTICULTURA, 14.; REUNIAO INTERAMERICANA DE HORTICULTURA TROPICAL, 42.; SIMPOSIO INTERNACIONAL DE MIRTACEAS, 1996, Curitiba. Resumos... Londrina: IAPAR, 1996. p. 37.
Tipo: Resumo em Anais de Congresso
Biblioteca(s): Embrapa Semiárido.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
128.Imagem marcado/desmarcadoSANTOS, C. V. dos; MENEZES, C. B. de. Índices de seca para seleção de genótipos de sorgo granífero tolerantes ao déficit hídrico. In: SEMINÁRIO DE INICIAÇÃO CIENTÍFICA PIBIC/CNPq, 12., 2017, Sete Lagoas. [Trabalhos apresentados]. Sete Lagoas: Embrapa Milho e Sorgo, 2017.
Tipo: Artigo em Anais de Congresso
Biblioteca(s): Embrapa Milho e Sorgo.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
129.Imagem marcado/desmarcadoSANTOS, C. A. F.; OLIVEIRA, V. R. de. Inter-relações genéticas entre espécies do gênero Spondias com base em marcadores AFLP. Revista Brasileira de Fruticultura, Jaboticabal, v. 30, n. 3, p. 731-735, set. 2008.
Tipo: Artigo em Periódico IndexadoCirculação/Nível: Nacional - A
Biblioteca(s): Embrapa Semiárido.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
130.Imagem marcado/desmarcadoKEMENES, A.; PEREIRA, L. A.; SANTOS, C. A. C. dos. Influência dos eventos climáticos extremos sobre hidrelétricas do Brasil. In: SIMPÓSIO DE MUDANÇAS CLIMÁTICAS E DESERTIFICAÇÃO NO SEMIÁRIDO BRASILEIRO, 4., 2015, Petrolina. Experiências e oportunidades para o desenvolvimento. Petrolina: Embrapa Semiárido, 2015. 1CD-ROM. (Embrapa Semiárido. Documentos, 262).
Tipo: Artigo em Anais de Congresso
Biblioteca(s): Embrapa Meio-Norte.
Visualizar detalhes do registroImprime registro no formato completo
131.Imagem marcado/desmarcadoKEMENES, A.; PEREIRA, L. A.; SANTOS, C. A. C. dos. Influência dos eventos climáticos extremos sobre hidrelétricas do Brasil. In: SIMPÓSIO DE MUDANÇAS CLIMÁTICAS E DESERTIFICAÇÃO NO SEMIÁRIDO BRASILEIRO, 4., 2015, Petrolina. Experiências e oportunidades para o desenvolvimento. Petrolina: Embrapa Semiárido, 2015. 1CD-ROM. (Embrapa Semiárido. Documentos, 262).
Tipo: Artigo em Anais de Congresso
Biblioteca(s): Embrapa Semiárido.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
132.Imagem marcado/desmarcadoSANTOS, C. A. F.; OLIVEIRA, V. R.; LEITE, D. L. Melhoramento genético de cebola no Brasil: avanços e desafios. Petrolina: Embrapa Semiárido, 2013. 22 p. (Embrapa Semiárido. Documentos, 254).
Tipo: Documentos
Biblioteca(s): Embrapa Clima Temperado; Embrapa Hortaliças; Embrapa Semiárido.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
133.Imagem marcado/desmarcadoPIVATO, J.; SANTOS, C. D. R. dos; LAU, D. Monitoramento de espécies de parasitoides (Hymenoptera: Braconidae) associadas aos principais afídeos (Hemiptera: Aphididae) de trigo. In: MOSTRA DE INICIAÇÃO CIENTÍFICA, 14.; MOSTRA DE PÓS-GRADUAÇÃO DA EMBRAPA TRIGO, 11., 2019, Passo Fundo. Resumos... Brasília, DF: Embrapa, 2019. Resumos graduação PIBIC/CNPq, p. 18.
Tipo: Autoria/Organização/Edição de Livros
Biblioteca(s): Embrapa Trigo.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
134.Imagem marcado/desmarcadoSANTOS, C. M. dos; BALDANI, J. I.; SCHWAB, S. Estratégia independente de cultivo para estudo de bactérias endofíticas da cana-de-açúcar In: SEMANA CIENTÍFICA JOHANNA DÖBEREINER, 13., 2013, Seropédica Ciência, saúde e esporte: caderno de resumos... Seropédica: Embrapa Agrobiologia, 2013.
Tipo: Resumo em Anais de Congresso
Biblioteca(s): Embrapa Agrobiologia.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
135.Imagem marcado/desmarcadoSANTOS, C. A. F.; OLIVEIRA, V. R.; COSTA, N. D. BRS Riovale e BRS Carrancas: cultivares de cebola Valenciana para o Nordeste brasileiro. In: CONGRESSO LUSO-BRASILEIRO DE HORTICULTURA, 1., 2017, Lisboa. Inovação ao serviço dos negócios. Lisboa: Associação Portuguesa de Horticultura, 2017. p. 103.
Tipo: Resumo em Anais de Congresso
Biblioteca(s): Embrapa Hortaliças; Embrapa Semiárido.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
136.Imagem marcado/desmarcadoSANTOS, C. M. R. dos; OLIVEIRA, M. D. de. Coleta e isolamento de microalgas e cianobactérias dulcícolas do Pantanal Sul-Mato-Grossense. In: EVENTO DE INICIAÇÃO CIENTÍFICA DO PANTANAL, 2.; 2014, Corumbá. Resumos...Corumbá: Embrapa Pantanal, 2014. (Embrapa Pantanal. Documentos, 126). p. 14
Tipo: Resumo em Anais de Congresso
Biblioteca(s): Embrapa Pantanal.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
137.Imagem marcado/desmarcadoMOTTA, D. N.; SANTOS, C. A. dos; QUISEN, R. C. Germinação de embriões zigóticos do híbrido interespecífico caiaué x dendê em sistema de cultivo de imersão temporária. In: JORNADA DE INICIAÇÃO CIENTÍFICA DA EMBRAPA AMAZÔNIA OCIDENTAL, 14., 2017, Manaus. Anais... Brasília, DF: Embrapa, 2018. p. 29-37.
Tipo: Artigo em Anais de Congresso
Biblioteca(s): Embrapa Florestas.
Visualizar detalhes do registroAcesso restrito ao objeto digitalImprime registro no formato completo
138.Imagem marcado/desmarcadoCOSTA, A. E da S.; SANTOS, C. A. F. Genetic diversity and structure of pigeonpea germplasm assessed by microsatellite markers. Genetics and Molecular Research, v. 20, n. 1, Mar. 2021.
Tipo: Artigo em Periódico IndexadoCirculação/Nível: A - 2
Biblioteca(s): Embrapa Semiárido.
Visualizar detalhes do registroAcesso restrito ao objeto digitalImprime registro no formato completo
139.Imagem marcado/desmarcadoSANTOS, C. F. dos; GARCIA, M. V. B. Fluxo populacional e comportamento de polinizadores de castanheira-do-brasil Bertholletia excelsa (Lecythidaceae) na presença de abelhas-sem-ferrão. In: CONGRESSO BRASILEIRO DE ZOOLOGIA, 27., 2008, Curitiba. [Resumos]. [Curitiba]: Sociedade Brasileira de Zoologia, 2008.
Tipo: Resumo em Anais de Congresso
Biblioteca(s): Embrapa Amazônia Ocidental.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
140.Imagem marcado/desmarcadoSANTOS, C. A. F.; OLIVEIRA, V. R.; COSTA, N. D. Identification of maintainer and male sterile lines within a brazilian onion tropical population. In: INTERNATIONAL HORTICULTURAL CONGRESS, 28., 2010, Lisboa. Science and horticulture for people: abstracts. Lisbon: ISHS, 2010. v. 1, p. 203. Resumo T09.045.
Tipo: Resumo em Anais de Congresso
Biblioteca(s): Embrapa Hortaliças.
Visualizar detalhes do registroImprime registro no formato completo
Registros recuperados : 1.757
Primeira ... 34567891011 ... Última
Nenhum registro encontrado para a expressão de busca informada.
  
 

Embrapa
Todos os direitos reservados, conforme Lei n° 9.610
Política de Privacidade
Área Restrita
Embrapa Agricultura Digital
Av. André Tosello, 209 - Barão Geraldo
Caixa Postal 6041- 13083-886 - Campinas, SP
SAC: https://www.embrapa.br/fale-conosco

Valid HTML 4.01 Transitional