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; Dieter Rombach; Elisa Yumi Nakagawa

doi:10.1109/jsyst.2018.2874061

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

IEEE Systems Journal ◽

10.1109/jsyst.2018.2874061 ◽

2019 ◽

Vol 13 (3) ◽

pp. 2201-2212

Author(s):

Cristiane Aparecida Lana ◽

Milena Guessi ◽

Pablo Oliveira Antonino ◽

Dieter Rombach ◽

Elisa Yumi Nakagawa

Keyword(s):

Formal Languages ◽

Systems Of Systems ◽

Requirements Modeling ◽

Systems Requirements ◽

Systematic Identification ◽

Software Intensive

Download Full-text

Model-based engineering & simulation of software-intensive systems-of-systems

Proceedings of the 12th European Conference on Software Architecture Companion Proceedings - ECSA '18 ◽

10.1145/3241403.3241432 ◽

2018 ◽

Cited By ~ 3

Author(s):

Valdemar Vicente Graciano Neto ◽

Wallace Manzano ◽

Mohammad Kassab ◽

Elisa Yumi Nakagawa

Keyword(s):

Systems Of Systems ◽

Model Based ◽

Software Intensive

Download Full-text

Towards methodological support for secure architectures of software-intensive systems-of-systems

Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture - SiSoS@ECSA '16 ◽

10.1145/3175731.3176178 ◽

2016 ◽

Author(s):

Jamal El Hachem ◽

Vanea Chiprianov ◽

Ali Babar ◽

Philippe Aniorte

Keyword(s):

Systems Of Systems ◽

Software Intensive

Download Full-text

Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture - SiSoS@ECSA '16

10.1145/3175731 ◽

2016 ◽

Keyword(s):

Software Architecture ◽

Systems Of Systems ◽

International Colloquium ◽

European Conference ◽

Software Intensive

Download Full-text

Spiral development of software-intensive systems of systems

Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. ◽

10.1145/1062455.1062628 ◽

2005 ◽

Cited By ~ 5

Author(s):

Barry Boehm ◽

Winsor Brown ◽

Richard Turner

Keyword(s):

Systems Of Systems ◽

Software Intensive

Download Full-text

Session details: Theme: System software and security: SiSoS - Software-intensive systems-of-systems track

Proceedings of the 35th Annual ACM Symposium on Applied Computing ◽

10.1145/3389674 ◽

2020 ◽

Author(s):

Flavio Oquendo ◽

Khalil Drira ◽

Axel Legay ◽

Thais Vasconcelos Batista

Keyword(s):

System Software ◽

Systems Of Systems ◽

Software Intensive

Download Full-text

A Formal Approach for Architecting Software-intensive Systems-of-Systems with Guarantees

2018 13th Annual Conference on System of Systems Engineering (SoSE) ◽

10.1109/sysose.2018.8428726 ◽

2018 ◽

Cited By ~ 8

Author(s):

Flavio Oquendo ◽

Jeremy Buisson ◽

Elena Leroux ◽

Gersan Moguerou

Keyword(s):

Formal Approach ◽

Systems Of Systems ◽

Software Intensive

Download Full-text

User requirements modeling and analysis of software-intensive systems

Journal of Systems and Software ◽

10.1016/j.jss.2010.10.020 ◽

2011 ◽

Vol 84 (2) ◽

pp. 328-339 ◽

Cited By ~ 26

Author(s):

Michel dos Santos Soares ◽

Jos Vrancken ◽

Alexander Verbraeck

Keyword(s):

User Requirements ◽

Modeling And Analysis ◽

Requirements Modeling ◽

Software Intensive

Download Full-text

Towards systematic live experimentation in software-intensive systems of systems

Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture - SiSoS@ECSA '16 ◽

10.1145/3175731.3176175 ◽

2016 ◽

Cited By ~ 1

Author(s):

Ilias Gerostathopoulos ◽

Tomas Bures ◽

Sanny Schmid ◽

Vojtech Horky ◽

Christian Prehofer ◽

...

Keyword(s):

Systems Of Systems ◽

Software Intensive

Download Full-text

Iterative multi-scale modeling of software-intensive systems of systems architectures

Proceedings of the Symposium on Applied Computing - SAC '17 ◽

10.1145/3019612.3019801 ◽

2017 ◽

Cited By ~ 1

Author(s):

Ilhem Khlif ◽

Mohamed Hadj Kacem ◽

Ahmed Hadj Kacem

Keyword(s):

Systems Of Systems ◽

Multi Scale ◽

Scale Modeling ◽

Multi Scale Modeling ◽

Systems Architectures ◽

Software Intensive

Download Full-text

Session details: System software and security: SiSoS - software-intensive systems-of-systems track

Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18 ◽

10.1145/3258645 ◽

2018 ◽

Keyword(s):

System Software ◽

Systems Of Systems ◽

Software Intensive

Download Full-text