Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Pablo Bendersky"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 139, Iss Proc. LAFM 2013, Pp 59-64 (2014)
We present an extension to the DynAlloy tool to navigate DynAlloy counterexamples: the DynAlloy Visualizer. The user interface mimics the functionality of a programming language debugger. Without this tool, a DynAlloy user is forced to deal with the
Externí odkaz:
https://doaj.org/article/e441b7166d514d4a9f5b78b637ced739
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 139, Iss Proc. LAFM 2013, Pp 59-64 (2014)
We present an extension to the DynAlloy tool to navigate DynAlloy counterexamples: the DynAlloy Visualizer. The user interface mimics the functionality of a programming language debugger. Without this tool, a DynAlloy user is forced to deal with the