A systematic identification of formal and semi-formal languages and techniques for software-intensive systems-of-systems requirements modeling (2019)
- Authors:
- Autor USP: NAKAGAWA, ELISA YUMI - ICMC
- Unidade: ICMC
- DOI: 10.1109/JSYST.2018.2874061
- Subjects: ARQUITETURA DE SOFTWARE; ANÁLISE DE REQUISITOS; SOFTWARES; REVISÃO DE SOFTWARE
- Keywords: Formal languages; requirements modeling; semi-formal languages; systematic mapping; systems-of-systems (SoS)
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Publisher place: Piscataway
- Date published: 2019
- Source:
- Título: IEEE Systems Journal
- ISSN: 1932-8184
- Volume/Número/Paginação/Ano: v. 13, n. 3, p. 2201-2212, 2019
- Este periódico é de assinatura
- Este artigo é de acesso aberto
- URL de acesso aberto
- Cor do Acesso Aberto: green
-
ABNT
LANA, Cristiane Aparecida et al. A systematic identification of formal and semi-formal languages and techniques for software-intensive systems-of-systems requirements modeling. IEEE Systems Journal, v. 13, n. 3, p. 2201-2212, 2019Tradução . . Disponível em: https://doi.org/10.1109/JSYST.2018.2874061. Acesso em: 05 jan. 2026. -
APA
Lana, C. A., Guessi, M., Antonino, P. O., Rombach, D., & Nakagawa, E. Y. (2019). A systematic identification of formal and semi-formal languages and techniques for software-intensive systems-of-systems requirements modeling. IEEE Systems Journal, 13( 3), 2201-2212. doi:10.1109/JSYST.2018.2874061 -
NLM
Lana CA, Guessi M, Antonino PO, Rombach D, Nakagawa EY. A systematic identification of formal and semi-formal languages and techniques for software-intensive systems-of-systems requirements modeling [Internet]. IEEE Systems Journal. 2019 ; 13( 3): 2201-2212.[citado 2026 jan. 05 ] Available from: https://doi.org/10.1109/JSYST.2018.2874061 -
Vancouver
Lana CA, Guessi M, Antonino PO, Rombach D, Nakagawa EY. A systematic identification of formal and semi-formal languages and techniques for software-intensive systems-of-systems requirements modeling [Internet]. IEEE Systems Journal. 2019 ; 13( 3): 2201-2212.[citado 2026 jan. 05 ] Available from: https://doi.org/10.1109/JSYST.2018.2874061 - An investigation into the representation of software architectures and reference architectures of embedded systems
- Checking the architectural feasibility of systems-of-systems using formal descriptions
- 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
Informações sobre o DOI: 10.1109/JSYST.2018.2874061 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
