Zerrendatu Kongresuak-Ingeniaritza honen arabera: gaia "Unified modeling language"
1-tik 1-1 emaitza erakusten
-
CRESCO Framework and Checker: Automatic Generation of Reflective UML State Machine's C++ Code and Checker
(IEEE, 2020)Software Systems are becoming increasingly complex leading to new Validation & Verification challenges. Model checking and testing techniques are used at development time while runtime verification aims to verify that a ...