|
|
Registros recuperados : 16 | |
12. | | MACÁRIO, C. G. N.; FONSECA, C. E. L.; PIEROZZI JUNIOR, I.; TORRES, T. Z. Plataform for natural resources of Brazilian biomes: integration, systematization and dissemination of data and information for competitiveness and information for competitiveness and sustainability of agriculture. In: INTERNATIONAL CONFERENCE ON ECOLOGICAL INFORMATICS, 8., 2012, Brasília, DF. Informing decisions on biodiversity and natural resources conservation: book of abstracts. Brasília, DF: UnB, 2012. 1 CD-ROM. Biblioteca(s): Embrapa Agricultura Digital. |
| |
14. | | PRADO, R. B.; SCHULER, A. E.; FIDALGO, E. C. C.; TURETTA, A. P.; COUTINHO, H. L. C.; MARTINS, A. L.; ARCANJO, R.; DIEDERICHSEN, A.; GUIMARÃES, J.; MOURA, M. F.; MACARIO, C. G. N. Investigación agrícola como apoyo a los esquemas de pagos por servicios ambientales del agua en Brasil. In: CONGRESO INTERNACIONAL DE LOS SERVICIOS ECOSISTEMICOS EN LOS NEOTRÓPICOS, 3., 2013, Medellin. [Anales...]. Medellin: Universidad Nacional de Colômbia, 2013. Biblioteca(s): Embrapa Solos. |
| |
15. | | PRADO, R. B.; SCHULER, A. E.; FIDALGO, E. C. C.; TURETTA, A. P.; COUTINHO, H. L. C.; MARTINS, A. L.; ARCANJO, R.; DIEDERICHSEN, A.; GUIMARÃES, J.; MOURA, M. F.; MACÁRIO, C. G. N. Investigación agrícola como apoyo a los esquemas de pagos por servicios ambientales del agua en Brasil. In: CONGRESO INTERNACIONAL DE LOS SERVICIOS ECOSISTEMICOS EN LOS NEOTRÓPICOS, 3., 2013. Medellin. [Anales...] Medellin: Universidad Nacional de Colômbia 2013. Não paginado. Biblioteca(s): Embrapa Agricultura Digital. |
| |
16. | | MACÁRIO, C. G. N.; CAMARGO, F. B.; MAXIMO, F. A.; SOUZA, K. X. S. de; COLOMBO, R. M. T.; MOURA, M. F.; NASCIMENTO, M. A. do; EVANGELISTA, S. R. M.; TERNES, S. Reengineering system: a first proposal. Campinas: EMBRAPA - CNPTIA, 1991. 10 p. Inclui bibliografia.
CPL - Component Production Line: Carla Geovana Nascimento Macário; Fani Barbosa Camargo; Fernado Attique Máximo; Kleber Xavier Sampaio de Souza; Regina Maria Thienne Colombo.
PEL - Maria Fernanda Moura; Mário Antônio... Biblioteca(s): Embrapa Agricultura Digital. |
| |
Registros recuperados : 16 | |
|
|
| Acesso ao texto completo restrito à biblioteca da Embrapa Agricultura Digital. Para informações adicionais entre em contato com cnptia.biblioteca@embrapa.br. |
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 |
Fechar
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|