Katalog Plus
Bibliothek der Frankfurt UAS
Bald neuer Katalog: sichern Sie sich schon vorab Ihre persönlichen Merklisten im Nutzerkonto: Anleitung.
Dieses Ergebnis aus IEEE Xplore Digital Library kann Gästen nicht angezeigt werden.  Login für vollen Zugriff.

AnimUML as a UML Modeling and Verification Teaching Tool

Title: AnimUML as a UML Modeling and Verification Teaching Tool
Authors: Jouault, Frederic; Sebille, Valentin; Besnard, Valentin; Calvar, Theo Le; Teodorov, Ciprian; Brun, Matthias; Delatour, Jerome
Source: 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) MODELS-C Model Driven Engineering Languages and Systems Companion (MODELS-C), 2021 ACM/IEEE International Conference on. :615-619 Oct, 2021
Relation: 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)
Database: IEEE Xplore Digital Library