Formal verification of SysML diagram using case studies of real-time system Sajjad Ali Original Paper 22 December 2018 Pages: 245 - 262
Software architectural patterns in practice: an empirical study Mohamad KassabManuel MazzaraGiancarlo Succi Original Paper 12 December 2018 Pages: 263 - 271
A model-driven approach for the generation of configurations for highly available software systems Pejman SalehiAbdelwahab Hamou-LhadjFerhat Khendek Original Paper 14 December 2018 Pages: 273 - 307