Ark: a constraint-based method for architectural synthesis of smart systems (2020)
- Authors:
- USP affiliated authors: NAKAGAWA, ELISA YUMI - ICMC ; MARGARIDO, MILENA GUESSI - ICMC
- Unidade: ICMC
- DOI: 10.1007/s10270-019-00764-7
- Subjects: ARQUITETURA DE SOFTWARE; ESTUDO DE CASO
- Keywords: Smart system; Formal method; Architectural synthesis; Constraints; Alloy
- Language: Inglês
- Imprenta:
- Publisher place: Heidelberg
- Date published: 2020
- Source:
- Título: Software and Systems Modeling
- ISSN: 1619-1366
- Volume/Número/Paginação/Ano: v. 19, p. 741-762, 2020
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
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 - Architectural description of systems-of-information systems
- Synthesis of software architectures for systems-of-systems: an automated method by constraint solving
- Subsídios para a representação de arquiteturas de referência de sistemas embarcados
- Expanding telemonitoring in a virtual world: a case study of the expansion of a heart failure telemonitoring program during the COVID-19 pandemic
- Smartphone applications for informal caregivers of chronically ill patients: a scoping review
- Defining protocols of systematic literature reviews in software engineering: a survey
- Enabling continuous software engineering for embedded systems architectures with virtual prototypes
- A process to establish, model and validate missions of systems-of-systems in reference architectures
- Revisão Sistemática da Literatura em Engenharia de Software: teoria e prática
- The state of the art and future perspectives in systems of systems software architectures
Informações sobre o DOI: 10.1007/s10270-019-00764-7 (Fonte: oaDOI API)
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
2973713.pdf | ||
 |
2973713.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
