|
|
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
|
|
Registros recuperados : 48 | |
3. | | ROCHA, C. R. M. da; CRUZ, E. D.; MARTINS, L. de L.; SANTOS, C. S. dos. Caracterização de frutos oriundos de clones de cupuaçu. In: CONGRESSO BRASILEIRO DE FRUTICULTURA, 20.; ANNUAL MEETING OF THE INTERAMERICAN SOCIETY FOR TROPICAL HORTICULTURE, 54., 2008, Vitória. Frutas para todos: estratégias, tecnologias e visão sustentável: anais. Vitória: INCAPER: Sociedade Brasileira de Fruticultura, 2008. 1 CD-ROM.Tipo: Artigo em Anais de Congresso |
Biblioteca(s): Embrapa Amazônia Oriental. |
| |
7. | | MANOS, M. G. L.; GONCALVES, L. O.; RIBEIRO, J. M. C.; SANTOS, C. S. Sistema participativo de garantia de rede de agroecologia plantar para vida: trajetória e construção coletiva. In: CONGRESSO DA SOCIEDADE BRASILEIRA DE ECONOMIA, ADMINISTRAÇÃO E SOCIOLOGIA RURAL, 58., 2020, Foz do Iguaçu. Cooperativismo, inovação e sustentabilidade para o desenvolvimento rural: anais. Foz do Iguaçu: SOBER, 2020. 4 p. SOBER 2020.Tipo: Artigo em Anais de Congresso |
Biblioteca(s): Embrapa Tabuleiros Costeiros. |
| |
9. | | FEITOSA FILHO, J. C.; LEITE JUNIOR, G. P.; CAVALCANTE, L. F.; SANTOS, C. S.; LOPES, W. F.; PINTO, J. M. Resposta da cultura do pimentao a diferentes doses de N e K aplicadas por fertirrigacao em comparacao a adubacao convencional. In: WORKSHOP DE FERTIRRIGACAO, 2., 2001, Piracicaba. Artigos cientificos... Piracicaba: ESALQ/USP, 2001. p. 19-31.Tipo: Artigo em Anais de Congresso |
Biblioteca(s): Embrapa Semiárido. |
| |
10. | | SANTOS, C. S. dos; JESUS, V. L. T. de; McINTOSH, D.; BERTO, B. P.; LOPES, C. W. G. Co-infection by Tritrichomonas foetus and Pentatrichomonas hominis in asymptomatic cats. Pesquisa Veterinária Brasileira, Brasília, DF, v. 35, n. 12, p. 980-988, dez. 2015.Biblioteca(s): Embrapa Unidades Centrais. |
| |
11. | | RIBEIRO, M. E. R.; KOLLING, G. J.; ZANELA, M. B.; SANTOS, C. S. dos; PERIN, L.; FISCHER, V. Composição do leite normal e do LINA em rebanho jersey: resultados preliminares 2011. In.: CONFERENCIA INTERNACIONAL SOBRE LECHE INESTABLE, 2., 2011, Colonia. [Anais...]. Colonia: Instituto Nacional de Investigación Agropecuaria de Uruguay, 2011. p. 62.Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Clima Temperado. |
| |
13. | | FEITOSA FILHO, J. C.; CAVALCANTE, L. F.; SANTOS, C. S.; LEITE JUNIOR, G. P.; LOPES, W. F.; PINTO, J. M. Estudos de doses de nitrogenio e de potassio aplicadas em banana por fertirrigacao em comparacao a adubacao convencional. In: WORKSHOP DE FERTIRRIGACAO, 2., 2001, Piracicaba. Artigos cientificos... Piracicaba: ESALQ/USP, 2001. p. 48-66.Tipo: Artigo em Anais de Congresso |
Biblioteca(s): Embrapa Semiárido. |
| |
14. | | FEITOSA FILHO, J. C.; CAVALCANTE, L. F.; LEITE JUNIOR, G. P.; SANTOS, C. S.; LOPES, W. F.; PINTO, J. M. Estudos de doses de nitrogenio e de potassio aplicadas no pimentao por fertirrigacao em comparacao a adubacao convencional. In: WORKSHOP DE FERTIRRIGACAO, 2., 2001, Piracicaba. Artigos cientificos... Piracicaba: ESALQ: USP, 2001. p. 32-47.Tipo: Artigo em Anais de Congresso |
Biblioteca(s): Embrapa Semiárido. |
| |
16. | | SANTOS, C. S. dos; PEREIRA, F. A. C.; MAURI, J.; VIANA, M. T. R.; RODRIGUES, G. C.; VEIGA, A. D.; BARTHOLO, G. F.; CARVALHO, M. A. de F. Assessment of leaf anatomic and physiological characteristics and genetic divergence among Coffea arabica L. cultivars in the Brazilian Savanna. Pesquisa Agropecuaria Tropical, v. 52, e73265, 2022.Tipo: Artigo em Periódico Indexado | Circulação/Nível: B - 1 |
Biblioteca(s): Embrapa Agricultura Digital. |
| |
17. | | SANTOS, C. S. dos; MATOS, N. M. S. de; REZENDE, T. T.; MAURI, J.; RODRIGUES, G. C.; VEIGA, A. D.; BARTHOLO, G. F.; CARVALHO, M. A. de F. Agronomic, anatomic and physiological characterization of Coffea arabica L. genotypes on irrigated system in the Central Cerrado. Coffee Science, v. 17, e172021, 2022.Tipo: Artigo em Periódico Indexado | Circulação/Nível: B - 3 |
Biblioteca(s): Embrapa Agricultura Digital; Embrapa Café; Embrapa Cerrados. |
| |
18. | | MOMBACH, M. A.; PEDREIRA, B. C. e; SANTOS, M. L.; CABRAL, L. S.; SANTOS, C. S. A.; SILVA, A. M. P. Fator de resposta produtiva de mombaça e marandu ao déficit hídrico. Nativa, v. 7, n. 6, p. 807-812, 2019.Tipo: Artigo em Periódico Indexado | Circulação/Nível: B - 2 |
Biblioteca(s): Embrapa Agrossilvipastoril. |
| |
19. | | BRUN, A. G.; SOARES, J. P. R.; RIBEIRO, M. E. R.; SPALLONE, M. G.; SANTOS, C. S.; MACHADO, S. C.; ZANELA, M. B. Infuência do bronopol na instabilidade do leite e na identificação do leite instável não ácido (lina). In: ENCONTRO DE INICIAÇÃO CIENTÍFICA E PÓS-GRADUAÇÃO DA EMBRAPA CLIMA TEMPERADO, 4., 2012, Pelotas. Ciência e inovação para 2050: qual o futuro que queremos? Resumos e palestras... Pelotas: Embrapa Clima Temperado, 2012. 1 CD-ROM.Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Clima Temperado. |
| |
20. | | DIAS, L. L. de C.; MENDES, A. N. G.; SANTOS, C. S. dos; CARVALHO, M. A. de F.; RODRIGUES, G. C.; BARTHOLO, G. F. Densidade estomática de genótipos de Coffea arabica em condições de Cerrado do Planalto Central do Brasil. In: CONGRESSO DE INICIAÇÃO CIENTÍFICA, 30; CONGRESSO DE EXTENSÃO, 12; CONGRESSO DA PÓS-GRADUAÇÃO, 26., 2017. Lavras. Inovação tecnológica na Universidade de Lavras. Lavras: UFLA, 2017.Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Agricultura Digital. |
| |
Registros recuperados : 48 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|