Andere Kunden interessierten sich auch für
![A Formal Methodology and Technique for Verifying Conversations in a Closed Multi-Agent System]( "A Formal Methodology and Technique for Verifying Conversations in a Closed Multi-Agent System")
A Formal Methodology and Technique for Verifying Conversations in a Closed Multi-Agent System64,99 €![An Object-Oriented Repository-Based Software Synthesis System]( "An Object-Oriented Repository-Based Software Synthesis System")
An Object-Oriented Repository-Based Software Synthesis System63,99 €![Knowledge Base Support for Design and Synthesis of Multi-Agent Systems]( "Knowledge Base Support for Design and Synthesis of Multi-Agent Systems")
Knowledge Base Support for Design and Synthesis of Multi-Agent Systems63,99 €![Automated Agent Ontology Creation for Distributed Databases]( "Automated Agent Ontology Creation for Distributed Databases")
Automated Agent Ontology Creation for Distributed Databases63,99 €![A Formal Specification and Proof of System Safety Using the Schematic Protection Model]( "A Formal Specification and Proof of System Safety Using the Schematic Protection Model")
A Formal Specification and Proof of System Safety Using the Schematic Protection Model64,99 €![An Application of Automated Theorem Provers to Computer System Security: The Schematic Protection Model]( "An Application of Automated Theorem Provers to Computer System Security: The Schematic Protection Model")
An Application of Automated Theorem Provers to Computer System Security: The Schematic Protection Model63,99 €![Using a Distributed Object-Oriented Database Management System in Support of a High-Speed Network Intrusion Detection System Data Repository]( "Using a Distributed Object-Oriented Database Management System in Support of a High-Speed Network Intrusion Detection System Data Repository")
Using a Distributed Object-Oriented Database Management System in Support of a High-Speed Network Intrusion Detection System Data Repository63,99 €
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
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.