Hallo! Tracked shipping to Netherlands with Delivery Duty Paid for just €7 

Ship to
Netherlands
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Formal Object State Model Transformations for Automated Agent System Synthesis
Type
Physical Book
Author
Publisher
Language
English
Pages
142
Format
Paperback
Dimensions
24.6x18.9x0.8 cm
Weight
0.27 kg.
ISBN13
9781288409419
Categories

Formal Object State Model Transformations for Automated Agent System Synthesis

David W. Marsh (Author) · Biblioscholar · Paperback

Formal Object State Model Transformations for Automated Agent System Synthesis - Marsh, David W.

Cheaper New Book Imported to Netherlands
Delivery: 30 Sep - 07 Oct Shipping: 17 to 21 business days.
€ 28,81
Faster New Book Imported to Netherlands
Delivery: 23 Sep - 30 Sep Shipping: 12 to 16 business days.
€ 32,90
Import costs and 9% BTW included in the price ✅
€ 28,81

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Formal Object State Model Transformations for Automated Agent System Synthesis"

Automated agent system synthesis is the process of generating code from a requirements specification with appropriate inputs from the software engineer. Object-oriented (OO) specifications are frequently used to model intelligent software agent systems and software requirements in general; formal representations capture precisely the intentions of the specifier. Portions of OO specifications can be classified as the structural, functional, and state (or dynamic) models; major strides have been taken in the development of transformations for creating code from formal OO specifications, specifically the structural and functional aspects, and are captured within the AFIT Wide-Spectrum Object Modeling Environment (AWSOME). This research creates a methodology for the automatic transformation of the dynamic model into structural and functional components which can then be exploited for the generation of executable code exactly reflecting the original intent of the requirements specification. The integration of agent communication protocols within this context is addressed, providing a methodology for the incorporation of various agent-to-agent and agent-to-human interaction schemes. Feasibility is demonstrated through the application of transformations to a formal requirements model within AWSOME resulting in executable code

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews