Close

1. Identity statement
Reference TypeConference Paper (Conference Proceedings)
Sitemtc-m21b.sid.inpe.br
Holder Codeisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identifier8JMKD3MGP5W34M/3GTNLFH
Repositorysid.inpe.br/mtc-m21b/2014/08.28.13.46
Last Update2020:07.06.19.18.20 (UTC) simone
Metadata Repositorysid.inpe.br/mtc-m21b/2014/08.28.13.46.58
Metadata Last Update2022:09.14.20.07.38 (UTC) administrator
Secondary KeyINPE--PRE/
Citation KeyErasVija:2014:DiUMVe
TitleDiagramas UML na verificação formal de software
Year2014
Access Date2024, June 15
Secondary TypePRE CN
Number of Files1
Size273 KiB
2. Context
Author1 Eras, Eduardo Rohde
2 Vijaykumar, Nandamudi Lankalapalli
Resume Identifier1
2 8JMKD3MGP5W/3C9JHTU
Group1
2 LAC-CTE-INPE-MCTI-GOV-BR
Affiliation1
2 Instituto Nacional de Pesquisas Espaciais (INPE)
Author e-Mail Address1 eduardorohdeeras@gmail.com
2 vijay@lac.inpe.br
e-Mail Addressmarcelo.pazos@inpe.br
Conference NameSeminário de Iniciação Científica do INPE (SICINPE).
Conference LocationSão José dos Campos
Date30-31 jul., 2014
PublisherINPE
Publisher CitySão José dos Campos
Book TitleAnais
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 Stagecompleted
Transferable1
Keywordsdiagramas UML
software
AbstractMé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.
AreaCOMP
Arrangement 1urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > AST > Diagramas UML na...
Arrangement 2urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2014 > Diagramas UML na...
doc Directory Contentaccess
source Directory Contentthere are no files
agreement Directory Content
agreement.html 28/08/2014 10:46 1.0 KiB 
4. Conditions of access and use
data URLhttp://urlib.net/ibi/8JMKD3MGP5W34M/3GTNLFH
zipped data URLhttp://urlib.net/zip/8JMKD3MGP5W34M/3GTNLFH
Languagept
Target FileEras_diagramas.pdf
User Groupmarcelo.pazos@inpe.br
Reader Groupadministrator
marcelo.pazos@inpe.br
simone
Visibilityshown
Update Permissionnot transferred
5. Allied materials
Mirror Repositoryiconet.com.br/banon/2006/11.26.21.31
Next Higher Units8JMKD3MGPCW/3ESGTTP
8JMKD3MGPDW34P/478H8PH
Citing Item Listsid.inpe.br/mtc-m16c/2022/07.08.19.46 5
sid.inpe.br/mtc-m21/2012/07.13.14.56.50 3
Host Collectionsid.inpe.br/mtc-m21b/2013/09.26.14.25.20
6. Notes
NotesBolsa PIBIC/INPE/CNPq
Empty Fieldsarchivingpolicy 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 


Close