LEADER 01358nam a2200289 i 4500 001 991002721379707536 008 100913s2009 it h 001 0 ita d 020 $a9788884205339 035 $ab14221822-39ule_inst 040 $aBibl. Interfacoltà T. Pellegrino$bita 082 04$a010.945385 245 00$aBibliografia e identità nazionale :$bil caso trentino nel XVIII secolo /$ca cura di Luca Rivali ; presentazione di Edoardo Barbieri 260 $aUdine :$bForum,$c2009 300 $a222 p. :$bfacs. ;$c24 cm. 440 0$aLibri e biblioteche ;$v24 500 $aContiene un indice 500 $aSegue in ripr. facsimilare: Saggio della biblioteca Tirolese, o sia Notizie istoriche degli scrittori della provincia del Tirolo / di Giacopo Tartarotti roveretano. In Rovereto : presso Pierantonio Berno libraio, 1733. 600 14$aTartarotti, Giacopo.$tBiblioteca tirolese 650 4$aTrentino-Alto Adige$xIdentità etnica$vBibliografia$xStoria$ySec. 18. 700 1 $aRivali, Luca 700 1 $aBarbieri, Edoardo 907 $a.b14221822$b06-05-15$c07-04-15 912 $a991002721379707536 945 $aLE002 Bibl. Ris. 225/24$g1$i2002001049437$lle002$op$pE24.00$q-$rn$so $t0$u0$v0$w0$x0$y.i15665446$z07-04-15 996 $aBibliografia e identità nazionale$9256177 997 $aUNISALENTO 998 $ale002$b07-04-15$cm$da $e $fita$git $h0$i0 LEADER 04520nam 22006615 450 001 9910299853103321 005 20200707023030.0 010 $a3-319-11572-3 024 7 $a10.1007/978-3-319-11572-6 035 $a(CKB)3710000000248993 035 $a(EBL)1965432 035 $a(OCoLC)892517907 035 $a(SSID)ssj0001354002 035 $a(PQKBManifestationID)11895995 035 $a(PQKBTitleCode)TC0001354002 035 $a(PQKBWorkID)11335469 035 $a(PQKB)11131235 035 $a(DE-He213)978-3-319-11572-6 035 $a(MiAaPQ)EBC1965432 035 $a(PPN)181348802 035 $a(EXLCZ)993710000000248993 100 $a20140924d2015 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aRegulated Open Multi-Agent Systems (ROMAS) $eA Multi-Agent Approach for Designing Normative Open Systems /$fby Emilia Garcia, Adriana Giret, Vicente Botti 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (147 p.) 300 $aDescription based upon print version of record. 311 $a3-319-11571-5 320 $aIncludes bibliographical references. 327 $a1.-Introduction 2.-Requirements for designing normative open multiagent systems 3 -- State of the art 4 -- ROMAS approach overview 5.-ROMAS modeling language 6.-ROMAS methodology 7.- ROMAS development framework 8 -- ROMAS approach evaluation .9 -- Conclusions. 330 $aAddressing the open problem of engineering normative open systems using the multi-agent paradigm, normative open systems are explained as systems in which heterogeneous and autonomous entities and institutions coexist in a complex social and legal framework that can evolve to address the different and often conflicting objectives of the many stakeholders involved. Presenting  a software engineering approach which covers both the analysis and design of these kinds of systems, and which deals with the open issues in the area, ROMAS (Regulated Open Multi-Agent Systems) defines a specific multi-agent architecture, meta-model, methodology and CASE tool. This CASE tool is based on Model-Driven technology and integrates the graphical design with the formal verification of some properties of these systems by means of model checking techniques. Utilizing tables to enhance reader insights into the most important requirements for designing normative open multi-agent systems, the book also provides a detailed and easy to understand description of the ROMAS approach and the advantages of using ROMAS. This method is illustrated with case studies, in which the reader may develop a comprehensive understanding of applying ROMAS to a given problem. The case studies are presented with illustrations of the developments. Reading this book will help readers to understand the increasing demand for normative open systems and their development requirements; understand how multi-agent systems approaches can be used to deal with the development of systems of this kind; to learn an easy to use and complete engineering method for large-scale and complex normative systems and to recognize how Model-Driven technology can be used to integrate the analysis, design, verification and implementation of multi-agent systems. 606 $aComputational intelligence 606 $aArtificial intelligence 606 $aSoftware engineering 606 $aComputational Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/T11014 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 615 0$aComputational intelligence. 615 0$aArtificial intelligence. 615 0$aSoftware engineering. 615 14$aComputational Intelligence. 615 24$aArtificial Intelligence. 615 24$aSoftware Engineering. 676 $a005.1 676 $a006.3 676 $a620 700 $aGarcia$b Emilia$4aut$4http://id.loc.gov/vocabulary/relators/aut$0720805 702 $aGiret$b Adriana$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aBotti$b Vicente$4aut$4http://id.loc.gov/vocabulary/relators/aut 906 $aBOOK 912 $a9910299853103321 996 $aRegulated Open Multi-Agent Systems (ROMAS)$92505959 997 $aUNINA