# A Multiview Formal Model of Use Case Diagrams Using Z Notation: Towards Improving Functional Requirements Quality

> Research article (Journal of Engineering, 2018) · cited 10× · AI/ML

**Wikidata**: [openalex:W2903399270](https://www.wikidata.org/wiki/openalex:W2903399270)  
**Source**: https://4ort.xyz/entity/a-multiview-formal-model-of-use-case-diagrams-using-z-notation-towards-improving-functional-requirements-quality