{"id":4032,"date":"2020-04-05T16:27:39","date_gmt":"2020-04-05T14:27:39","guid":{"rendered":"http:\/\/www.dlvsystem.it\/dlvsite\/?page_id=4032"},"modified":"2026-02-12T17:20:10","modified_gmt":"2026-02-12T16:20:10","slug":"aspide_it","status":"publish","type":"page","link":"https:\/\/www.dlvsystem.it\/dlvsite\/it\/aspide_it\/","title":{"rendered":"ASPIDE_it"},"content":{"rendered":"<div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-1 nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-background-position:left top;--awb-border-sizes-top:0px;--awb-border-sizes-bottom:0px;--awb-border-sizes-left:0px;--awb-border-sizes-right:0px;--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-padding-top:0px;--awb-padding-bottom:60px;--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-0 fusion_builder_column_1_1 1_1 fusion-one-full fusion-column-first fusion-column-last fusion-column-no-min-height\" style=\"--awb-bg-size:cover;--awb-margin-bottom:0px;\"><div class=\"fusion-column-wrapper fusion-flex-column-wrapper-legacy\"><div class=\"fusion-title title fusion-title-1 fusion-title-center fusion-title-text fusion-title-size-two\"><div class=\"title-sep-container title-sep-container-left\"><div class=\"title-sep sep- sep-solid\" style=\"border-color:#e2e2e2;\"><\/div><\/div><span class=\"awb-title-spacer\"><\/span><h2 class=\"fusion-title-heading title-heading-center fusion-responsive-typography-calculated\" style=\"margin:0;--fontSize:48;line-height:1.2;\">ASPIDE<\/h2><span class=\"awb-title-spacer\"><\/span><div class=\"title-sep-container title-sep-container-right\"><div class=\"title-sep sep- sep-solid\" style=\"border-color:#e2e2e2;\"><\/div><\/div><\/div><div class=\"fusion-text fusion-text-1\"><p style=\"text-align: justify; \">ASPIDE \u00e8 l&#8217;IDE (Integrated Development Environment) completo per supportare l&#8217;intero ciclo di vita dello sviluppo software basato su Answer Set Programming (ASP). Dalla scrittura del codice fino al deployment dell&#8217;applicazione, ASPIDE offre un set di strumenti visivi e testuali pensati per massimizzare la produttivit\u00e0 dei programmatori.<\/p>\n<p style=\"text-align: justify; \">Non un semplice editor, ma una suite completa che assiste lo sviluppatore nella gestione dei progetti, offrendo funzionalit\u00e0 avanzate di editing assistito (autocompletamento, evidenziazione della sintassi), strumenti di debugging per la correzione degli errori e un motore integrato per l&#8217;esecuzione e il test immediato dei programmi logici.<\/p>\n<\/div><div class=\"accordian fusion-accordian\" style=\"--awb-border-size:1px;--awb-icon-size:13px;--awb-content-font-size:21px;--awb-icon-alignment:left;--awb-hover-color:#f9f9f9;--awb-border-color:#cccccc;--awb-background-color:#ffffff;--awb-divider-color:#e0dede;--awb-divider-hover-color:#e0dede;--awb-icon-color:#ffffff;--awb-title-color:#333333;--awb-content-color:#646464;--awb-icon-box-color:#007aa6;--awb-toggle-hover-accent-color:#007aa6;--awb-title-font-family:&quot;PT Sans&quot;;--awb-title-font-weight:400;--awb-title-font-style:normal;--awb-title-font-size:20px;--awb-content-font-family:&quot;PT Sans&quot;;--awb-content-font-style:normal;--awb-content-font-weight:regular;\"><div class=\"panel-group fusion-toggle-icon-boxed\" id=\"accordion-4032-1\"><div class=\"fusion-panel panel-default panel-324c9e7fa5b77f58f fusion-toggle-no-divider fusion-toggle-boxed-mode\"><div class=\"panel-heading\"><h4 class=\"panel-title toggle\" id=\"toggle_324c9e7fa5b77f58f\"><a aria-expanded=\"false\" aria-controls=\"324c9e7fa5b77f58f\" role=\"button\" data-toggle=\"collapse\" data-parent=\"#accordion-4032-1\" data-target=\"#324c9e7fa5b77f58f\" href=\"#324c9e7fa5b77f58f\"><span class=\"fusion-toggle-icon-wrapper\" aria-hidden=\"true\"><i class=\"fa-fusion-box active-icon awb-icon-minus\" aria-hidden=\"true\"><\/i><i class=\"fa-fusion-box inactive-icon awb-icon-plus\" aria-hidden=\"true\"><\/i><\/span><span class=\"fusion-toggle-heading\">Licenza<\/span><\/a><\/h4><\/div><div id=\"324c9e7fa5b77f58f\" class=\"panel-collapse collapse \" aria-labelledby=\"toggle_324c9e7fa5b77f58f\"><div class=\"panel-body toggle-content fusion-clearfix\">\n<p><span style=\"font-weight: 400;\">ASPIDE \u00e8 gratuito per uso accademico e non commerciale, nonch\u00e9 per l\u2019uso da parte di organizzazioni senza scopo di lucro.<br \/>\n<\/span><\/p>\n<p><span style=\"font-weight: 400;\">Licenze per uso commerciale devono essere richieste all&#8217;indirizzo email info@dlvsystem.com.<\/span><\/p>\n<\/div><\/div><\/div><div class=\"fusion-panel panel-default panel-bf1ef323eabb9819a fusion-toggle-no-divider fusion-toggle-boxed-mode\"><div class=\"panel-heading\"><h4 class=\"panel-title toggle\" id=\"toggle_bf1ef323eabb9819a\"><a aria-expanded=\"false\" aria-controls=\"bf1ef323eabb9819a\" role=\"button\" data-toggle=\"collapse\" data-parent=\"#accordion-4032-1\" data-target=\"#bf1ef323eabb9819a\" href=\"#bf1ef323eabb9819a\"><span class=\"fusion-toggle-icon-wrapper\" aria-hidden=\"true\"><i class=\"fa-fusion-box active-icon awb-icon-minus\" aria-hidden=\"true\"><\/i><i class=\"fa-fusion-box inactive-icon awb-icon-plus\" aria-hidden=\"true\"><\/i><\/span><span class=\"fusion-toggle-heading\">Download<\/span><\/a><\/h4><\/div><div id=\"bf1ef323eabb9819a\" class=\"panel-collapse collapse \" aria-labelledby=\"toggle_bf1ef323eabb9819a\"><div class=\"panel-body toggle-content fusion-clearfix\">\n<p>Per scaricare ASPIDE visita il sito dedicato al seguente <a href=\"https:\/\/www.mat.unical.it\/ricca\/aspide\/download.html\">link<\/a>. (Link esterno)<\/p>\n<\/div><\/div><\/div><div class=\"fusion-panel panel-default panel-72cea956c74f745ae fusion-toggle-no-divider fusion-toggle-boxed-mode\"><div class=\"panel-heading\"><h4 class=\"panel-title toggle\" id=\"toggle_72cea956c74f745ae\"><a aria-expanded=\"false\" aria-controls=\"72cea956c74f745ae\" role=\"button\" data-toggle=\"collapse\" data-parent=\"#accordion-4032-1\" data-target=\"#72cea956c74f745ae\" href=\"#72cea956c74f745ae\"><span class=\"fusion-toggle-icon-wrapper\" aria-hidden=\"true\"><i class=\"fa-fusion-box active-icon awb-icon-minus\" aria-hidden=\"true\"><\/i><i class=\"fa-fusion-box inactive-icon awb-icon-plus\" aria-hidden=\"true\"><\/i><\/span><span class=\"fusion-toggle-heading\">Documentazione<\/span><\/a><\/h4><\/div><div id=\"72cea956c74f745ae\" class=\"panel-collapse collapse \" aria-labelledby=\"toggle_72cea956c74f745ae\"><div class=\"panel-body toggle-content fusion-clearfix\">\n<p>Il manuale di ASPIDE \u00e8 disponibile al seguente <a href=\"https:\/\/www.mat.unical.it\/ricca\/aspide\/\">link<\/a>.<\/p>\n<\/div><\/div><\/div><div class=\"fusion-panel panel-default panel-e38ecf71d8fa984b9 fusion-toggle-no-divider fusion-toggle-boxed-mode\"><div class=\"panel-heading\"><h4 class=\"panel-title toggle\" id=\"toggle_e38ecf71d8fa984b9\"><a aria-expanded=\"false\" aria-controls=\"e38ecf71d8fa984b9\" role=\"button\" data-toggle=\"collapse\" data-parent=\"#accordion-4032-1\" data-target=\"#e38ecf71d8fa984b9\" href=\"#e38ecf71d8fa984b9\"><span class=\"fusion-toggle-icon-wrapper\" aria-hidden=\"true\"><i class=\"fa-fusion-box active-icon awb-icon-minus\" aria-hidden=\"true\"><\/i><i class=\"fa-fusion-box inactive-icon awb-icon-plus\" aria-hidden=\"true\"><\/i><\/span><span class=\"fusion-toggle-heading\">Ricerca e pubblicazioni<\/span><\/a><\/h4><\/div><div id=\"e38ecf71d8fa984b9\" class=\"panel-collapse collapse \" aria-labelledby=\"toggle_e38ecf71d8fa984b9\"><div class=\"panel-body toggle-content fusion-clearfix\">\n<p>Le seguenti pubblicazioni descrivono le caratteristiche tecniche dell&#8217;ambiente di sviluppo ASPIDE:<\/p>\n<ul>\n<li>Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca <a href=\"http:\/\/ceur-ws.org\/Vol-857\/paper_s01.pdf\"><span style=\"font-weight: 400;\">Extending ASPIDE with User-defined Plugins. CILC 2012: 236-240<\/span><\/a><\/li>\n<li>Onofrio Febbraro, Kristian Reale, Francesco Ricca <a href=\"https:\/\/doi.org\/10.1007\/978-3-642-20895-9_37\"><span style=\"font-weight: 400;\">ASPIDE: Integrated Development Environment for Answer Set Programming. LPNMR 2011: 317-330<\/span><\/a><\/li>\n<li>Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca <a href=\"https:\/\/doi.org\/10.1007\/978-3-642-41524-1_21\"><span style=\"font-weight: 400;\">Unit Testing in ASPIDE. INAP\/WLP 2011: 345-364<\/span><\/a><\/li>\n<\/ul>\n<\/div><\/div><\/div><\/div><\/div><div class=\"fusion-clearfix\"><\/div><\/div><\/div><\/div><\/div>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":3,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-4032","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/pages\/4032","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/comments?post=4032"}],"version-history":[{"count":6,"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/pages\/4032\/revisions"}],"predecessor-version":[{"id":5371,"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/pages\/4032\/revisions\/5371"}],"wp:attachment":[{"href":"https:\/\/www.dlvsystem.it\/dlvsite\/wp-json\/wp\/v2\/media?parent=4032"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}