El Murabet, A.; Abtoy, A. Methodologies of the Validation of Software Architectures. J. Comput. Theor. Appl. 2023, 1, 78-85.