1. Formal verification of SysML diagram using case studies of real-time system

   • Sajjad Ali

   Original Paper 22 December 2018 Pages: 245 - 262

   

2. Software architectural patterns in practice: an empirical study

   • Mohamad Kassab
   • Manuel Mazzara
   • Giancarlo Succi

   Original Paper 12 December 2018 Pages: 263 - 271

   

3. A model-driven approach for the generation of configurations for highly available software systems

   • Pejman Salehi
   • Abdelwahab Hamou-Lhadj
   • Ferhat Khendek

   Original Paper 14 December 2018 Pages: 273 - 307