| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
13/02/1998 |
|
Data da última atualização: |
13/02/1998 |
|
Autoria: |
MACARIO, C. G. N. |
|
Afiliação: |
Embrapa-CNPTIA. |
|
Título: |
O uso combinado da técnica de modelagem baseada em objetos OMT com a linguagem de especificação formal SDL como metodologia alternativa para o densevolvimento do ambiente de software AIDA. |
|
Ano de publicação: |
1997 |
|
Fonte/Imprenta: |
1997. |
|
Páginas: |
144 f. |
|
Idioma: |
Português |
|
Notas: |
Dissertação (Mestrado ) - Faculdade de Engenharia Elérica e de Computação, Universidade Estadual de Campinas. |
|
Conteúdo: |
Este trabalho propõe uma metodologia alternativa para o desenvolvimento e evolução do AIDA, um software para o gerenciamento e análise de dados experimentais, em desenvolvimento na Embrapa. Esta nova metodologia consiste no uso combinado da técnica OMT (Object Modeling Technique) com a linguagem de especificação formal SDL (Specification and Description Language), e apresenta facilidades que produzem ganhos no processo de desenvolvimento de software, como a possibilidade de validade e de simulação do sistema, e tambem a geração de código para sua prototipação. A partir do modelo de classes proposto pela OMT, passa-se a especificação do sistema em SDL, levando-se em conta na elaboração de ambos os modelos, conceitos como reuso, herança e evoluçao de sistemas. A validade, a simulação e a geração de código do sistema tornando-se possíveis com o uso da ferramenta CASE SDT (SDL Design Tool - Telelogic, Suecia). E apresentada a evolução do ambiente AIDA centralizado até uma versão distribuída, considerando uma arquitetura cliente-servidor com mecanismo CORBA, bem como exemplos de simulação e de validação destes sistemas. |
|
Palavras-Chave: |
Ambiente de software AIDA; Ambiente integrado de desenvolvimento e analise; Common object request broker arquitectute - CORBA; Development and analysis ntegrated environment; Engenharia de software; Especificacao formal; Evolução de software; IDL; Intefrace definition language; Message sequence chart - MSC; Object modeling technique - OMT; Prototipação; Specification and description language - SDL; Validação. |
|
Thesagro: |
Simulação. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 02387nam a2200313 a 4500
001 1005940
005 1998-02-13
008 1997 bl uuuu m 00u1 u #d
100 1 $aMACARIO, C. G. N.
245 $aO uso combinado da técnica de modelagem baseada em objetos OMT com a linguagem de especificação formal SDL como metodologia alternativa para o densevolvimento do ambiente de software AIDA.
260 $a1997.$c1997
300 $a144 f.
500 $aDissertação (Mestrado ) - Faculdade de Engenharia Elérica e de Computação, Universidade Estadual de Campinas.
520 $aEste trabalho propõe uma metodologia alternativa para o desenvolvimento e evolução do AIDA, um software para o gerenciamento e análise de dados experimentais, em desenvolvimento na Embrapa. Esta nova metodologia consiste no uso combinado da técnica OMT (Object Modeling Technique) com a linguagem de especificação formal SDL (Specification and Description Language), e apresenta facilidades que produzem ganhos no processo de desenvolvimento de software, como a possibilidade de validade e de simulação do sistema, e tambem a geração de código para sua prototipação. A partir do modelo de classes proposto pela OMT, passa-se a especificação do sistema em SDL, levando-se em conta na elaboração de ambos os modelos, conceitos como reuso, herança e evoluçao de sistemas. A validade, a simulação e a geração de código do sistema tornando-se possíveis com o uso da ferramenta CASE SDT (SDL Design Tool - Telelogic, Suecia). E apresentada a evolução do ambiente AIDA centralizado até uma versão distribuída, considerando uma arquitetura cliente-servidor com mecanismo CORBA, bem como exemplos de simulação e de validação destes sistemas.
650 $aSimulação
653 $aAmbiente de software AIDA
653 $aAmbiente integrado de desenvolvimento e analise
653 $aCommon object request broker arquitectute - CORBA
653 $aDevelopment and analysis ntegrated environment
653 $aEngenharia de software
653 $aEspecificacao formal
653 $aEvolução de software
653 $aIDL
653 $aIntefrace definition language
653 $aMessage sequence chart - MSC
653 $aObject modeling technique - OMT
653 $aPrototipação
653 $aSpecification and description language - SDL
653 $aValidação
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
 | Acesso ao texto completo restrito à biblioteca da Embrapa Roraima. Para informações adicionais entre em contato com cpafrr.biblioteca@embrapa.br. |
Registro Completo
|
Biblioteca(s): |
Embrapa Roraima. |
|
Data corrente: |
30/06/2014 |
|
Data da última atualização: |
30/06/2014 |
|
Tipo da produção científica: |
Resumo em Anais de Congresso |
|
Autoria: |
ALBUQUERQUE, T. C. S. de; DUARTE, O. R.; SOUZA, O. M. de. |
|
Afiliação: |
TERESINHA COSTA S DE ALBUQUERQUE, CPAF-RR; OTONIEL RIBEIRO DUARTE, CPAF-RR. |
|
Título: |
Floração em genótipos de bananeira nas condições climáticas do cerrado de Roraima. |
|
Ano de publicação: |
2012 |
|
Fonte/Imprenta: |
In: SIMPÓSIO INTERNACIONAL DE BOTÂNICA APLICADA. 1.; SIMPÓSIO NACIONAL DE FRUTÍFERAS DO NORTE E NORDESTE, 1., 2012, Lavras. [Resumos]. Lavras: UFLA, 2012. I SINBOT. |
|
Idioma: |
Português |
|
Thesagro: |
Fenologia. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 00562naa a2200145 a 4500
001 1989313
005 2014-06-30
008 2012 bl --- 0-- u #d
100 1 $aALBUQUERQUE, T. C. S. de
245 $aFloração em genótipos de bananeira nas condições climáticas do cerrado de Roraima.
260 $c2012
650 $aFenologia
700 1 $aDUARTE, O. R.
700 1 $aSOUZA, O. M. de
773 $tIn: SIMPÓSIO INTERNACIONAL DE BOTÂNICA APLICADA. 1.; SIMPÓSIO NACIONAL DE FRUTÍFERAS DO NORTE E NORDESTE, 1., 2012, Lavras. [Resumos]. Lavras: UFLA, 2012. I SINBOT.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Roraima (CPAF-RR) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
