Crossmark

Taming the frame problem: an automated approach for robust UML class diagram specification and verification

Published Online: 2024-11-29

Published Print: 2024-12

Authors

Rosales Viesca, Antonio

Al Lail, Mustafa
Funding

Funding for this research was provided by:

Texas A&M International University (The University Research Grant (URG))
License Information

Text and Data Mining valid from 2024-11-29

Version of Record valid from 2024-11-29
More Information

Article History

Received: 14 January 2024

Accepted: 19 August 2024

First Online: 29 November 2024

Declarations

:

: The authors declare no competing interests.

Document is current