Photo 1/1
Transformation s formelles du modèle d'état objet pour A. Marsh<|
État :
5 disponibles
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
Détails sur le vendeur
- 99,1% d'évaluations positives
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
- 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
- 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
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
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
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.
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :296179831398
Livraison et expédition
Le vendeur n'a indiqué aucun mode de livraison vers le pays suivant : États-Unis. Contactez le vendeur pour lui demander d'envoyer l'objet à l'endroit où vous vous trouvez.
Lieu où se trouve l'objet :
South East, Royaume-Uni
Destination :
Australie, Canada, Japon, Royaume-Uni, Union européenne
Exclus :
Afghanistan, Allemagne, Autriche, Libye, Nauru, Russie, Somalie, Suisse, Ukraine, Yémen
Délai d'expédition |
---|
Envoi sous 5 jours ouvrés après réception du paiement. |
Taxes |
---|
Des taxes pourront être appliquées lors de la finalisation de l'achat. En savoir plusEn savoir plus sur le paiement des taxes sur les achats eBay |
Taxe de vente pour l'objet n°296179831398
Taxe de vente pour l'objet n°296179831398
Le vendeur facture une taxe de vente pour les États suivants :
État | Taux de la taxe de vente |
---|
Conditions de retour
Une fois l'objet reçu, contactez le vendeur dans un délai de | Frais de retour |
---|---|
30 jours | L'acheteur paie les frais de retour |
L'acheteur doit payer les frais de retour.
Détails des conditions de retour |
---|
Retours acceptés |
Détails du paiement
Modes de paiement
Catégories populaires de cette Boutique
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