TOWARD A FORMALIZATION OF USE CASE DIAGRAM USING Z SPECIFICATIONS
Last updated: 26 Dec 2024
10.21608/jesaun.2006.110104
Unified Modeling Language (UML), Use Case Diagram, Formalization, Z specification language
Ahmed
M. Mostafa
Electronics & Communication Department, Faculty of Engineering, Helwan University, Cairo, Egypt
Manal
A. Ismail
Electronics & Communication Department, Faculty of Engineering, Helwan University, Cairo, Egypt
El Sayed
M. Saad
Electronics & Communication Department, Faculty of Engineering, Helwan University, Cairo, Egypt
Hatem
EL-Bolok
Electronics & Communication Department, Faculty of Engineering, Helwan University, Cairo, Egypt
hbolok@mailer.eun.eg
34
No 1
16603
2006-01-01
2005-09-24
2006-01-01
173
188
1687-0530
2356-8550
https://jesaun.journals.ekb.eg/article_110104.html
https://jesaun.journals.ekb.eg/service?article_code=110104
11
Research Paper
1,438
Journal
JES. Journal of Engineering Sciences
https://jesaun.journals.ekb.eg/
TOWARD A FORMALIZATION OF USE CASE DIAGRAM USING Z SPECIFICATIONS
Details
Type
Article
Created At
23 Jan 2023