ASPIDE
ASPIDE è un ambiente di sviluppo integrato per la programmazione di Answer Set Programming, supporta l’intero ciclo di vita dello sviluppo di ASP, dalla modifica di programmi (assistiti) alla distribuzione dell’applicazione. ASPIDE è un IDE progettato per massimizzare la produttività del programmatore ASP fornendo una vasta gamma di funzionalità che aiutano la gestione, la scrittura, la correzione e l’esecuzione dei progetti creati.
ASPIDE è gratuito per uso accademico e non commerciale, nonché per l’uso da parte di organizzazioni senza scopo di lucro.
Licenze per uso commerciale devono essere richieste all’indirizzo email info@dlvsystem.com.
Il manuale di ASPIDE è disponibile al seguente link.
Le seguenti pubblicazioni descrivono le caratteristiche tecniche dell’ambiente di sviluppo ASPIDE:
- Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca Extending ASPIDE with User-defined Plugins. CILC 2012: 236-240
- Onofrio Febbraro, Kristian Reale, Francesco Ricca ASPIDE: Integrated Development Environment for Answer Set Programming. LPNMR 2011: 317-330
- Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca Unit Testing in ASPIDE. INAP/WLP 2011: 345-364