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 possui versão em assinatura (ou híbrida)
- Este artigo NÃO possui versão em acesso aberto
-
Status: Nenhuma versão em acesso aberto identificada -
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: 10 mar. 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 mar. 10 ] 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 mar. 10 ] Available from: https://doi.org/10.1007/s10270-019-00764-7 - Architectural description of systems-of-information systems
- Expanding telemonitoring in a virtual world: a case study of the expansion of a heart failure telemonitoring program during the COVID-19 pandemic
- Synthesis of software architectures for systems-of-systems: an automated method by constraint solving
- Smartphone applications for informal caregivers of chronically ill patients: a scoping review
- Subsídios para a representação de arquiteturas de referência de sistemas embarcados
- A systematic identification of formal and semi-formal languages and techniques for software-intensive systems-of-systems requirements modeling
- Model-driven engineering ecosystems
- Conceptualization of a system-of-systems in the defense domain: an experience report in the brazilian scenario
- Systems interoperability types: a tertiary study
- Aspect-orientation in the development of embedded systems: a systematic review
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
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
