| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Semiárido. |
|
Data corrente: |
25/01/1994 |
|
Data da última atualização: |
15/03/2023 |
|
Autoria: |
FERREIRA, N. C. do R. |
|
Título: |
Proposta de um sistema semi-automatico para teste de programas. |
|
Ano de publicação: |
1983 |
|
Fonte/Imprenta: |
Sao Jose dos Campos: INPE, 1983. |
|
Páginas: |
149p. |
|
Idioma: |
Português |
|
Notas: |
Dissertacao Mestrado |
|
Conteúdo: |
Desenvolver ferramentas de auxilio a selecao de dados para testes de programas escritos em FORTRAN. Em sua essencia, apresenta o desenvolvimento de um sistema interativo de analise de programas que fornece ao usuario, ao final de uma execucao de um dado programa, um conjunto de predicados obtido por Execucao Simbolica parcial que envolve o tratamento simbolico de variaveis de entrada deste mesmo programa. Este conjunto de predicados pode ser utilizado na identificacao de um novo teste a ser submetido ao programa. |
|
Palavras-Chave: |
Computador eletronico; Electron; Linguagem; Programacao; Sistema; Systems; Test; Teste. |
|
Thesaurus Nal: |
computer software; computers. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 01150nam a2200253 a 4500
001 1149833
005 2023-03-15
008 1983 bl uuuu m 00u1 u #d
100 1 $aFERREIRA, N. C. do R.
245 $aProposta de um sistema semi-automatico para teste de programas.
260 $aSao Jose dos Campos: INPE$c1983
300 $a149p.
500 $aDissertacao Mestrado
520 $aDesenvolver ferramentas de auxilio a selecao de dados para testes de programas escritos em FORTRAN. Em sua essencia, apresenta o desenvolvimento de um sistema interativo de analise de programas que fornece ao usuario, ao final de uma execucao de um dado programa, um conjunto de predicados obtido por Execucao Simbolica parcial que envolve o tratamento simbolico de variaveis de entrada deste mesmo programa. Este conjunto de predicados pode ser utilizado na identificacao de um novo teste a ser submetido ao programa.
650 $acomputer software
650 $acomputers
653 $aComputador eletronico
653 $aElectron
653 $aLinguagem
653 $aProgramacao
653 $aSistema
653 $aSystems
653 $aTest
653 $aTeste
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Semiárido (CPATSA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
Registro Completo
|
Biblioteca(s): |
Embrapa Florestas. |
|
Data corrente: |
15/02/2022 |
|
Data da última atualização: |
23/02/2022 |
|
Autoria: |
CARVALHO, P. E. R. |
|
Afiliação: |
PAULO ERNANI RAMALHO CARVALHO, CNPF. |
|
Título: |
Pau-de-rosas Physocalymma scaberrimum. |
|
Ano de publicação: |
2010 |
|
Fonte/Imprenta: |
In: CARVALHO, P. E. R. Espécies arbóreas brasileiras. Brasília: Embrapa Informação Tecnológica; Colombo: Embrapa Florestas, 2010. v. 4, p. 419-425. |
|
Série: |
(Coleção espécies arbóreas brasileiras, v. 4). |
|
Idioma: |
Português |
|
Conteúdo: |
NOMES VULGARES POR UNIDADES DA FEDERAÇÃO: no Acre, itaubarana-da-capoeira; no Amazonas, pau-rosa, pau-de-rosas e roxinha; no Distrito Federal, resedá-brasileiro; em Goiás e em Tocantins, capitão-do-mato, cega-machado e nó-de-porco; em Mato Grosso, aricá e cegamachado. NOME COMERCIAL INTERNACIONAL: false rose wood e tulipwood. |
|
Palavras-Chave: |
Descrição; Ocorrência; Pau de rosas; Physocalymma scaberrimum; Uso. |
|
Thesagro: |
Crescimento; Espécie Nativa; Madeira; Nomenclatura; Taxonomia. |
|
Categoria do assunto: |
K Ciência Florestal e Produtos de Origem Vegetal |
|
URL: |
https://ainfo.cnptia.embrapa.br/digital/bitstream/item/231803/1/Especies-Arboreas-Brasileiras-vol-4-Pau-de-Rosas.pdf
|
|
Marc: |
LEADER 01107naa a2200253 a 4500
001 2140049
005 2022-02-23
008 2010 bl uuuu u00u1 u #d
100 1 $aCARVALHO, P. E. R.
245 $aPau-de-rosas Physocalymma scaberrimum.
260 $c2010
490 $a(Coleção espécies arbóreas brasileiras, v. 4).
520 $aNOMES VULGARES POR UNIDADES DA FEDERAÇÃO: no Acre, itaubarana-da-capoeira; no Amazonas, pau-rosa, pau-de-rosas e roxinha; no Distrito Federal, resedá-brasileiro; em Goiás e em Tocantins, capitão-do-mato, cega-machado e nó-de-porco; em Mato Grosso, aricá e cegamachado. NOME COMERCIAL INTERNACIONAL: false rose wood e tulipwood.
650 $aCrescimento
650 $aEspécie Nativa
650 $aMadeira
650 $aNomenclatura
650 $aTaxonomia
653 $aDescrição
653 $aOcorrência
653 $aPau de rosas
653 $aPhysocalymma scaberrimum
653 $aUso
773 $tIn: CARVALHO, P. E. R. Espécies arbóreas brasileiras. Brasília: Embrapa Informação Tecnológica; Colombo: Embrapa Florestas, 2010.$gv. 4, p. 419-425.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Florestas (CNPF) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
