Published June 16, 2023
| Version v9
Report
Open
Compendium of Documents About the Design and Testing System YEROTH_QVGE (YR_QVGE)
Description
YEROTH_QVGE is a CASE (Computer-Aided Software Engineering) design tool to generate "domain-specific language (DSL) YR_SB_RUNTIME_VERIF_LANG" files, to be inputted into the "compiler YR_SB_RUNTIME_VERIF_LANG_COMP", so to generate C ++ files for the "runtime verifier tester YR-DB-RUNTIME-VERIF that allows for manual verification of SQL correctness properties of Graphical User Interface (GUI) software.
Notes
Files
YEROTH_QVGE.pdf
Files
(727.2 kB)
Name | Size | Download all |
---|---|---|
md5:4a76705bf04195faf3854ca10267fad2
|
727.2 kB | Preview Download |