1. Identificação | |
Tipo de Referência | Artigo em Evento (Conference Proceedings) |
Site | mtc-m21b.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 8JMKD3MGP5W34M/3GTNLFH |
Repositório | sid.inpe.br/mtc-m21b/2014/08.28.13.46 |
Última Atualização | 2020:07.06.19.18.20 (UTC) simone |
Repositório de Metadados | sid.inpe.br/mtc-m21b/2014/08.28.13.46.58 |
Última Atualização dos Metadados | 2022:09.14.20.07.38 (UTC) administrator |
Chave Secundária | INPE--PRE/ |
Chave de Citação | ErasVija:2014:DiUMVe |
Título | Diagramas UML na verificação formal de software |
Ano | 2014 |
Data de Acesso | 23 abr. 2024 |
Tipo Secundário | PRE CN |
Número de Arquivos | 1 |
Tamanho | 273 KiB |
|
2. Contextualização | |
Autor | 1 Eras, Eduardo Rohde 2 Vijaykumar, Nandamudi Lankalapalli |
Identificador de Curriculo | 1 2 8JMKD3MGP5W/3C9JHTU |
Grupo | 1 2 LAC-CTE-INPE-MCTI-GOV-BR |
Afiliação | 1 2 Instituto Nacional de Pesquisas Espaciais (INPE) |
Endereço de e-Mail do Autor | 1 eduardorohdeeras@gmail.com 2 vijay@lac.inpe.br |
Endereço de e-Mail | marcelo.pazos@inpe.br |
Nome do Evento | Seminário de Iniciação Científica do INPE (SICINPE). |
Localização do Evento | São José dos Campos |
Data | 30-31 jul., 2014 |
Editora (Publisher) | INPE |
Cidade da Editora | São José dos Campos |
Título do Livro | Anais |
Histórico (UTC) | 2014-08-28 13:46:58 :: marcelo.pazos@sid.inpe.br -> administrator :: 2020-04-29 13:33:50 :: administrator -> simone :: 2014 2020-07-06 19:18:21 :: simone -> administrator :: 2014 2022-09-14 20:07:38 :: administrator -> simone :: 2014 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Palavras-Chave | diagramas UML software |
Resumo | Métodos de Verificação Formal oferecem grande potencial para prover técnicas de verificação mais efetivas, pois utilizam rigor matemático para estabelecer a correção do sistema (BAIER, 2008). Além disso, Métodos de Verificação Formal, como por exemplo Model Checking, são aplicados de forma mais eficiente nos estágios iniciais do projeto de software, quando os custos são ainda baixos e os benefícios podem ser altos, aumentando a qualidade dos sistemas de software. Todavia, exatamente por utilizarem um rigor matemático que muitas vezes é exigido dos usuários, Métodos de Verificação Formal não são muito adotados como técnica de verificação de sistemas, pois a preferência dos usuários é dada a processos de verificação mais simples. A Linguagem de Modelagem Unificada (UML) é atualmente aceita como padrão para modelagem de projeto de software, e seu uso tem crescido na indústria aeroespacial. UML apresenta diversos diagramas focando em aspectos distintos do software mas, ao mesmo tempo, provê descrições redundantes dos mesmos aspectos do sistema. Isso dá a oportunidade para técnicas de verificação e validação de assegurar a consistência das descrições. Contudo, verificação e validação de sistemas complexos desenvolvidos de acordo com UML não são tarefas triviais, devido a complexidade do software em si, e a diversos diagramas/modelos UML diferentes que podem ser usados para modelar o comportamento e a estrutura do sistema. |
Área | COMP |
Arranjo 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Diagramas UML na... |
Arranjo 2 | urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2014 > Diagramas UML na... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | |
|
4. Condições de acesso e uso | |
URL dos dados | http://urlib.net/ibi/8JMKD3MGP5W34M/3GTNLFH |
URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP5W34M/3GTNLFH |
Idioma | pt |
Arquivo Alvo | Eras_diagramas.pdf |
Grupo de Usuários | marcelo.pazos@inpe.br |
Grupo de Leitores | administrator marcelo.pazos@inpe.br simone |
Visibilidade | shown |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Repositório Espelho | iconet.com.br/banon/2006/11.26.21.31 |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPDW34P/478H8PH |
Lista de Itens Citando | sid.inpe.br/mtc-m16c/2022/07.08.19.46 1 sid.inpe.br/mtc-m21/2012/07.13.14.56.50 1 |
Acervo Hospedeiro | sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 |
|
6. Notas | |
Notas | Bolsa PIBIC/INPE/CNPq |
Campos Vazios | archivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor format isbn issn label lineage mark nextedition numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project readpermission rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume |
|
7. Controle da descrição | |
e-Mail (login) | simone |
atualizar | |
|