Checking the architectural feasibility of systems-of-systems using formal descriptions (2016)
- Authors:
- Autor USP: NAKAGAWA, ELISA YUMI - ICMC
- Unidade: ICMC
- DOI: 10.1109/SYSOSE.2016.7542939
- Subjects: ENGENHARIA DE SOFTWARE; SISTEMAS DE INFORMAÇÃO
- Keywords: System-of-Systems; Architecture Description; SosADL; Alloy
- Language: Inglês
- Imprenta:
- Publisher: IEEE
- Publisher place: Los Alamitos, CA
- Date published: 2016
- Source:
- Título: Proceedings
- Conference titles: IEEE Systems of Systems Engineering Conference - SoSE 2016
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
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: 31 dez. 2025. -
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 2025 dez. 31 ] 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 2025 dez. 31 ] Available from: https://doi.org/10.1109/SYSOSE.2016.7542939 - An investigation into the representation of software architectures and reference architectures of embedded systems
- Modeling & simulation of software architectures of systems-of-systems: an industrial report on the brazilian space system
- Observations from variability modelling approaches at the architecture level
- Using systematic review to elicit requirements of reference architectures
- A comparative analysis of reference architectures for healthcare in the ambient assisted living domain
- An experience report on update of systematic literature reviews
- Characterizing big data software architectures: a systematic mapping study
- An investigation of the open source development process
- Towards a conceptual model for software-intensive system-of-systems
- Supporting simulation of systems-of-systems software architectures by a model-driven derivation of a stimulus generator
Informações sobre o DOI: 10.1109/SYSOSE.2016.7542939 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
