Author of the publication

A Systematic Identification of Formal and Semi-formalLanguages and Techniques for Software-intensiveSystems-of-Systems Requirements Modeling.

, , , , and . CoRR, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Ark: a constraint-based method for architectural synthesis of smart systems., , and . Softw. Syst. Model., 19 (3): 741-762 (2020)Checking the architectural feasibility of Systems-of-Systems using formal descriptions., , and . SoSE, page 1-6. IEEE, (2016)A systematic literature review on the description of software architectures for systems of systems., , , , , and . SAC, page 1433-1440. ACM, (2015)A Systematic Identification of Formal and Semi-Formal Languages and Techniques for Software-Intensive Systems-of-Systems Requirements Modeling., , , , and . IEEE Syst. J., 13 (3): 2201-2212 (2019)Extensions of UML to Model Aspect-oriented Software Systems., , and . CLEI Electron. J., (2011)A Systematic Literature Review on Knowledge Representation Approaches for Systems-of-Systems., , , , and . SBCARS, page 70-79. IEEE Computer Society, (2015)RARep: a Reference Architecture Repository., , , and . SEKE, page 363-368. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2016)Stimuli-SoS: a model-based approach to derive stimuli generators for simulations of systems-of-systems software architectures., , , , , , and . J. Braz. Comp. Soc., 23 (1): 13:1-13:22 (2017)OntolAD: a formal ontology for architectural descriptions., , , , and . SAC, page 1417-1424. ACM, (2015)Approaches for Describing Reference Architectures: A Systematic Mapping Study., , , , and . CIbSE, page 71-84. Curran Associates, (2020)