Menu

Filtros : "Alloy" Limpar

Filtros

Refine with date range

  • 1

1 - 2 (2 records)

  • Artigo de periodico

    Ark: a constraint-based method for architectural synthesis of smart systems (2020)

    Guessi, Milena ; Oquendo, Flavio ; Nakagawa, Elisa Yumi

    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: 27 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. 27 ] 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. 27 ] Available from: https://doi.org/10.1007/s10270-019-00764-7

  • Trabalho de evento

    Checking the architectural feasibility of systems-of-systems using formal descriptions (2016)

    Guessi, Milena; Oquendo, Flavio; Nakagawa, Elisa Yumi

    Source: Proceedings. Conference titles: IEEE Systems of Systems Engineering Conference - SoSE 2016. Unidade: ICMC

    Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO

    Acesso à 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. Checking the architectural feasibility of systems-of-systems using formal descriptions. 2016, Anais.. Los Alamitos, CA: IEEE, 2016. Disponível em: https://doi.org/10.1109/SYSOSE.2016.7542939. Acesso em: 27 jan. 2026.

    • APA

      Guessi, M., Oquendo, F., & Nakagawa, E. Y. (2016). Checking the architectural feasibility of systems-of-systems using formal descriptions. In Proceedings. Los Alamitos, CA: IEEE. doi:10.1109/SYSOSE.2016.7542939

    • NLM

      Guessi M, Oquendo F, Nakagawa EY. Checking the architectural feasibility of systems-of-systems using formal descriptions [Internet]. Proceedings. 2016 ;[citado 2026 jan. 27 ] Available from: https://doi.org/10.1109/SYSOSE.2016.7542939

    • Vancouver

      Guessi M, Oquendo F, Nakagawa EY. Checking the architectural feasibility of systems-of-systems using formal descriptions [Internet]. Proceedings. 2016 ;[citado 2026 jan. 27 ] Available from: https://doi.org/10.1109/SYSOSE.2016.7542939
  • 1

1 - 2 (2 records)

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