Transforming Analysis Models Into Design Models for the Multiagent Systems Engineering Methodology

Clint H Sparkman

ISBN 10: 1288369107 ISBN 13: 9781288369102
Editorial: Biblioscholar, 2012
Nuevos Paperback / softback

Librería: THE SAINT BOOKSTORE, Southport, Reino Unido Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Vendedor de AbeBooks desde 14 de junio de 2006

Este artículo en concreto ya no está disponible.

Descripción

Descripción:

New copy - Usually dispatched within 4 working days. N° de ref. del artículo B9781288369102

Denunciar este artículo

Sinopsis:

Agent technology has received much attention in the last few years because of the advantages that multiagent systems have in complex, distributed environments. For multiagent systems are to be effective, they must be reliable, robust, and secure. AFIT's Agent Research Group has developed a complete lifecycle methodology, called Multiagent Systems Engineering (MaSE), for analyzing, designing, and developing heterogeneous multiagent systems. However, developing multiagent systems is a complicated process, and there is no guarantee that the resulting system meets the initial requirements and will operate reliably with the desired behavior. The purpose of this research was to develop a semi -automated formal transformation system for the MaSE methodology, as one part of formal agent synthesis, that derives the system design based on the analysis. Since each transform in the transformation system preserves correctness, the designer can be sure that the resulting system design is correct with respect to the system specification. A secondary goal of this research was to develop a proof-of-concept module for agent Tool that implements the transforms.

Reseña del editor: Agent technology has received much attention in the last few years because of the advantages that multiagent systems have in complex, distributed environments. For multiagent systems are to be effective, they must be reliable, robust, and secure. AFIT's Agent Research Group has developed a complete lifecycle methodology, called Multiagent Systems Engineering (MaSE), for analyzing, designing, and developing heterogeneous multiagent systems. However, developing multiagent systems is a complicated process, and there is no guarantee that the resulting system meets the initial requirements and will operate reliably with the desired behavior. The purpose of this research was to develop a semi -automated formal transformation system for the MaSE methodology, as one part of formal agent synthesis, that derives the system design based on the analysis. Since each transform in the transformation system preserves correctness, the designer can be sure that the resulting system design is correct with respect to the system specification. A secondary goal of this research was to develop a proof-of-concept module for agent Tool that implements the transforms.

"Sobre este título" puede pertenecer a otra edición de este libro.

Detalles bibliográficos

Título: Transforming Analysis Models Into Design ...
Editorial: Biblioscholar
Año de publicación: 2012
Encuadernación: Paperback / softback
Condición: New

Los mejores resultados en AbeBooks

Imagen del vendedor

Sparkman, Clint H
Publicado por Biblioscholar, 2012
ISBN 10: 1288369107 ISBN 13: 9781288369102
Nuevo Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: 19398337-n

Contactar al vendedor

Comprar nuevo

EUR 17,87
Envío por EUR 2,27
Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Sparkman, Clint H
Publicado por Biblioscholar, 2012
ISBN 10: 1288369107 ISBN 13: 9781288369102
Nuevo Tapa blanda

Librería: GreatBookPricesUK, Woodford Green, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: 19398337-n

Contactar al vendedor

Comprar nuevo

EUR 19,56
Envío por EUR 17,35
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Sparkman, Clint H.
Publicado por Biblioscholar 11/29/2012, 2012
ISBN 10: 1288369107 ISBN 13: 9781288369102
Nuevo Paperback or Softback

Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback or Softback. Condición: New. Transforming Analysis Models Into Design Models for the Multiagent Systems Engineering Methodology. Book. Nº de ref. del artículo: BBS-9781288369102

Contactar al vendedor

Comprar nuevo

EUR 20,21
Gastos de envío gratis
Se envía dentro de Estados Unidos de America

Cantidad disponible: 5 disponibles

Añadir al carrito

Imagen de archivo

Sparkman, Clint H.
ISBN 10: 1288369107 ISBN 13: 9781288369102
Nuevo PAP
Impresión bajo demanda

Librería: PBShop.store UK, Fairford, GLOS, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9781288369102

Contactar al vendedor

Comprar nuevo

EUR 20,41
Envío por EUR 4,81
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Sparkman, Clint H
Publicado por Biblioscholar, 2012
ISBN 10: 1288369107 ISBN 13: 9781288369102
Nuevo Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. In. Nº de ref. del artículo: ria9781288369102_new

Contactar al vendedor

Comprar nuevo

EUR 20,54
Envío por EUR 13,86
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Sparkman, Clint H.
ISBN 10: 1288369107 ISBN 13: 9781288369102
Nuevo PAP
Impresión bajo demanda

Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9781288369102

Contactar al vendedor

Comprar nuevo

EUR 22,13
Gastos de envío gratis
Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Sparkman, Clint H.
Publicado por BIBLIOSCHOLAR, 2012
ISBN 10: 1288369107 ISBN 13: 9781288369102
Nuevo Tapa blanda

Librería: moluna, Greven, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. KlappentextrnrnAgent technology has received much attention in the last few years because of the advantages that multiagent systems have in complex, distributed environments. For multiagent systems are to be effective, they must be reliable, rob. Nº de ref. del artículo: 6558395

Contactar al vendedor

Comprar nuevo

EUR 25,52
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Sparkman, Clint H
Publicado por Biblioscholar, 2012
ISBN 10: 1288369107 ISBN 13: 9781288369102
Nuevo Tapa blanda
Impresión bajo demanda

Librería: Majestic Books, Hounslow, Reino Unido

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Print on Demand pp. 164. Nº de ref. del artículo: 390046917

Contactar al vendedor

Comprar nuevo

EUR 27,38
Envío por EUR 7,52
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 4 disponibles

Añadir al carrito

Imagen de archivo

Sparkman, Clint H
Publicado por Biblioscholar, 2012
ISBN 10: 1288369107 ISBN 13: 9781288369102
Nuevo Tapa blanda
Impresión bajo demanda

Librería: Biblios, Frankfurt am main, HESSE, Alemania

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. PRINT ON DEMAND pp. 164. Nº de ref. del artículo: 18390601488

Contactar al vendedor

Comprar nuevo

EUR 27,89
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 4 disponibles

Añadir al carrito

Imagen del vendedor

Clint H. Sparkman
ISBN 10: 1288369107 ISBN 13: 9781288369102
Nuevo Taschenbuch

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Taschenbuch. Condición: Neu. Neuware - Agent technology has received much attention in the last few years because of the advantages that multiagent systems have in complex, distributed environments. For multiagent systems are to be effective, they must be reliable, robust, and secure. AFIT's Agent Research Group has developed a complete lifecycle methodology, called Multiagent Systems Engineering (MaSE), for analyzing, designing, and developing heterogeneous multiagent systems. However, developing multiagent systems is a complicated process, and there is no guarantee that the resulting system meets the initial requirements and will operate reliably with the desired behavior. The purpose of this research was to develop a semi -automated formal transformation system for the MaSE methodology, as one part of formal agent synthesis, that derives the system design based on the analysis. Since each transform in the transformation system preserves correctness, the designer can be sure that the resulting system design is correct with respect to the system specification. A secondary goal of this research was to develop a proof-of-concept module for agent Tool that implements the transforms. Nº de ref. del artículo: 9781288369102

Contactar al vendedor

Comprar nuevo

EUR 30,24
Envío por EUR 61,19
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 2 disponibles

Añadir al carrito

Existen otras 4 copia(s) de este libro

Ver todos los resultados de su búsqueda