A Multiview Formal Model of Use Case Diagrams Using Z Notation: Towards Improving Functional Requirements Quality
We propose a new formal model of UML use case diagram using Z notation to address some of its shortcomings. UML use case diagram has therefore become commonly used to structure functional requirements and the greatest challenge facing the software developer nowadays is to deliver a high quality prod...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2018-01-01
|
| Series: | Journal of Engineering |
| Online Access: | http://dx.doi.org/10.1155/2018/6854920 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|