Academic Journal
Taming the frame problem: an automated approach for robust UML class diagram specification and verification
| Τίτλος: | Taming the frame problem: an automated approach for robust UML class diagram specification and verification |
|---|---|
| Συγγραφείς: | Rosales Viesca, AntonioAff1, Al Lail, MustafaAff2, IDs11334024005750_cor1 |
| Πηγή: | Innovations in Systems and Software Engineering: A NASA Journal. 20(4):619-641 |
| Βάση Δεδομένων: | Springer Nature Journals |
| ISSN: | 16145046 16145054 |
|---|---|
| DOI: | 10.1007/s11334-024-00575-0 |