Evolução do Sistema AIDA Centralizado para um Ambiente Concorrente usando OMT e SDL-92
Este trabalho propõe o uso combinado da metodologia OMT com a linguagem de especificação formal SDL para a evolução do AIDA, um software para o gerenciamento e análise de dados experimentais, em desenvolvimento na EMBRAPA, partindo de uma versão centralizada para um ambiente concorrente. Esta aborda...
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Portugués |
| Publicado: |
1998
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/24107 |
| Aporte de: |
| id |
I19-R120-10915-24107 |
|---|---|
| record_format |
dspace |
| institution |
Universidad Nacional de La Plata |
| institution_str |
I-19 |
| repository_str |
R-120 |
| collection |
SEDICI (UNLP) |
| language |
Portugués |
| topic |
Ciencias Informáticas Informática Specification techniques Modeling techniques Object-oriented languages Simulation specification and description languages object modeling tecniques especificaçao formal simulaçao |
| spellingShingle |
Ciencias Informáticas Informática Specification techniques Modeling techniques Object-oriented languages Simulation specification and description languages object modeling tecniques especificaçao formal simulaçao Macário, Carla Geovana N. Borelli, Walter da Cunha Pedroso, Moacir Evolução do Sistema AIDA Centralizado para um Ambiente Concorrente usando OMT e SDL-92 |
| topic_facet |
Ciencias Informáticas Informática Specification techniques Modeling techniques Object-oriented languages Simulation specification and description languages object modeling tecniques especificaçao formal simulaçao |
| description |
Este trabalho propõe o uso combinado da metodologia OMT com a linguagem de especificação formal SDL para a evolução do AIDA, um software para o gerenciamento e análise de dados experimentais, em desenvolvimento na EMBRAPA, partindo de uma versão centralizada para um ambiente concorrente. Esta abordagem apresenta facilidades que produzem ganhos no
processo de desenvolvimento de software, como a possibilidade de validação e de simulação do sistema, e também a geração de código para sua prototipação. São apresentados os modelos de objetos e as especificações em SDL das duas versões, o resultado da validação do ambiente AIDA centralizado e também um exemplo de simulação deste sistema. |
| format |
Objeto de conferencia Objeto de conferencia |
| author |
Macário, Carla Geovana N. Borelli, Walter da Cunha Pedroso, Moacir |
| author_facet |
Macário, Carla Geovana N. Borelli, Walter da Cunha Pedroso, Moacir |
| author_sort |
Macário, Carla Geovana N. |
| title |
Evolução do Sistema AIDA Centralizado para um Ambiente Concorrente usando OMT e SDL-92 |
| title_short |
Evolução do Sistema AIDA Centralizado para um Ambiente Concorrente usando OMT e SDL-92 |
| title_full |
Evolução do Sistema AIDA Centralizado para um Ambiente Concorrente usando OMT e SDL-92 |
| title_fullStr |
Evolução do Sistema AIDA Centralizado para um Ambiente Concorrente usando OMT e SDL-92 |
| title_full_unstemmed |
Evolução do Sistema AIDA Centralizado para um Ambiente Concorrente usando OMT e SDL-92 |
| title_sort |
evolução do sistema aida centralizado para um ambiente concorrente usando omt e sdl-92 |
| publishDate |
1998 |
| url |
http://sedici.unlp.edu.ar/handle/10915/24107 |
| work_keys_str_mv |
AT macariocarlageovanan evolucaodosistemaaidacentralizadoparaumambienteconcorrenteusandoomtesdl92 AT borelliwalterdacunha evolucaodosistemaaidacentralizadoparaumambienteconcorrenteusandoomtesdl92 AT pedrosomoacir evolucaodosistemaaidacentralizadoparaumambienteconcorrenteusandoomtesdl92 |
| bdutipo_str |
Repositorios |
| _version_ |
1764820466617286659 |