Corrigendum to “A Multiview Formal Model of Use Case Diagrams Using Z Notation: Towards Improving Functional Requirements Quality”

الملخص EN

In the article titled “A Multiview Formal Model of Use Case Diagrams Using Z Notation: Towards Improving Functional Requirements Quality” [1], there was an error in the affiliation “LCS Laboratory, Faculty of Sciences of Rabat, Mohamed V University in Rabat, Morocco” in which the spelling of “Mohammed” was incorrect.

The corrected affiliation appears below, and in the author information above: LCS Laboratory, Faculty of Sciences of Rabat, Mohammed V University in Rabat, Morocco