-
Anglický jazyk
Joker: An Animator for Formal Languages
Autor: Diego Oliveira
This work proposes an application that provides graphical animation for formal specifications using the LTS as input. The application initially supports the languages B, CSP, and Z. However, using a LTS in a specified XML format, it is possible to animate... Viac o knihe
Na objednávku
50.85 €
bežná cena: 56.50 €
O knihe
This work proposes an application that provides graphical animation for formal specifications using the LTS as input. The application initially supports the languages B, CSP, and Z. However, using a LTS in a specified XML format, it is possible to animate further languages. Additionally, the tool provides traces visualization, the choices the user did, in a graphical tree. The intention is to improve the comprehension of a specification by providing information about errors and animating it, as the developers do for programming languages, such as Java and C++.
- Vydavateľstvo: LAP LAMBERT Academic Publishing
- Rok vydania: 2015
- Formát: Paperback
- Rozmer: 220 x 150 mm
- Jazyk: Anglický jazyk
- ISBN: 9783659765117
Nemecký jazyk 
