Filtros : "Formal method" Limpar


  • Source: Software and Systems Modeling. Unidade: ICMC

    Subjects: ARQUITETURA DE SOFTWARE, ESTUDO DE CASO

    Versão AceitaAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      GUESSI, Milena e OQUENDO, Flavio e NAKAGAWA, Elisa Yumi. Ark: a constraint-based method for architectural synthesis of smart systems. Software and Systems Modeling, v. 19, p. 741-762, 2020Tradução . . Disponível em: https://doi.org/10.1007/s10270-019-00764-7. Acesso em: 24 jan. 2026.
    • APA

      Guessi, M., Oquendo, F., & Nakagawa, E. Y. (2020). Ark: a constraint-based method for architectural synthesis of smart systems. Software and Systems Modeling, 19, 741-762. doi:10.1007/s10270-019-00764-7
    • NLM

      Guessi M, Oquendo F, Nakagawa EY. Ark: a constraint-based method for architectural synthesis of smart systems [Internet]. Software and Systems Modeling. 2020 ; 19 741-762.[citado 2026 jan. 24 ] Available from: https://doi.org/10.1007/s10270-019-00764-7
    • Vancouver

      Guessi M, Oquendo F, Nakagawa EY. Ark: a constraint-based method for architectural synthesis of smart systems [Internet]. Software and Systems Modeling. 2020 ; 19 741-762.[citado 2026 jan. 24 ] Available from: https://doi.org/10.1007/s10270-019-00764-7

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2026