|
|
Registro Completo |
Biblioteca(s): |
Embrapa Agricultura Digital. |
Data corrente: |
29/07/1996 |
Data da última atualização: |
20/08/2007 |
Autoria: |
MEIRA, S. L.; SANTOS, C. S. dos. |
Título: |
SmallVDM: an environment for formal specification and prototyping in ssmalltalk. |
Ano de publicação: |
1991 |
Fonte/Imprenta: |
In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 5., 1991, Ouro Preto. Anais... Belo Horizonte: UFMG, [1991?]. |
Páginas: |
p.221-236. |
Idioma: |
Inglês |
Conteúdo: |
We present an environment for specification and prototyping of object-oriented systems in smalltalk along with a style of specification, which allows the definition of some object-oriented characteristics in VDM. A set of auxiliary tools simulates the development of specifications on-line and fast prototyping. The prsentation is mostly informal and the mechanism is exemplified by giving an object-based specification of a simple process scheduler. We discuss the gains of using formal methods, coupled with a good programming environment, in the implementation of object-oriented software systems. |
Categoria do assunto: |
-- |
Marc: |
LEADER 01077naa a2200145 a 4500 001 1003095 005 2007-08-20 008 1991 bl uuuu u00u1 u #d 100 1 $aMEIRA, S. L. 245 $aSmallVDM$ban environment for formal specification and prototyping in ssmalltalk. 260 $c1991 300 $ap.221-236. 520 $aWe present an environment for specification and prototyping of object-oriented systems in smalltalk along with a style of specification, which allows the definition of some object-oriented characteristics in VDM. A set of auxiliary tools simulates the development of specifications on-line and fast prototyping. The prsentation is mostly informal and the mechanism is exemplified by giving an object-based specification of a simple process scheduler. We discuss the gains of using formal methods, coupled with a good programming environment, in the implementation of object-oriented software systems. 700 1 $aSANTOS, C. S. dos 773 $tIn: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 5., 1991, Ouro Preto. Anais... Belo Horizonte: UFMG, [1991?].
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 Solos. |
Data corrente: |
22/01/2016 |
Data da última atualização: |
26/05/2017 |
Tipo da produção científica: |
Autoria/Organização/Edição de Livros |
Autoria: |
MONTANARELLA, L.; BADRAOUI, M.; CHUDE, V.; COSTA, I. dos S. B.; MAMO, T.; YEMEFACK, M.; AULANG, M. S.; YAGI, K.; HONG, S. Y.; VIJARNSORN, P.; ZHANG, G. L.; ARROUAYS, D.; BLACK, H.; KRASILNIKOV, P.; SOBOCA, J.; ALEGRE, J.; HENRIQUEZ, C. R.; MENDONCA-SANTOS, M. de L.; TABOADA, M.; VICTORIA, D. E.; ALSHANKITI, A.; PANAH, S. K. A.; EL MUSTAFA EL SHEIKH, E. A.; HEMPEL, J.; PENNOCK, D.; CAMPS ARBESTAIN, M.; MCKENZIE, N. (ed.). |
Afiliação: |
LUCA MONTANARELLA; MOHAMED BADRAOUI; VICTOR CHUDE; ISAURINDA DOS SANTOS BAPTISTA COSTA; TEKALIGN MAMO; MARTIN YEMEFACK; MILKHA SINGH AULANG; KAZUYUKI YAGI; SUK YOUNG HONG; PISOOT VIJARNSORN; GAN LIN ZHANG; DOMINIQUE ARROUAYS; HELAINA BLACK; PAVEL KRASILNIKOV; JAROSLAVA SOBOCA; JULIO ALEGRE; CARLOS ROBERTO HENRIQUEZ; MARIA DE LOURDES M SANTOS BREFIN, CNPS; MIGUEL TABOADA; DAVID ESPINOSA VICTORIA; ABDULLAH ALSHANKITI; SAYED KAZEM ALAVI PANAH; ELSIDDIG AHMED EL MUSTAFA EL SHEIKH; JON HEMPEL; DAN PENNOCK; MARTA CAMPS ARBESTAIN; NEIL MCKENZIE. |
Título: |
Status of the world's soil resources: main report. |
Ano de publicação: |
2015 |
Fonte/Imprenta: |
Rome: FAO, 2015. |
Páginas: |
xxxix, 608 p. |
Descrição Física: |
il. color. |
DOI: |
978-92-5-109004-6 |
Idioma: |
Inglês |
Thesagro: |
Biodiversidade; Recurso do solo; Solo. |
Categoria do assunto: |
P Recursos Naturais, Ciências Ambientais e da Terra |
URL: |
https://ainfo.cnptia.embrapa.br/digital/bitstream/item/137528/1/2015-142.pdf
|
Marc: |
LEADER 01233nam a2200469 a 4500 001 2034770 005 2017-05-26 008 2015 bl uuuu 00u1 u #d 024 7 $a978-92-5-109004-6$2DOI 100 1 $aMONTANARELLA, L. 245 $aStatus of the world's soil resources$bmain report.$h[electronic resource] 260 $aRome: FAO$c2015 300 $axxxix, 608 p.$cil. color. 650 $aBiodiversidade 650 $aRecurso do solo 650 $aSolo 700 1 $aBADRAOUI, M. 700 1 $aCHUDE, V. 700 1 $aCOSTA, I. dos S. B. 700 1 $aMAMO, T. 700 1 $aYEMEFACK, M. 700 1 $aAULANG, M. S. 700 1 $aYAGI, K. 700 1 $aHONG, S. Y. 700 1 $aVIJARNSORN, P. 700 1 $aZHANG, G. L. 700 1 $aARROUAYS, D. 700 1 $aBLACK, H. 700 1 $aKRASILNIKOV, P. 700 1 $aSOBOCA, J. 700 1 $aALEGRE, J. 700 1 $aHENRIQUEZ, C. R. 700 1 $aMENDONCA-SANTOS, M. de L. 700 1 $aTABOADA, M. 700 1 $aVICTORIA, D. E. 700 1 $aALSHANKITI, A. 700 1 $aPANAH, S. K. A. 700 1 $aEL MUSTAFA EL SHEIKH, E. A. 700 1 $aHEMPEL, J. 700 1 $aPENNOCK, D. 700 1 $aCAMPS ARBESTAIN, M. 700 1 $aMCKENZIE, N.
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Solos (CNPS) |
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|