|
|
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 : 1.754 | |
129. | | SANTOS, C. D. M. dos; VELOSO, C. A. C. Comportamento de plantas de açaizeiro em relação a diferentes doses de NPK na fase de formação e produção. In: SEMINÁRIO CIENTÍFICO DA UFRA, 7.; SEMINÁRIO [DE INICIAÇÃO CIENTÍFICA] DA EMBRAPA AMAZÔNIA ORIENTAL, 13.; SEMINÁRIO DE PESQUISA DA UFRA, 1., 2009, Belém, PA. Pesquisa e desenvolvimento tecnológico na formação do jovem cientista: anais. Belém, PA: UFRA: Embrapa Amazônia Oriental, 2009. 1 CD-ROM.Biblioteca(s): Embrapa Amazônia Oriental. |
| |
134. | | SOUZA, V. A. B. de; SANTOS, C. A. F. Biotecnologia. In: FREIRE FILHO, F. R.; LIMA, J. A. de A.; RIBEIRO, V. Q. (Ed. tecn.). Feijão caupi: avanços tecnológicos. Brasília, DF: Embrapa Informação Tecnológica, 2005. cap. 2, p. 93-156.Tipo: Capítulo em Livro Técnico-Científico |
Biblioteca(s): Embrapa Meio-Norte; Embrapa Semiárido. |
| |
136. | | RIBEIRO, H. L. C.; SANTOS, C. A. F. Correlações simples e análise de trilha de caracteres relacionados à arquitetura da planta, precocidade e produção de grãos em três gerações de um cruzamento de feijão caupi. In: ENCONTRO DE GENÉTICA DO NORDESTE, 19.; SIMPÓSIO DE GENÉTICA HUMANA E MÉDICA DO NORDESTE, 1.; GENÉTICA NA PRAÇA, 2012, Petrolina, Juazeiro. A genética, a natureza e o ser humano: mudando mentalidades e transformando vidas. Petrolina: Embrapa Semiárido: UNIVASF: SBG, 2012. 1 CD-ROM.Tipo: Resumo em Anais de Congresso |
Biblioteca(s): Embrapa Semiárido. |
| |
Registros recuperados : 1.754 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|