| 1. Identity statement | ||||
| Reference Type | Conference Paper (Conference Proceedings) | |||
| Site | mtc-m21b.sid.inpe.br | |||
| Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identifier | 8JMKD3MGP5W34M/3GTNLFH | |||
| Repository | sid.inpe.br/mtc-m21b/2014/08.28.13.46 | |||
| Last Update | 2020:07.06.19.18.20 (UTC) simone | |||
| Metadata Repository | sid.inpe.br/mtc-m21b/2014/08.28.13.46.58 | |||
| Metadata Last Update | 2022:09.14.20.07.38 (UTC) administrator | |||
| Secondary Key | INPE--PRE/ | |||
| Citation Key | ErasVija:2014:DiUMVe | |||
| Title | Diagramas UML na verificação formal de software  | |||
| Year | 2014 | |||
| Access Date | 2024, July 27 | |||
| Secondary Type | PRE CN | |||
| Number of Files | 1 | |||
| Size | 273 KiB | |||
| 2. Context | ||||
| Author | 1 Eras, Eduardo Rohde 2 Vijaykumar, Nandamudi Lankalapalli | |||
| Resume Identifier | 1 2 8JMKD3MGP5W/3C9JHTU | |||
| Group | 1 2 LAC-CTE-INPE-MCTI-GOV-BR | |||
| Affiliation | 1 2 Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Author e-Mail Address | 1 eduardorohdeeras@gmail.com 2 vijay@lac.inpe.br | |||
| e-Mail Address | marcelo.pazos@inpe.br | |||
| Conference Name | Seminário de Iniciação Científica do INPE (SICINPE). | |||
| Conference Location | São José dos Campos | |||
| Date | 30-31 jul., 2014 | |||
| Publisher | INPE | |||
| Publisher City | São José dos Campos | |||
| Book Title | Anais | |||
| History (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. Content and structure | ||||
| Is the master or a copy? | is the master | |||
| Content Stage | completed | |||
| Transferable | 1 | |||
| Keywords | diagramas UML software | |||
| Abstract | 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. | |||
| Area | COMP | |||
| Arrangement 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Diagramas UML na... | |||
| Arrangement 2 | urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2014 > Diagramas UML na... | |||
| doc Directory Content | access | |||
| source Directory Content | there are no files | |||
| agreement Directory Content |
| |||
| 4. Conditions of access and use | ||||
| data URL | http://urlib.net/ibi/8JMKD3MGP5W34M/3GTNLFH | |||
| zipped data URL | http://urlib.net/zip/8JMKD3MGP5W34M/3GTNLFH | |||
| Language | pt | |||
| Target File | Eras_diagramas.pdf | |||
| User Group | marcelo.pazos@inpe.br | |||
| Reader Group | administrator marcelo.pazos@inpe.br simone | |||
| Visibility | shown | |||
| Update Permission | not transferred | |||
| 5. Allied materials | ||||
| Mirror Repository | iconet.com.br/banon/2006/11.26.21.31 | |||
| Next Higher Units | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPDW34P/478H8PH | |||
| Citing Item List | sid.inpe.br/mtc-m16c/2022/07.08.19.46 6 sid.inpe.br/mtc-m21/2012/07.13.14.56.50 6 | |||
| Host Collection | sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 | |||
| 6. Notes | ||||
| Notes | Bolsa PIBIC/INPE/CNPq | |||
| Empty Fields | 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. Description control | ||||
| e-Mail (login) | simone | |||
| update | ||||