Spicing Up Software-Intensive Systems with Curcuma / Najlacnejšie knihy
Spicing Up Software-Intensive Systems with Curcuma

Kód: 07093755

Spicing Up Software-Intensive Systems with Curcuma

Autor Florian Stallmann

The multi-agent paradigm promises an intuitive understanding of dynamic software-intensive systems capable of adapting their own behavior, while Model-Driven Engineering improves quality and efficiency. In this thesis, we fuse the ... celý popis

90.82

Bežne: 94.66 €

Ušetríte 3.84 €


U vydavateľa na objednávku
Odosielame za 17 - 27 dní
Pridať medzi želanie

Mohlo by sa vám tiež páčiť

Darčekový poukaz: Radosť zaručená
  1. Darujte poukaz v ľubovoľnej hodnote, a my sa postaráme o zvyšok.
  2. Poukaz sa vzťahuje na všetky produkty v našej ponuke.
  3. Elektronický poukaz si vytlačíte z e-mailu a môžete ho ihneď darovať.
  4. Platnosť poukazu je 12 mesiacov od dátumu vystavenia.

Objednať darčekový poukazViac informácií

Viac informácií o knihe Spicing Up Software-Intensive Systems with Curcuma

Nákupom získate 220 bodov

Anotácia knihy

The multi-agent paradigm promises an intuitive understanding of dynamic software-intensive systems capable of adapting their own behavior, while Model-Driven Engineering improves quality and efficiency. In this thesis, we fuse these concepts into a model-driven approach to multi-agent system design by combining CurCuMA, an innovative approach for designing complex coordination architectures, with a solid theoretical and technical foundation that enables formal verification and experimental validation. CurCuMA is based on dynamic agent organizations solving specific problems by adhering to a set of shared conventions, and the prominent use of the agents' environment as the frame of reference that such conventions require. For their specification, we extend the UML with a family of visual constraint languages: Story Decision Diagrams provide a first-order logic for object-oriented systems, whereas Timed Story Scenario Diagrams describe their structural evolution. We provide a formal semantics based on graph grammars, which enables the application of formal verification techniques and an iterative development process relying on code generation, simulation, and monitoring.

Parametre knihy

90.82

Obľúbené z iného súdka



Osobný odber Bratislava a 12742 dalších

Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies


Môj účet: Prihlásiť sa
Všetky knihy sveta na jednom mieste. Navyše za skvelé ceny.

Nákupný košík ( prázdny )

Vyzdvihnutie v Zásielkovni
zadarmo nad 59,99 €.

Nachádzate sa: