Corrigendum to “A Multiview Formal Model of Use Case Diagrams Using Z Notation: Towards Improving Functional Requirements Quality”
Saved in:
Main Authors: | Khadija El Miloudi, Aziz Ettouhami |
---|---|
Format: | Article |
Language: | English |
Published: |
Wiley
2020-01-01
|
Series: | Journal of Engineering |
Online Access: | http://dx.doi.org/10.1155/2020/9285297 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Functionally-Equivalent Formalization and Automated Model Checking of Function Block Diagrams
by: Tomas Ausberger, et al.
Published: (2025-01-01) -
Notations pour la guitare électrique
by: Martin Laliberté
Published: (2010-06-01) -
Towards Sophisticated Air Traffic Control System Using Formal Methods
by: Abdessamad Jarrar, et al.
Published: (2018-01-01) -
Legal certainty as a requirement for the formalization of legal norms
by: Adaskalytsia K.
Published: (2024-06-01) -
Multiview Multimodal Feature Fusion for Breast Cancer Classification Using Deep Learning
by: Sadam Hussain, et al.
Published: (2025-01-01)