In order for agent-oriented software engineering to prove effective it must use principled notions of agents and enabling specification and reasoning, while still considering routes to practical implementation. This paper deals with the issue of individual agent specifi... View more
 N. R. Jennings, On agent-based softare engineering, Artificial Intelligence 117 (2) (2000) 277-296.
 J. Bryson, L. A. Stein, Architectures and Idioms: Making Progress in Agent Design, in: C. Castelfranchi, Y. Lesp´erance (Eds.), Intelligent Agents VII. Agent Theories Architectures and Languages, Vol. 1986, Springer, 2001, pp. 73-88.
 M. d'Inverno, M. Luck, Understanding Agent Systems, 2nd Edition, Springer, 2004.
 J. Spivey, The Z Notation, 2nd Edition, Prentice Hall, 1992.
 J. Cheesman, J. Daniels, UML Components: A Simple Process for Specifying Component-Based Software, Addison-Wesley, 2000.
 D. D'Souza, A. Wills, Objects Components and Frameworks with UML, Addison-Wesley, 1998.
 C. Szyperski, Component Software: Beyond Object-Oriented Programming, Addison-Wesley, 1998.
 A. S. Rao, M. P. Georgeff, BDI-agents: from theory to practice, in: Proceedings of the First International Conference on Multiagent Systems, AAAI Press/ The MIT Press, 1995, pp. 312-319.
 T. Finin, Y. Labrou, J. Mayfield, KQML as an agent communication language, in: J. Bradshaw (Ed.), Software Agents, MIT Press, 1997.
 M. d'Inverno, M. Luck, Engineering AgentSpeak(L): A Formal Computational Model, Journal of Logic and Computation 8 (3) (1998) 233-260.