|Mis en vente dans la catégorie :
Vous en avez un à vendre ?

Transformations formelles du modèle d'état objet pour A. Marsh<|

État :
Neuf
5 disponibles
Prix :
58,65 GBP
Environ68,34 EUR
Livraison :
Livraison peut-être pas offerte vers : États-Unis. Consultez la description de l'objet ou contactez le vendeur pour en savoir plus sur les options de livraison. Afficher les détailspour la livraison
Lieu où se trouve l'objet : South East, Royaume-Uni
Délai de livraison :
Varie
Retours :
Retour sous 30 jours. L'acheteur paie les frais de retour. Afficher les détails- pour en savoir plus sur les retours
Paiements :
     

Achetez en toute confiance

Garantie client eBay
Obtenez un remboursement si vous ne recevez pas l'objet que vous avez commandé. 

Détails sur le vendeur

Inscrit comme vendeur professionnel
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :296179831398

Caractéristiques de l'objet

État
Neuf: Livre neuf, n'ayant jamais été lu ni utilisé, en parfait état, sans pages manquantes ni ...
Title
Formal Object State Model Transformations for Automated Agent Sy
ISBN
9781288409419
Publication Year
2012
Type
Textbook
Format
Paperback
Language
English
Publication Name
Formal Object State Model Transformations for Automated Agent System Synthesis
Item Height
246mm
Author
David W Marsh
Publisher
Biblioscholar
Item Width
189mm
Subject
Education
Item Weight
268g
Number of Pages
142 Pages

À propos de ce produit

Product Information

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

Product Identifiers

Publisher
Biblioscholar
ISBN-13
9781288409419
eBay Product ID (ePID)
148884346

Product Key Features

Author
David W Marsh
Publication Name
Formal Object State Model Transformations for Automated Agent System Synthesis
Format
Paperback
Language
English
Subject
Education
Publication Year
2012
Type
Textbook
Number of Pages
142 Pages

Dimensions

Item Height
246mm
Item Width
189mm
Item Weight
268g

Additional Product Features

Title_Author
David W Marsh

Description de l'objet fournie par le vendeur

Informations sur le vendeur professionnel

WRAP Ltd.
Mubin Ahmed
Unit 4
119 Loverock Road
Reading
Berkshire
RG30 1DZ
United Kingdom
Afficher les coordonnées
: enohpéléT60358080080
: liam-e esserdAmoc.aidemtumahab@yabe
Numéro de TVA :
  • GB 724498118
Numéro d'immatriculation de la société :
  • 03800600
Je certifie que toutes mes activités de vente seront conformes à toutes les lois et réglementations de l'UE.
baham_books

baham_books

99,1% d'évaluations positives
8,7 millions objets vendus
Visiter la BoutiqueContacter

Évaluations détaillées du vendeur

Moyenne pour les 12 derniers mois

Description exacte
4.9
Frais de livraison raisonnables
5.0
Livraison rapide
4.9
Communication
4.9
Inscrit comme vendeur professionnel

Évaluations en tant que vendeur (2.835.123)

0***e (94)- Évaluations laissées par l'acheteur.
Dernier mois
Achat vérifié
VERY HELPFUL
4***i (377)- Évaluations laissées par l'acheteur.
Dernier mois
Achat vérifié
Excellent!
l***a (936)- Évaluations laissées par l'acheteur.
Dernier mois
Achat vérifié
As described. Thanks