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:  30/07/1996
Data da última atualização:  20/08/2007
Autoria:  BAXTER, I.
Título:  Tutorial: "transformational software construction".
Ano de publicação:  1994
Fonte/Imprenta:  In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 8., WORKSHOP DE QUALIDADE DE SOFTWARE, 1994, Curitiba. Anais... Curitiba: Centro Internacional de Tecnologia de Software, 1994.
Páginas:  p.3
Idioma:  Inglês
Notas:  Resumo.
Conteúdo:  We examine construction of software by transforming specifications into implementations. The tutorial covers theory, implementation and practice. We define the notion of software specifications, both functional and performance specifications, and several specification styles. We cover the notion of implementation (what it means for one program to implement a specification), and tecniques for synthesizing implementations from specifications or transforming specifications. Methods for capturing knoowledge about transformation sequences are discussed. A number of existing transformation systems are reviewed. Some background in al is assumed.
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
CNPTIA3660 - 1ADDPL - --005.1SIM1994.00042
Voltar






Ordenar por: RelevânciaAutorTítuloAnoImprime registros no formato resumido      Imprime registros no formato resumido
Registros recuperados : 360
Primeira ... 123456789 ... Última
1.Imagem marcado/desmarcadoTORRES, E. Manejo do solo no cultivo da soja no Brasil. In: MOLESTINA, C. J. (Ed.). Manejo del cultivo, control de plagas y enfermedades de la soja. Montevideo: IICA-BID-PROCISUR, 1987. p. 53-58. (IICA. Diálogo, 21). Seminario sobre manejo das culturas de soja e girassol y Reuniao sobre controle de enfermidades de soja e girassol.
Biblioteca(s): Embrapa Soja.
Visualizar detalhes do registroImprime registro no formato completo
2.Imagem marcado/desmarcadoTORRES, E. Manejo do solo e de espécies vegetais em sistemas de produção com a soja. In: HOFFMANN-CAMPO, C.B.; SARAIVA, O.F. (Org.). Resultados de pesquisa da Embrapa Soja - 2000: manejo do solo e plantas daninhas. Londrina: Embrapa Soja, 2001. p. 7. (Embrapa Soja. Documentos, 161).
Biblioteca(s): Embrapa Soja.
Visualizar detalhes do registroImprime registro no formato completo
3.Imagem marcado/desmarcadoTORRES, E. Manejo do solo e de espécies vegetais em sistemas de produção com a soja. In: HOFFMANN-CAMPO, C. B.; SARAIVA, O. F. (Org.). Resultados de pesquisa da Embrapa Soja - 2001: manejo do solo e plantas daninhas. Londrina: Embrapa Soja, 2002. p. 7. (Embrapa Soja. Documentos, 195).
Biblioteca(s): Embrapa Soja.
Visualizar detalhes do registroImprime registro no formato completo
4.Imagem marcado/desmarcadoTORRES, E. Manejo do solo e de espécies vegetais em sistemas de produção com a soja. In: HOFFMANN-CAMPO, C. B.; SARAIVA, O. F. (Org.). Resultados de pesquisa da Embrapa Soja - 2002: manejo do solo, plantas daninhas e agricultura de precisão. Londrina: Embrapa Soja, 2003. p. 7. (Embrapa Soja. Documentos, 214).
Biblioteca(s): Embrapa Soja.
Visualizar detalhes do registroImprime registro no formato completo
5.Imagem marcado/desmarcadoTORRES, E. Manejo do solo e de espécies vegetais em sistemas de produção com a soja. In: SARAIVA, O. F. (Org.). Resultados de pesquisa da Embrapa Soja - 2003: manejo de solos, plantas daninhas e agricultura de precisão. Londrina: Embrapa Soja, 2004. p. 7. (Embrapa Soja. Documentos, 253).
Biblioteca(s): Embrapa Soja.
Visualizar detalhes do registroImprime registro no formato completo
6.Imagem marcado/desmarcadoTORRES, E.; NEUMAIER, N. potencial de algumas espécies de verão como descompactadoras do solo. In: REUNIÃO CENTRO-SUL DE ADUBAÇÃO VERDE E ROTAÇÃO DE CULTURAS, 2., 1989, Londrina. Ata e resumos. Londrina: Embrapa-CNPSo, 1990. p. 36. (EMBRAPA-CNPSo. Documentos, 45).
Biblioteca(s): Embrapa Soja.
Visualizar detalhes do registroImprime registro no formato completo
7.Imagem marcado/desmarcadoTORRES, E.; NEUMAIER, N. Potencial de algumas especies de verao com descompactadoras do solo. In: EMBRAPA. Centro Nacional de Pesquisa de Soja (Londrina, PR). Resultados de pesquisa de soja 1987/88. Londrina, 1988. p.292-296. (EMBRAPA-CNPSo. Documentos, 36).
Biblioteca(s): Embrapa Soja.
Visualizar detalhes do registroImprime registro no formato completo
8.Imagem marcado/desmarcadoTORRES, E.; GARCIA, A. Uniformidade de distribuição de plantas em lavouras de soja. Londrina: EMBRAPA-CNPSO, 1991. 9p. (EMBRAPA-CNPSO. Comunicado Técnico, 48).
Tipo: Comunicado Técnico/Recomendações Técnicas
Biblioteca(s): Embrapa Soja.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
9.Imagem marcado/desmarcadoCATTELAN, A. J.; TORRES. E. Avaliação da biomassa microbiana em solo submetido a diferentes sistemas de preparo e cultivado com a sucessão soja/trigo. In: EMBRAPA SOJA. Resultados de pesquisa de soja 1991/92. Londrina, 1999. p. 446-447. (Embrapa Soja. Documentos, 138).
Biblioteca(s): Embrapa Soja.
Visualizar detalhes do registroImprime registro no formato completo
10.Imagem marcado/desmarcadoCATTELAN, A. J.; TORRES, E. Avaliação da biomassa e da população microbiana em solo submetido a diferentes sistemas de preparo e cultivado com a sucessão soja/trigo. In: EMBRAPA. Centro Nacional de Pesquisa de Soja (Londrina, PR). Resultados de pesquisa de soja - 1990/91. Londrina: EMBRAPA-CNPSo, 1996. v. 1. p.290. (EMBRAPA-CNPSo. Documentos, 99).
Biblioteca(s): Embrapa Soja.
Visualizar detalhes do registroImprime registro no formato completo
11.Imagem marcado/desmarcadoSARAIVA, O. F.; TORRES, E. Avaliação da cobertura do solo pelos resíduos da colheita e sua quantificação. In: EMBRAPA. Centro Nacional de Pesquisa de Soja (Londrina, PR). Resultados de pesquisa de soja - 1990/91. Londrina: EMBRAPA-CNPSo, 1996. v. 2. p. 330-333. (EMBRAPA-CNPSo. Documentos, 99).
Biblioteca(s): Embrapa Soja.
Visualizar detalhes do registroImprime registro no formato completo
12.Imagem marcado/desmarcadoSARAIVA, O. F.; TORRES, E. Avaliação da cobertura do solo pelos resíduos de colheita e sua quantificação. In: EMBRAPA SOJA. Resultados de pesquisa de soja 1991/92. Londrina, 1999. pt. 2. p. 495-496. (Embrapa Soja. Documentos, 138).
Biblioteca(s): Embrapa Soja.
Visualizar detalhes do registroImprime registro no formato completo
13.Imagem marcado/desmarcadoTORRES, E.; SARAIVA, O. F. Avaliação de sistemas de preparo do solo na cultura da soja. In: REUNIÃO DE PESQUISA DE SOJA DA REGIÃO CENTRAL DO BRASIL, 19., 1997, Jaboticabal. Ata e resumos. Londrina: Embrapa-CNPSo, 1997. p. 181-182. (Embrapa-CNPSo. Documentos, 107).
Biblioteca(s): Embrapa Soja.
Visualizar detalhes do registroImprime registro no formato completo
14.Imagem marcado/desmarcadoTORRES, E.; SARAIVA, O. F. Avaliacao de sistemas de preparo do solo na cultura da soja. In: REUNIAO DE PESQUISA DE SOJA DA REGIAO CENTRAL DO BRASIL, 20., 1998, Londrina. Ata e resumos. Londrina: EMBRAPA-CNPSo, 1998. p.197. (EMBRAPA-CNPSo. Documentos, 121).
Biblioteca(s): Embrapa Soja.
Visualizar detalhes do registroImprime registro no formato completo
15.Imagem marcado/desmarcadoTORRES, E.; SARAIVA, O. F. Avaliacao de sistemas de preparo do solo e de rotacao de culturas com soja, em um latossolo roxo distrofico no norte do Parana. In: EMBRAPA. Centro Nacional de Pesquisa de Soja (Londrina, PR). Resultados de pesquisa de soja 1989/90. Londrina, 1993. p.271-275. (EMBRAPA-CNPSo. Documentos, 58).
Biblioteca(s): Embrapa Soja.
Visualizar detalhes do registroImprime registro no formato completo
16.Imagem marcado/desmarcadoTORRES, E.; SARAIVA, O. F. Avaliacao de sistemas de preparo do solo e rotacao de culturas com a soja. In: REUNIAO DE PESQUISA DE SOJA DA REGIAO CENTRAL DO BRASIL, 20., 1998, Londrina. Ata e resumos. Londrina: EMBRAPA-CNPSo, 1998. p.197-198. (EMBRAPA-CNPSo. Documentos, 121).
Biblioteca(s): Embrapa Soja.
Visualizar detalhes do registroImprime registro no formato completo
17.Imagem marcado/desmarcadoTORRES, E.; SARAIVA, O. F. Avaliacao de sistemas de preparo do solo e rotacao de culturas com a soja. In: REUNIAO DE PESQUISA DE SOJA DA REGIAO CENTRAL DO BRASIL, 22., 2000, Cuiaba. Resumos... Londrina: Embrapa Soja, 2000. p.39. (Embrapa Soja. Documentos, 144).
Biblioteca(s): Embrapa Soja.
Visualizar detalhes do registroImprime registro no formato completo
18.Imagem marcado/desmarcadoTORRES, E.; GALERANI, P. R. Avaliação de sistemas de produção de soja: manejo, rotação e cultivares. In: REUNIÃO CENTRO-SUL DE ADUBAÇÃO VERDE E ROTAÇÃO DE CULTURAS, 2., 1989, Londrina. Ata e resumos. Londrina: Embrapa-CNPSo, 1990. p. 35. (EMBRAPA-CNPSo. Documentos, 45).
Biblioteca(s): Embrapa Soja.
Visualizar detalhes do registroImprime registro no formato completo
19.Imagem marcado/desmarcadoSARAIVA, O. F.; TORRES, E. Degradacao de restos de culturas de soja, milho, trigo e aveia preta, sob cultivo convencional e plantio direto. Londrina: EMBRAPA-CNPSo, 1998. 4p. (EMBRAPA-CNPSo. Pesquisa em Andamento, 20).
Biblioteca(s): Embrapa Soja.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
20.Imagem marcado/desmarcadoSARAIVA, O. F.; TORRES, E. Decomposição de restos de culturas em condições de campo. In: EMBRAPA. Centro Nacional de Pesquisa de Soja (Londrina, PR). Resultados de pesquisa da Embrapa Soja 1996. Londrina, 1997. p. 126-128. (EMBRAPA-CNPSo. Documentos, 104).
Biblioteca(s): Embrapa Soja.
Visualizar detalhes do registroImprime registro no formato completo
Registros recuperados : 360
Primeira ... 123456789 ... Ú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