Aceasta este aplicația Linux numită GAVS+ a cărei ultimă versiune poate fi descărcată ca GAVS+_dist_20160404.zip. Poate fi rulat online în furnizorul de găzduire gratuit OnWorks pentru stații de lucru.
Descărcați și rulați online această aplicație numită GAVS+ cu OnWorks gratuit.
Urmați aceste instrucțiuni pentru a rula această aplicație:
- 1. Ați descărcat această aplicație pe computer.
- 2. Introduceți în managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator pe care îl doriți.
- 3. Încărcați această aplicație într-un astfel de manager de fișiere.
- 4. Porniți emulatorul online OnWorks Linux sau Windows online sau emulatorul online MACOS de pe acest site web.
- 5. Din sistemul de operare OnWorks Linux pe care tocmai l-ați pornit, accesați managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator dorit.
- 6. Descărcați aplicația, instalați-o și rulați-o.
CAPTURĂ DE ECRAN:
GAVS+
DESCRIERE:
GAVS+ (Game Arena Visualization and Synthesis, Plus!) este un instrument open-source care permite vizualizarea unui spectru larg de jocuri algoritmice utilizate în verificare și sinteză și oferă o interfață standard cu funcții utilitare pentru a stabili conexiunea cu practica de inginerie. Este dezvoltat de Departamentul de Informatică (Unitatea 6), TU München. Instrumentul este servit în principal în scopuri de cercetare și educaționale. Software-ul este lansat sub Licența Publică Generală GNU (v3).Un tutorial ușor învechit (în PDF) este inclus în fișierul zip.
Public
Știință/Cercetare, Educație, Inginerie
Aceasta este o aplicație care poate fi preluată și de la https://sourceforge.net/projects/gavsplus/. A fost găzduit în OnWorks pentru a fi rulat online într-un mod cât mai ușor de pe unul dintre sistemele noastre operative gratuite.