The software engineering of agent-based intelligent adaptive systems

2005 ◽  
Author(s):  
L. Sterling ◽  
T. Juan
Keyword(s):  
Software Engineering ◽  
Adaptive Systems ◽  
Agent Based

Formal Development of Reactive Agent-Based Systems

2005 ◽  
pp. 1201-1204
Author(s):  
P. Kefalas ◽  
M. Holcombe ◽  
G. Eleftherakis ◽  
M. Gheorghe
Keyword(s):  
Software Engineering ◽  
Modelling Technique ◽  
Automated Verification ◽  
Formal Specifications ◽  
Formal Models ◽  
Agent Based ◽  
Engineering Research ◽  
Testing Techniques ◽  
Software Engineering Research ◽  
Careful Design

Recent advances in both the testing and verification of software based on formal specifications have reached a point where the ideas can be applied in a powerful way in the design of agent-based systems. The software engineering research has highlighted a number of important issues: the importance of the type of modelling technique used; the careful design of the model to enable powerful testing techniques to be used; the automated verification of the behavioural properties of the system; and the need to provide a mechanism for translating the formal models into executable software in a simple and transparent way.

Applying complex adaptive systems to agent-based models for social programme evaluation

2018 ◽  
pp. 312-326 ◽  
Author(s):  
Professor Michael E. Wolf-Branigin ◽  
Dr William G. Kennedy ◽  
Dr Emily S. Ihara ◽  
Dr Catherine J. Tompkins
Keyword(s):  
Complex Adaptive Systems ◽  
Adaptive Systems ◽  
Programme Evaluation ◽  
Agent Based Models ◽  
Agent Based ◽  
Complex Adaptive ◽  
Social Programme
Sign in / Sign up

Export Citation Format

Share Document