|
|
|
|
LEADER |
05242nam a2200601 4500 |
001 |
978-3-540-36540-2 |
003 |
DE-He213 |
005 |
20191022162450.0 |
007 |
cr nn 008mamaa |
008 |
121227s2003 gw | s |||| 0|eng d |
020 |
|
|
|a 9783540365402
|9 978-3-540-36540-2
|
024 |
7 |
|
|a 10.1007/3-540-36540-0
|2 doi
|
040 |
|
|
|d GrThAP
|
050 |
|
4 |
|a QA76.758
|
072 |
|
7 |
|a UMZ
|2 bicssc
|
072 |
|
7 |
|a COM051230
|2 bisacsh
|
072 |
|
7 |
|a UMZ
|2 thema
|
072 |
|
7 |
|a UL
|2 thema
|
082 |
0 |
4 |
|a 005.1
|2 23
|
245 |
1 |
0 |
|a Agent-Oriented Software Engineering III
|h [electronic resource] :
|b Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions /
|c edited by Fausto Giunchiglia, James Odell, Gerhard Weiß.
|
250 |
|
|
|a 1st ed. 2003.
|
264 |
|
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg :
|b Imprint: Springer,
|c 2003.
|
300 |
|
|
|a X, 234 p.
|b online resource.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
347 |
|
|
|a text file
|b PDF
|2 rda
|
490 |
1 |
|
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 2585
|
505 |
0 |
|
|a Modeling, 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.
|
520 |
|
|
|a Over 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.
|
650 |
|
0 |
|a Software engineering.
|
650 |
|
0 |
|a Computers.
|
650 |
|
0 |
|a Computer communication systems.
|
650 |
|
0 |
|a Programming languages (Electronic computers).
|
650 |
1 |
4 |
|a Software Engineering/Programming and Operating Systems.
|0 http://scigraph.springernature.com/things/product-market-codes/I14002
|
650 |
2 |
4 |
|a Science, Humanities and Social Sciences, multidisciplinary.
|0 http://scigraph.springernature.com/things/product-market-codes/A11007
|
650 |
2 |
4 |
|a Theory of Computation.
|0 http://scigraph.springernature.com/things/product-market-codes/I16005
|
650 |
2 |
4 |
|a Software Engineering.
|0 http://scigraph.springernature.com/things/product-market-codes/I14029
|
650 |
2 |
4 |
|a Computer Communication Networks.
|0 http://scigraph.springernature.com/things/product-market-codes/I13022
|
650 |
2 |
4 |
|a Programming Languages, Compilers, Interpreters.
|0 http://scigraph.springernature.com/things/product-market-codes/I14037
|
700 |
1 |
|
|a Giunchiglia, Fausto.
|e editor.
|0 (orcid)0000-0002-5903-6150
|1 https://orcid.org/0000-0002-5903-6150
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
700 |
1 |
|
|a Odell, James.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
700 |
1 |
|
|a Weiß, Gerhard.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
710 |
2 |
|
|a SpringerLink (Online service)
|
773 |
0 |
|
|t Springer eBooks
|
776 |
0 |
8 |
|i Printed edition:
|z 9783662183564
|
776 |
0 |
8 |
|i Printed edition:
|z 9783540007135
|
830 |
|
0 |
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 2585
|
856 |
4 |
0 |
|u https://doi.org/10.1007/3-540-36540-0
|z Full Text via HEAL-Link
|
912 |
|
|
|a ZDB-2-SCS
|
912 |
|
|
|a ZDB-2-LNC
|
912 |
|
|
|a ZDB-2-BAE
|
950 |
|
|
|a Computer Science (Springer-11645)
|