|
|
Registro Completo |
Biblioteca(s): |
Embrapa Agricultura Digital. |
Data corrente: |
11/06/1996 |
Data da última atualização: |
25/03/2011 |
Autoria: |
CARDOSO, R. |
Afiliação: |
RODRIGO CARDOSO, Universidad de los Andes. |
Título: |
Design, verification and certified implementation of abstract data types. |
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.2 |
Páginas: |
p. 1039-1050. |
Idioma: |
Inglês |
Conteúdo: |
ManTa is a design, verification and certified implementation tool for equational Abstract Data Types (ADTs). In the design phase, ManTa helps the user in syntactic and semantic aspects, like definition of total functions, and allows an easy construction of ADTs which are built in terms of other already defined ADTs by means of products, direct sums, restrictions and enrichments. ManTa includes a theorem prover specially oriented to prove algebraic properties of ADTs, which can be used to validate abstract implementations. ManTa produces automatically prototypes (ANSI C implementations) for ADTs, which may be transformed manually into other which preserve correctness. Finally, the performance of the prototypes may be observed on an automatically generated execution environment, where the user can create, manipulate and evaluate objects of the implemented types. As a software product, ManTa was developed on a free software platform (GNU emacs, gcc). It is very portable system for which it is easy to develop other interfaces according to the actual resources of an installation. |
Palavras-Chave: |
Engenharia de software; Especificação formal; Software. |
Thesaurus Nal: |
Design. |
Categoria do assunto: |
X Pesquisa, Tecnologia e Engenharia |
Marc: |
LEADER 01733naa a2200193 a 4500 001 1002683 005 2011-03-25 008 1995 bl uuuu u00u1 u #d 100 1 $aCARDOSO, R. 245 $aDesign, verification and certified implementation of abstract data types. 260 $c1995 300 $ap. 1039-1050. v.2 490 $vv.2 520 $aManTa is a design, verification and certified implementation tool for equational Abstract Data Types (ADTs). In the design phase, ManTa helps the user in syntactic and semantic aspects, like definition of total functions, and allows an easy construction of ADTs which are built in terms of other already defined ADTs by means of products, direct sums, restrictions and enrichments. ManTa includes a theorem prover specially oriented to prove algebraic properties of ADTs, which can be used to validate abstract implementations. ManTa produces automatically prototypes (ANSI C implementations) for ADTs, which may be transformed manually into other which preserve correctness. Finally, the performance of the prototypes may be observed on an automatically generated execution environment, where the user can create, manipulate and evaluate objects of the implemented types. As a software product, ManTa was developed on a free software platform (GNU emacs, gcc). It is very portable system for which it is easy to develop other interfaces according to the actual resources of an installation. 650 $aDesign 653 $aEngenharia de software 653 $aEspecificação formal 653 $aSoftware 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 Milho e Sorgo. |
Data corrente: |
08/02/2017 |
Data da última atualização: |
09/02/2017 |
Tipo da produção científica: |
Resumo em Anais de Congresso |
Autoria: |
CARVALHO, A. J. de; SOUZA, V. B. de; SILVA, K. J. D.; ROCHA, M. de M.; PEREIRA FILHO, I. A.; BATISTA, P. S. C.; BRITO, O. G. |
Afiliação: |
ABNER JOSE DE CARVALHO, UNIMONTES, Campos de Janaúba, MG.; VANET BATISTA DE SOUZA, UEM, Colombo, PR.; KAESEL JACKSON DAMASCENO SILVA, CPAMN; MAURISRAEL DE MOURA ROCHA, CPAMN; ISRAEL ALEXANDRE PEREIRA FILHO, CNPMS; PAULO SERGIO CARDOSO BATISTA, UNIMONTES, Campos de Janaúba, MG.; ORLANDO GONÇALVES BRITO, UFVJM, Diamantina, MG. |
Título: |
Adaptabilidade e estabilidade produtiva de linhagens elite e cultivares de feijão-caupi de porte prostrado em ambientes de Mato Grosso e Minas Gerais. |
Ano de publicação: |
2016 |
Fonte/Imprenta: |
In: CONGRESSO NACIONAL DE FEIJÃO-CAUPI, 4., 2016, Sorriso. Feijão-caupi: avanços e desafios tecnológicos e de mercado: resumos. Brasília, DF: Embrapa, 2016. |
Páginas: |
p. 131. |
Idioma: |
Português |
Palavras-Chave: |
Ensaios de VCU. |
Thesagro: |
Feijão de corda; Produtividade; Vigna unguiculata. |
Categoria do assunto: |
F Plantas e Produtos de Origem Vegetal |
URL: |
https://ainfo.cnptia.embrapa.br/digital/bitstream/item/155027/1/Adaptabilidade-estabilidade-21.pdf
|
Marc: |
LEADER 00873nam a2200229 a 4500 001 2063137 005 2017-02-09 008 2016 bl uuuu u00u1 u #d 100 1 $aCARVALHO, A. J. de 245 $aAdaptabilidade e estabilidade produtiva de linhagens elite e cultivares de feijão-caupi de porte prostrado em ambientes de Mato Grosso e Minas Gerais.$h[electronic resource] 260 $aIn: CONGRESSO NACIONAL DE FEIJÃO-CAUPI, 4., 2016, Sorriso. Feijão-caupi: avanços e desafios tecnológicos e de mercado: resumos. Brasília, DF: Embrapa$c2016 300 $ap. 131. 650 $aFeijão de corda 650 $aProdutividade 650 $aVigna unguiculata 653 $aEnsaios de VCU 700 1 $aSOUZA, V. B. de 700 1 $aSILVA, K. J. D. 700 1 $aROCHA, M. de M. 700 1 $aPEREIRA FILHO, I. A. 700 1 $aBATISTA, P. S. C. 700 1 $aBRITO, O. G.
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Milho e Sorgo (CNPMS) |
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|