A Systematic Identification of Formal and Semi-Formal Languages and Techniques for Software-Intensive Systems-of-Systems Requirements Modeling

Cristiane Aparecida Lana, Milena Guessi, Pablo Oliveira Antonino, Hans Dieter Rombach, Elisa Yumi Nakagawa. 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, 2019. [doi]

@article{LanaGARN19,
  title = {A Systematic Identification of Formal and Semi-Formal Languages and Techniques for Software-Intensive Systems-of-Systems Requirements Modeling},
  author = {Cristiane Aparecida Lana and Milena Guessi and Pablo Oliveira Antonino and Hans Dieter Rombach and Elisa Yumi Nakagawa},
  year = {2019},
  doi = {10.1109/JSYST.2018.2874061},
  url = {https://doi.org/10.1109/JSYST.2018.2874061},
  researchr = {https://researchr.org/publication/LanaGARN19},
  cites = {0},
  citedby = {0},
  journal = {IEEE Systems Journal},
  volume = {13},
  number = {3},
  pages = {2201-2212},
}