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

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

Saved in:

Bibliographic Details
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)

Towards Sophisticated Air Traffic Control System Using Formal Methods
by: Abdessamad Jarrar, et al.
Published: (2018-01-01)

Towards formal evaluation of collaborative work
by: R. Baeza-Yates, et al.
Published: (2006-01-01)

Online Coregularization for Multiview Semisupervised Learning
by: Boliang Sun, et al.
Published: (2013-01-01)

Multiview Multimodal Feature Fusion for Breast Cancer Classification Using Deep Learning
by: Sadam Hussain, et al.
Published: (2025-01-01)

Quick tips for creating effective and impactful biological pathways using the Systems Biology Graphical Notation.
by: Vasundra Touré, et al.
Published: (2018-02-01)

Zum Begriff der Wucherung bei Pierre Boulez am Beispiel der douze notations (1945) und der notations pour orchestre (1978)
by: Andreas Zeißig
Published: (2009-08-01)

Automated class diagram elicitation using intermediate use case template
by: Shweta, et al.
Published: (2021-02-01)

Louis Couperins Préludes non mesurés. Satztechnik – Notation – Aufführungspraxis
by: Jens Hamer
Published: (2012-01-01)

Multiview Discriminative Geometry Preserving Projection for Image Classification
by: Ziqiang Wang, et al.
Published: (2014-01-01)

Interactive Multiview Video Delivery Based on IP Multicast
by: Jian-Guang Lou, et al.
Published: (2007-01-01)

Multiview Shooting Geometry for Multiscopic Rendering with Controlled Distortion
by: J. Prévoteau, et al.
Published: (2010-01-01)

Deep Grassmannian multiview subspace clustering with contrastive learning
by: Rui Wang, et al.
Published: (2024-09-01)

Notation publications in the context of musical life in Lithuania in the XVI-XVII centuries
by: Jūratė Trilupaitienė
Published: (2024-08-01)

Notational Analysis Of Wheelchair Women's Badminton Matches In The International Badminton Tournament
by: Senay Leyla, et al.
Published: (2020-04-01)

Image Hashing for Tamper Detection with Multiview Embedding and Perceptual Saliency
by: Ling Du, et al.
Published: (2018-01-01)

Hierarchical Recognition for Urban Villages Fusing Multiview Feature Information
by: Zhenkang Wang, et al.
Published: (2025-01-01)

Using Cooperative Learning in Formal and Nonformal Education
by: Katy J. Groseta, et al.
Published: (2007-03-01)

Using Cooperative Learning in Formal and Nonformal Education
by: Katy J. Groseta, et al.
Published: (2007-03-01)

Partituren zum Lesen und Schauen . Bildlichkeit als Merkmal graphischer Notation
by: Gesa Finke
Published: (2019-06-01)

fragSMILES as a chemical string notation for advanced fragment and chirality representation
by: Fabrizio Mastrolorito, et al.
Published: (2025-01-01)

Bacteriological Quality of Table Eggs in Moroccan Formal and Informal Sector
by: Fatima Zahra El Ftouhy, et al.
Published: (2022-01-01)

Development of Vision Based Multiview Gait Recognition System with MMUGait Database
by: Hu Ng, et al.
Published: (2014-01-01)

The velocity diagram for traveling waves
by: Al Haj, Mohammad, et al.
Published: (2023-05-01)

Analysis and application of Voronoi diagram
by: Petras Rupšys
Published: (2003-12-01)

Multiview ISAR Imaging for Complex Targets Based on Improved SBR Scattering Model
by: Tiantian Feng, et al.
Published: (2021-01-01)

Multiview attention networks for fine-grained watershed categorization via knowledge distillation
by: Huimin Gong, et al.
Published: (2025-01-01)

Using causal diagrams and superpopulation models to correct geographic biases in biodiversity monitoring data
by: Robin J. Boyd, et al.
Published: (2025-02-01)

Generating a Spatiotemporal Dynamic Map for Traffic Analysis Using Macroscopic Fundamental Diagram
by: Yudi Li, et al.
Published: (2019-01-01)

Temperature Diagrams of Eutectoid Steel Heating
by: A. P. Nesenchuk, et al.
Published: (2011-12-01)

A note on irreducible Heegaard diagrams
by: Alberto Cavicchioli, et al.
Published: (2006-01-01)

Parallelizing Quantum Simulation With Decision Diagrams
by: Shaowen Li, et al.
Published: (2024-01-01)

Quantum distance approximation for persistence diagrams
by: Bernardo Ameneyro, et al.
Published: (2025-01-01)

Quantum metrology using quantum combs and tensor network formalism
by: Stanisław Kurdziałek, et al.
Published: (2025-01-01)

The use of formal languages for business rules realisation in information systems
by: Olegas Vasilecas, et al.
Published: (2005-12-01)

A Multitask Multiview Neural Network for End-to-End Aspect-Based Sentiment Analysis
by: Yong Bie, et al.
Published: (2021-09-01)

INNOVATIVE SOUND EFFECTS AND ELEMENTS OF MUSIC NOTATION IN GEORGE CRUMB’S “BLACK ANGELS” FOR ELECTRIC STRING QUARTET
by: Tudor FERARU
Published: (2013-12-01)

Écrire, chanter, agir : les graduels et missels notés en notation aquitaine avant 1100
by: Eduardo Henrik Aubert
Published: (2012-11-01)

The Higgs mechanism — Hasse diagrams for symplectic singularities
by: Antoine Bourget, et al.
Published: (2020-01-01)

Functional Diagram of High-Precision Drive with Variables
by: V. A. Gane, et al.
Published: (2010-04-01)