Você está aqui: Página Inicial / Pós-Graduação / Informática / Temas de Pesquisa / Desenvolvimento Baseado em Modelos

Desenvolvimento Baseado em Modelos

Orientador: Prof. Dr, Leandro Dias / Co-orientador: Prof. Dr. Álvaro Sobrinho

Descrição:

Especificações de requisitos de sistemas de software (geradas durante o processo de engenharia de requisitos), quando descritas em linguagem natural, são propensas a ambiguidades, e, consequentemente, podem resultar em enganos durante o processo de desenvolvimento. Enganos podem ser resultados de especificações não rigorosas, que deixam margem para opiniões e especulações.  Neste contexto, especificações formais são úteis para aumentar a compreensão e precisão do sistema em desenvolvimento. Além disso, modelos formais podem ser reutilizados durante outras atividades do processo de desenvolvimento, tais como codificação e teste de software. Neste projeto, o objetivo é a definição de métodos, técnicas e ferramentas para auxiliar engenheiros de software durante o processo de desenvolvimento de sistemas.

Referências: 

  1. Edward A. Lee and Sanjit A. Seshia, Introduction to Embedded Systems, A Cyber-Physical Systems Approach, Second Edition, MIT Press, ISBN 978-0-262-53381-2, 2017.
  1. Sobrinho, A., da Silva, L.D., Perkusich, A. et al. Formal modeling of biomedical signal acquisition systems: source of evidence for certification. Software Systems Modeling, 2017. https://link.springer.com/article/10.1007/s10270-017-0616-7