This paper presents first a formal development methodology that enables a specifier to add complexity progressively into the system design, and to formally validate each stepwrt client's requirements. Second, the paper describes the application of this methodology to agent-based systems, as well as development guidelines that help the specifier during the development of such systems. The methodology and the development guidelines are presented through an agent market place example.
CITATION STYLE
Di Marzo Serugendo, G. (2001). A formal development and validation methodology applied to agent-based systems. In Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (Vol. 1887, pp. 214–225). Springer Verlag. https://doi.org/10.1007/3-540-47772-1_22
Mendeley helps you to discover research relevant for your work.