@InProceedings{ErasVija:2013:DiUMVe,
               author = "Eras, Eduardo Rohde and Vijaykumar, Nandamudi Lankalapalli",
          affiliation = "{} and {Instituto Nacional de Pesquisas Espaciais (INPE)}",
                title = "Diagramas UML na verifica{\c{c}}{\~a}o formal de software",
            booktitle = "Anais...",
                 year = "2013",
         organization = "Semin{\'a}rio de Inicia{\c{c}}{\~a}o Cient{\'{\i}}fica do 
                         INPE (SICINPE).",
            publisher = "INPE",
              address = "S{\~a}o Jos{\'e} dos Campos",
                 note = "{Bolsa PIBIC/INPE/CNPq}",
             keywords = "diagramas UML, software, M{\'e}todos de Verifica{\c{c}}{\~a}o 
                         Formal.",
             abstract = "M{\'e}todos de Verifica{\c{c}}{\~a}o Formal oferecem grande 
                         potencial para prover t{\'e}cnicas de verifica{\c{c}}{\~a}o 
                         mais efetivas, pois utilizam rigor matem{\'a}tico para 
                         estabelecer a corre{\c{c}}{\~a}o do sistema (BAIER, 2008). 
                         Al{\'e}m disso, M{\'e}todos de Verifica{\c{c}}{\~a}o Formal, 
                         como por exemplo Model Checking, s{\~a}o aplicados de forma mais 
                         eficiente nos est{\'a}gios iniciais do projeto de software, 
                         quando os custos s{\~a}o ainda baixos e os benef{\'{\i}}cios 
                         podem ser altos, aumentando a qualidade dos sistemas de software. 
                         Todavia, exatamente por utilizarem um rigor matem{\'a}tico que 
                         muitas vezes {\'e} exigido dos usu{\'a}rios, M{\'e}todos de 
                         Verifica{\c{c}}{\~a}o Formal n{\~a}o s{\~a}o muito adotados 
                         como t{\'e}cnica de verifica{\c{c}}{\~a}o de sistemas, pois a 
                         prefer{\^e}ncia dos usu{\'a}rios {\'e} dada a processos de 
                         verifica{\c{c}}{\~a}o mais simples.",
  conference-location = "S{\~a}o Jos{\'e} dos Campos",
      conference-year = "30 e 31 de julho de 2013",
           copyholder = "SID/SCD",
             language = "pt",
                  ibi = "8JMKD3MGP7W/3EP8K8K",
                  url = "http://urlib.net/ibi/8JMKD3MGP7W/3EP8K8K",
           targetfile = "Eras_diagramas.pdf",
        urlaccessdate = "15 jun. 2024"
}