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 |
καταχωρήστε σχόλιο πρώτοι!