| |
|
|
|
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
|
|
|
| Registros recuperados : 2 | |
| 1. |  | ARAÚJO, P. A. de; OLIVEIRA, T. C.; SOUSA, L. V. F. de; AMORIM, L. L. de O.; MENEGUZZI, E. R.; MARTINS, M. L.; MACIEL, P. O. Atividade in vitro de cloreto de sódio contra Dawestrema cycloancistrium Monogenea : Dactylogyridae ) de pirarucu (Arapaima gigas). In: CONGRESSO BRASILEIRO DE AQUICULTURA E BIOLOGIA AQUÁTICA, 9., 2021. AQUACIÊNCIA DIGITAL 2021. [S.l.]: Aquabio, 2021.| Tipo: Resumo em Anais de Congresso |
| Biblioteca(s): Embrapa Pesca e Aquicultura. |
|    |
| 2. | | ARAÚJO, P. A. de; OLIVEIRA, T. C.; SOUSA, L. V. F. de; AMORIM, L. L. de O.; MENEGUZZI, E. R.; MARTINS, M. L.; MACIEL, P. O. Atividade in vitro de triclorfon contra Dawestrema cycloancistrium Monogenea : Dactylogyridae ) de pirarucu Arapaima gigas. In: CONGRESSO BRASILEIRO DE AQUICULTURA E BIOLOGIA AQUÁTICA, 9., 2021. AQUACIÊNCIA DIGITAL 2021. [S.l.]: Aquabio, 2021.| Tipo: Resumo em Anais de Congresso |
| Biblioteca(s): Embrapa Pesca e Aquicultura. |
| |
| Registros recuperados : 2 | |
|
| Expressão de busca inválida. Verifique!!! |
|
|
