LEADER 00956nam a22002411i 4500 001 991002742329707536 005 20030805175455.0 008 030925s1938 it a||||||||||||||||fre 035 $ab12332380-39ule_inst 035 $aARCHE-037992$9ExL 040 $aBiblioteca Interfacoltà$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l. 082 04$a920 100 1 $aGorani, Giuseppe$0133671 245 10$aCorti e paesi :$b1764-1766 /$cGiuseppe Gorani ; a cura di Alessandro Casati 260 $aMilano :$bA. Mondadori,$cstampa 1938 300 $a398 p., [10] c. di tav. :$bill. ;$c20 cm 650 4$aGorani, Giuseppe$xDiari e memorie 907 $a.b12332380$b02-04-14$c08-10-03 912 $a991002742329707536 945 $aLE002 St. VI E 19 (Fondo Ferretti)$g1$i2002000153814$lle002$o-$pE0.00$q-$rn$so $t0$u0$v0$w0$x0$y.i12733088$z08-10-03 996 $aCorti e paesi$9160644 997 $aUNISALENTO 998 $ale002$b08-10-03$cm$da $e-$ffre$git $h0$i1 LEADER 05729nam 22007815 450 001 9910143882703321 005 20200706010245.0 010 $a3-540-36540-0 024 7 $a10.1007/3-540-36540-0 035 $a(CKB)1000000000211919 035 $a(SSID)ssj0000321060 035 $a(PQKBManifestationID)11260277 035 $a(PQKBTitleCode)TC0000321060 035 $a(PQKBWorkID)10263047 035 $a(PQKB)10082043 035 $a(DE-He213)978-3-540-36540-2 035 $a(MiAaPQ)EBC3071999 035 $a(PPN)155215922 035 $a(EXLCZ)991000000000211919 100 $a20121227d2003 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAgent-Oriented Software Engineering III $eThird International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions /$fedited by Fausto Giunchiglia, James Odell, Gerhard Weiß 205 $a1st ed. 2003. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003. 215 $a1 online resource (X, 234 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2585 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-00713-X 320 $aIncludes bibliographical references and index. 327 $aModeling, Specification, and Validation -- Specifying Electronic Societies with the Causal Calculator -- Modeling Agents and Their Environment -- Validation of Multiagent Systems by Symbolic Model Checking -- Patterns,Architectures,and Reuse -- Patterns in Agent-Oriented Software Engineering -- Concurrent Architecture for a Multi-agent Platform -- Re-use of Interaction Protocols for Agent-Based Control Applications -- Architecting for Reuse: A Software Framework for Automated Negotiation -- Multi-agent and Software Architectures: A Comparative Case Study -- UML and Agent Systems -- Using UML State Machine Models for More Precise and Flexible JADE Agent Behaviors -- Generating Machine Processable Representations of Textual Representations of AUML -- A UML Profile for External Agent-Object-Relationship (AOR) Models -- Extending Agent UML Sequence Diagrams -- Methodologies and Tools -- The Tropos Software Development Methodology: Processes, Models and Diagrams -- Prometheus: A Methodology for Developing Intelligent Agents -- Tool-Supported Process Analysis and Design for the Development of Multi-agent Systems -- Assembling Agent Oriented Software Engineering Methodologies from Features -- Positions and Perspectives -- Agent-Oriented Software Technologies: Flaws and Remedies. 330 $aOver the past three decades, software engineers have derived a progressively better understanding of the characteristics of complexity in software. It is now widely recognised thatinteraction is probably the most important single char- teristic of complex software. Software architectures that contain many dyna- cally interacting components, each with their own thread of control, and eng- ing in complex coordination protocols, are typically orders of magnitude more complex to correctly and e?ciently engineer than those that simply compute a function of some input through a single thread of control. Unfortunately, it turns out that many (if not most) real-world applications have precisely these characteristics. As a consequence, a major research topic in c- puter science over at least the past two decades has been the development of tools and techniques to model, understand, and implement systems in which interaction is the norm. Indeed, many researchers now believe that in future computation itself will be understood as chie?y a process of interaction. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2585 606 $aSoftware engineering 606 $aComputers 606 $aComputer networks 606 $aProgramming languages (Electronic computers) 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aScience, Humanities and Social Sciences, multidisciplinary$3https://scigraph.springernature.com/ontologies/product-market-codes/A11007 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 615 0$aSoftware engineering. 615 0$aComputers. 615 0$aComputer networks. 615 0$aProgramming languages (Electronic computers) 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aScience, Humanities and Social Sciences, multidisciplinary. 615 24$aTheory of Computation. 615 24$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aProgramming Languages, Compilers, Interpreters. 676 $a005.1 702 $aGiunchiglia$b Fausto$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aOdell$b James$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWeiß$b Gerhard$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aAOSE 2002 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143882703321 996 $aAgent-Oriented Software Engineering III$92072168 997 $aUNINA