| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
30/05/1996 |
|
Data da última atualização: |
17/08/2007 |
|
Autoria: |
BARROS, R. S. M. de. |
|
Título: |
Specification and derivation of relational database programs. |
|
Ano de publicação: |
1995 |
|
Fonte/Imprenta: |
In: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 22.; CONFERÊNCIA LATINO-AMERICANA, 21., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática, 1995. |
|
Volume: |
v.1 |
|
Páginas: |
p.387-398 |
|
Idioma: |
Inglês |
|
Conteúdo: |
The development of database applications is usually carried out informally. The derivation of database programs directly from formal specification is a well known and unsolved problem. Most of the previous work on the area either tried to solve the problem too generally or was restricted to some trivial aspects, for example deriving the database structure and/or simple operations. However difficult in general, deriving relational database applications directly from z specifications satisfyng a certain set of rules (the method) is not arduous. With appropriate tool support, writting formal specifications according to the method and deriving the corresponding relational database programs can be straightforward. Moreover, it should produce code which is standardized and thus easier to understand and maintain. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 01324naa a2200145 a 4500
001 1002571
005 2007-08-17
008 1995 bl uuuu u00u1 u #d
100 1 $aBARROS, R. S. M. de
245 $aSpecification and derivation of relational database programs.
260 $c1995
300 $ap.387-398 v.1
490 $vv.1
520 $aThe development of database applications is usually carried out informally. The derivation of database programs directly from formal specification is a well known and unsolved problem. Most of the previous work on the area either tried to solve the problem too generally or was restricted to some trivial aspects, for example deriving the database structure and/or simple operations. However difficult in general, deriving relational database applications directly from z specifications satisfyng a certain set of rules (the method) is not arduous. With appropriate tool support, writting formal specifications according to the method and deriving the corresponding relational database programs can be straightforward. Moreover, it should produce code which is standardized and thus easier to understand and maintain.
773 $tIn: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 22.; CONFERÊNCIA LATINO-AMERICANA, 21., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática, 1995.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
Registro Completo
|
Biblioteca(s): |
Embrapa Amazônia Oriental. |
|
Data corrente: |
21/02/2013 |
|
Data da última atualização: |
21/02/2013 |
|
Tipo da produção científica: |
Artigo em Anais de Congresso |
|
Autoria: |
MARQUES, J. R. F.; FIGUEIRO, M. R.; COSTA, J. S.; MARQUES, L. C.; COSTA, M. R. |
|
Afiliação: |
JOSE RIBAMAR FELIPE MARQUES, CPATU; MARIVALDO RODRIGUES FIGUEIRO, CPATU; JULIANE SILVA COSTA, UFRA; LARISSA COELHO MARQUES, UFPA; MARIA ROSA TRAVASSOS DA ROSA COSTA, CPATU. |
|
Título: |
O mini-cavalo (Equus caballus) puruca da ilha de Marajó - Brasil. |
|
Ano de publicação: |
2012 |
|
Fonte/Imprenta: |
In: CONGRESSO BRASILEIRO DE RECURSOS GENÉTICOS, 2., 2012, Belém, PA. Anais... Brasília, DF: Sociedade Brasileira de Recursos Genéticos, 2012. |
|
Descrição Física: |
1 CD-ROM. |
|
Idioma: |
Português |
|
Conteúdo: |
O mini-cavalo Puruca em conservação no BAGAM - Banco de Germoplasma Animal da Amazônia Oriental constitui uma pequena população, sendo resultado do cruzamento do cavalo Marajoara com o pônei da raça francesa ?Shetland?, que foi selecionado até atingir a altura padrão de 1,18m. A Associação Brasileira de Criadores da Raça Puruca ? ABCRP cita que a raça possui inúmeras características morfológicas que o tornam um grupo diferenciado. Os animais são criados em Salvaterra, ilha de Marajó, PA. Os descritores estudados são: Altura da Cernelha (AC), Altura do Dorso (AD), Altura da Garupa (AG), Altura de Costados (ACo), Comprimento da Cabeça (CCa), Comprimento do Pescoço (CP), Comprimento Dorso-Lombo (CDL), Comprimento da Garupa (CG), Comprimento da Espádua (CE), Comprimento do Corpo (CC), Largura da Cabeça (LC), Largura do Peito (LP), Largura das Ancas (LA), Perímetro do Tórax (PT) e Perímetro da Canela (PC), além dos pesos nas idades padrões. A raça, com base em marcadores microssatélites, é uma variedade da raça Marajoara, em função de cruzamentos entre os dois grupos genéticos e seleção para o menor porte. Este trabalho apresenta resultados parciais dos principais descritores, além de avaliar o comportamento e o desempenho da raça em conservação. |
|
Palavras-Chave: |
Medidas corporais; Pesos; Subespécie. |
|
Thesagro: |
Marajoara. |
|
Categoria do assunto: |
-- |
|
URL: |
https://ainfo.cnptia.embrapa.br/digital/bitstream/item/76989/1/558.pdf
|
|
Marc: |
LEADER 01976nam a2200217 a 4500
001 1950513
005 2013-02-21
008 2012 bl uuuu u00u1 u #d
100 1 $aMARQUES, J. R. F.
245 $aO mini-cavalo (Equus caballus) puruca da ilha de Marajó - Brasil.
260 $aIn: CONGRESSO BRASILEIRO DE RECURSOS GENÉTICOS, 2., 2012, Belém, PA. Anais... Brasília, DF: Sociedade Brasileira de Recursos Genéticos$c2012
300 $c1 CD-ROM.
520 $aO mini-cavalo Puruca em conservação no BAGAM - Banco de Germoplasma Animal da Amazônia Oriental constitui uma pequena população, sendo resultado do cruzamento do cavalo Marajoara com o pônei da raça francesa ?Shetland?, que foi selecionado até atingir a altura padrão de 1,18m. A Associação Brasileira de Criadores da Raça Puruca ? ABCRP cita que a raça possui inúmeras características morfológicas que o tornam um grupo diferenciado. Os animais são criados em Salvaterra, ilha de Marajó, PA. Os descritores estudados são: Altura da Cernelha (AC), Altura do Dorso (AD), Altura da Garupa (AG), Altura de Costados (ACo), Comprimento da Cabeça (CCa), Comprimento do Pescoço (CP), Comprimento Dorso-Lombo (CDL), Comprimento da Garupa (CG), Comprimento da Espádua (CE), Comprimento do Corpo (CC), Largura da Cabeça (LC), Largura do Peito (LP), Largura das Ancas (LA), Perímetro do Tórax (PT) e Perímetro da Canela (PC), além dos pesos nas idades padrões. A raça, com base em marcadores microssatélites, é uma variedade da raça Marajoara, em função de cruzamentos entre os dois grupos genéticos e seleção para o menor porte. Este trabalho apresenta resultados parciais dos principais descritores, além de avaliar o comportamento e o desempenho da raça em conservação.
650 $aMarajoara
653 $aMedidas corporais
653 $aPesos
653 $aSubespécie
700 1 $aFIGUEIRO, M. R.
700 1 $aCOSTA, J. S.
700 1 $aMARQUES, L. C.
700 1 $aCOSTA, M. R.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Amazônia Oriental (CPATU) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
| Expressão de busca inválida. Verifique!!! |
|
|
