From abstract qualities to concrete specification using guidance policies

Authors:
Scott J. Harmon;Scott A. DeLoach; Robby
Affiliations:
Kansas State University, Manhattan, Kansas;Kansas State University, Manhattan, Kansas;Kansas State University, Manhattan, Kansas
Venue:
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Year:
2009

Citing 2
Cited 0

Bogor: an extensible and highly-modular software model checking framework

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
A capabilities-based model for adaptive organizations

Autonomous Agents and Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This research describes a formal method for transforming abstract qualities into concrete specification in the form of policies within a multiagent system design methodology.