Formalizing the use case model: A model-based approach

• Qamar uz Zaman ,

  Contributed equally to this work with: Qamar uz Zaman, Aamer Nadeem, Muddassar Azam Sindhu

  Roles Conceptualization, Formal analysis, Investigation, Methodology, Software, Writing – original draft

  * E-mail: qamar.zaman@cust.edu.pk

  Affiliation Department of Computer Science, Capital University of Science and Technology (CUST), Islamabad, Pakistan

  http://orcid.org/0000-0002-2785-7448

  ⨯
• Aamer Nadeem ,

  Contributed equally to this work with: Qamar uz Zaman, Aamer Nadeem, Muddassar Azam Sindhu

  Roles Supervision, Validation, Writing – review & editing

  Affiliation Department of Computer Science, Capital University of Science and Technology (CUST), Islamabad, Pakistan

  ⨯
• Muddassar Azam Sindhu

  Contributed equally to this work with: Qamar uz Zaman, Aamer Nadeem, Muddassar Azam Sindhu

  Roles Conceptualization, Supervision, Validation, Writing – review & editing

  Affiliation Department of Computer Science, Quaid-i-Azam University, Islamabad, Pakistan

  ⨯