-
1
-
-
0033904095
-
On agent-based software engineering
-
Jennings, N.: On agent-based software engineering. Artificial Intelligence 117(2), 277-296 (2000)
-
(2000)
Artificial Intelligence
, vol.117
, Issue.2
, pp. 277-296
-
-
Jennings, N.1
-
3
-
-
38349070482
-
-
Naur, P, Randell, B, eds
-
Naur, P., Randell, B. (eds.): Software Engineering: report on a conference sponsored by the nato science committee, Garmisch, Germany, NATO Science Committee (1968)
-
(1968)
Software Engineering: Report on a conference sponsored by the nato science committee, Garmisch, Germany, NATO Science Committee
-
-
-
4
-
-
84976779102
-
The humble programmer
-
Dijkstra, E.: The humble programmer. Communications of the ACM 15(10), 859-866 (1972)
-
(1972)
Communications of the ACM
, vol.15
, Issue.10
, pp. 859-866
-
-
Dijkstra, E.1
-
5
-
-
84945709727
-
Goto statement considered harmful
-
Dijkstra, E.: Goto statement considered harmful. Communications of the ACM 11(3), 147-148 (1968)
-
(1968)
Communications of the ACM
, vol.11
, Issue.3
, pp. 147-148
-
-
Dijkstra, E.1
-
7
-
-
84976773049
-
Beyond programming languages
-
Winograd, T.: Beyond programming languages. Communications of the ACM 22(7), 391-401 (1979)
-
(1979)
Communications of the ACM
, vol.22
, Issue.7
, pp. 391-401
-
-
Winograd, T.1
-
9
-
-
0042228704
-
Software engineering programmes are not computer science programmes
-
Parnas, D.: Software engineering programmes are not computer science programmes. Annals of Software Engineering 6(1), 19-37 (1998)
-
(1998)
Annals of Software Engineering
, vol.6
, Issue.1
, pp. 19-37
-
-
Parnas, D.1
-
11
-
-
49049136479
-
The knowledge level
-
Newell, A.: The knowledge level. Artificial Intelligence 18, 87-127 (1982)
-
(1982)
Artificial Intelligence
, vol.18
, pp. 87-127
-
-
Newell, A.1
-
13
-
-
38349008608
-
-
MacCarthy, J.: Lisp 1.5 Programmer's Manual. MIT Press, Cambridge (1965)
-
MacCarthy, J.: Lisp 1.5 Programmer's Manual. MIT Press, Cambridge (1965)
-
-
-
-
14
-
-
38349014339
-
-
Roussel, P.: PROLOG: Manuel de reference et d'utilisation. Université d'AixMarseille II (1975)
-
Roussel, P.: PROLOG: Manuel de reference et d'utilisation. Université d'AixMarseille II (1975)
-
-
-
-
15
-
-
0027560432
-
Agent-Oriented Programming
-
Shoham, Y.: Agent-Oriented Programming. Artificial Intelligence 60(1), 51-92 (1993)
-
(1993)
Artificial Intelligence
, vol.60
, Issue.1
, pp. 51-92
-
-
Shoham, Y.1
-
16
-
-
38349046950
-
-
Bordini, R., Hübner, J., Vieira, R.: Jason and the Golden Fleece of Agent-Oriented Programming. In: Multi-Agent Programming. Multiagent Systems, Artificial Societies, and Simulated Organizations, 15, pp. 3-37. Springer, Heidelberg (2005)
-
Bordini, R., Hübner, J., Vieira, R.: Jason and the Golden Fleece of Agent-Oriented Programming. In: Multi-Agent Programming. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 15, pp. 3-37. Springer, Heidelberg (2005)
-
-
-
-
17
-
-
84948966261
-
BDI agents speak out in a logical computational language
-
Perram, J, Van de Velde, W, eds, MAAMAW 1996, Springer, Heidelberg
-
Rao, A.S.: AgentSpeak (L): BDI agents speak out in a logical computational language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol. 1038, pp. 42-55. Springer, Heidelberg (1996)
-
(1996)
LNCS
, vol.1038
, pp. 42-55
-
-
Rao, A.S.1
AgentSpeak, L.2
-
18
-
-
0033478151
-
Agent Programming in 3APL
-
Hindriks, K., Boer, F.D., der Hoek, W.V., Meyer, J.: Agent Programming in 3APL. Autonomous Agents and Multi-Agent Systems 2(4), 357-401 (1999)
-
(1999)
Autonomous Agents and Multi-Agent Systems
, vol.2
, Issue.4
, pp. 357-401
-
-
Hindriks, K.1
Boer, F.D.2
der Hoek, W.V.3
Meyer, J.4
-
19
-
-
26444592903
-
Af-apl - bridging principles and practice in agent oriented languages
-
Bordini, R.H, Dastani, M, Dix, J, Seghrouchni, A.E.F, eds, Programming Multi-Agent Systems, Springer, Heidelberg
-
Ross, R.J., Collier, R.W., O'Hare, G.M.P.: Af-apl - bridging principles and practice in agent oriented languages. In: Bordini, R.H., Dastani, M., Dix, J., Seghrouchni, A.E.F. (eds.) Programming Multi-Agent Systems. LNCS (LNAI), vol. 3346, pp. 66-88. Springer, Heidelberg (2005)
-
(2005)
LNCS (LNAI
, vol.3346
, pp. 66-88
-
-
Ross, R.J.1
Collier, R.W.2
O'Hare, G.M.P.3
-
20
-
-
16244409450
-
CLAIM: A Computational Language for Autonomous, Intelligent and Mobile Agents
-
Dastani, M, Dix, J, El FallahSeghrouchni, A, eds, PROMAS 2003., 3067, pp, Springer, Heidelberg
-
Fallah-Seghrouchni, A.E., Suna, A.: CLAIM: A Computational Language for Autonomous, Intelligent and Mobile Agents. In: Dastani, M., Dix, J., El FallahSeghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI)1 vol. 3067, pp. 90-110. Springer, Heidelberg (2004)
-
(2004)
LNCS (LNAI
, vol.1
, pp. 90-110
-
-
Fallah-Seghrouchni, A.E.1
Suna, A.2
-
21
-
-
0010221403
-
Specifying communicative multi-agent systems with ConGolog
-
Shapiro, S., Lesperance, Y., Levesque, H.: Specifying communicative multi-agent systems with ConGolog. In: Working Notes of the AAAI Fall 1997 Symposium on Communicative Action in Humans and Machines, vol. 1037, pp. 72-82 (1997)
-
(1997)
Working Notes of the AAAI Fall 1997 Symposium on Communicative Action in Humans and Machines
, vol.1037
, pp. 72-82
-
-
Shapiro, S.1
Lesperance, Y.2
Levesque, H.3
-
22
-
-
22944471478
-
FLUX: A logic programming method for reasoning agents
-
Thielscher, M.: FLUX: A logic programming method for reasoning agents. Theory and Practice of Logic Programming 5(4-5), 533-565 (2005)
-
(2005)
Theory and Practice of Logic Programming
, vol.5
, Issue.4-5
, pp. 533-565
-
-
Thielscher, M.1
-
23
-
-
33144455844
-
A Survey of Programming Languages and Platforms for Multi-Agent Systems
-
Bordini, R., Braubach, L., Dastani, M., Seghrouchni, A.E.F., Gomez-Sanz, J., Leite, J., O'Hare, G., Pokahr, A., Ricci, A.: A Survey of Programming Languages and Platforms for Multi-Agent Systems. Informatica 30(1), 33-44 (2006)
-
(2006)
Informatica
, vol.30
, Issue.1
, pp. 33-44
-
-
Bordini, R.1
Braubach, L.2
Dastani, M.3
Seghrouchni, A.E.F.4
Gomez-Sanz, J.5
Leite, J.6
O'Hare, G.7
Pokahr, A.8
Ricci, A.9
-
25
-
-
34247233533
-
Multi-Agent Programming
-
Bordini, R.H, Dastani, M, Dix, J, Seghrouchni, A.E.F, eds, Springer, Heidelberg
-
Bordini, R.H., Dastani, M., Dix, J., Seghrouchni, A.E.F. (eds.): Multi-Agent Programming. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 15. Springer, Heidelberg (2005)
-
(2005)
Multiagent Systems, Artificial Societies, and Simulated Organizations
, vol.15
-
-
-
26
-
-
0013457273
-
Recommended practice for architectural description of software-intensive systems
-
Technical report, IEEE
-
Hillard, R.: Recommended practice for architectural description of software-intensive systems. Technical report, IEEE (2000)
-
(2000)
-
-
Hillard, R.1
-
27
-
-
0029288791
-
A domainspecific software architecture for adaptive intelligent systems
-
Hayes-Roth, B., Pfleger, K., Lalanda, P., Morignot, P., Balabanovic, M.: A domainspecific software architecture for adaptive intelligent systems. IEEE Transactions on Software Engineering 21(4), 288-301 (1995)
-
(1995)
IEEE Transactions on Software Engineering
, vol.21
, Issue.4
, pp. 288-301
-
-
Hayes-Roth, B.1
Pfleger, K.2
Lalanda, P.3
Morignot, P.4
Balabanovic, M.5
-
28
-
-
84990622810
-
Plans and resource-bounded practical reasoning
-
Bratman, M.E., Israel, D.J., Pollack, M.: Plans and resource-bounded practical reasoning. Computational Intelligence Journal 4(4), 349-355 (1988)
-
(1988)
Computational Intelligence Journal
, vol.4
, Issue.4
, pp. 349-355
-
-
Bratman, M.E.1
Israel, D.J.2
Pollack, M.3
-
29
-
-
38348998823
-
-
Jennings, N.R., Wittig, T.: ARCHON: Theory and Practice. In: Distributed Artificial Intelligence: Theory and Praxis. Eurocourses: Computer and Information Science, 5. Springer, Heidelberg (1992)
-
Jennings, N.R., Wittig, T.: ARCHON: Theory and Practice. In: Distributed Artificial Intelligence: Theory and Praxis. Eurocourses: Computer and Information Science, vol. 5. Springer, Heidelberg (1992)
-
-
-
-
30
-
-
0010277474
-
-
Concept and Application. PhD thesis, Deutsches Forschungszentrum für Künstliche Intelligenz
-
Müller, J., Pischel, M.: The Agent Architecture InteRRaP: Concept and Application. PhD thesis, Deutsches Forschungszentrum für Künstliche Intelligenz (1993)
-
(1993)
The Agent Architecture InteRRaP
-
-
Müller, J.1
Pischel, M.2
-
31
-
-
0003547980
-
-
PhD thesis, Ph. D. Dissertation, University of Cambridge, UK
-
Ferguson, I.: Touring Machines: An architecture for Dynamic, Rational Agents. PhD thesis, Ph. D. Dissertation, University of Cambridge, UK (1992)
-
(1992)
Touring Machines: An architecture for Dynamic, Rational Agents
-
-
Ferguson, I.1
-
32
-
-
26644432537
-
DESIRE: Modelling MultiAgent Systems in a Compositional Formal Framework
-
Brazier, F., Dunin-Keplicz, B., Jennings, N., Treur, J.: DESIRE: Modelling MultiAgent Systems in a Compositional Formal Framework. International Journal of Cooperative Information Systems 6(1), 67-94 (1997)
-
(1997)
International Journal of Cooperative Information Systems
, vol.6
, Issue.1
, pp. 67-94
-
-
Brazier, F.1
Dunin-Keplicz, B.2
Jennings, N.3
Treur, J.4
-
33
-
-
38349043960
-
Temporal semantics of complex reasoning tasks
-
Brazier, F., Treur, J., Wijngaards, N., Willems, M.: Temporal semantics of complex reasoning tasks. In: Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop, vol. 96, pp. 1-15 (1996)
-
(1996)
Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop
, vol.96
, pp. 1-15
-
-
Brazier, F.1
Treur, J.2
Wijngaards, N.3
Willems, M.4
-
34
-
-
84957871808
-
-
Cornelissen, F., Jonker, C., Treur, J.: Compositional Verification of Knowledge-based Systems: a Case Study for Diagnostic Reasoning. In: Plaza, E. (ed.) EKAW 1997. LNCS, 1319, pp. 65-80. Springer, Heidelberg (1997)
-
Cornelissen, F., Jonker, C., Treur, J.: Compositional Verification of Knowledge-based Systems: a Case Study for Diagnostic Reasoning. In: Plaza, E. (ed.) EKAW 1997. LNCS, vol. 1319, pp. 65-80. Springer, Heidelberg (1997)
-
-
-
-
35
-
-
0002001401
-
Agent Theories, Architectures, and Languages: A Survey
-
Wooldridge, M., Jennings, N.: Agent Theories, Architectures, and Languages: A Survey. Intelligent Agents 22 (1995)
-
(1995)
Intelligent Agents
, vol.22
-
-
Wooldridge, M.1
Jennings, N.2
-
37
-
-
0034824513
-
Jade: A fipa2000 compliant agent development environment
-
ACM Press, New York
-
Bellifemine, F., Poggi, A., Rimassa, G.: Jade: a fipa2000 compliant agent development environment. In: AGENTS '01: Proceedings of the fifth international conference on Autonomous agents, pp. 216-217. ACM Press, New York (2001)
-
(2001)
AGENTS '01: Proceedings of the fifth international conference on Autonomous agents
, pp. 216-217
-
-
Bellifemine, F.1
Poggi, A.2
Rimassa, G.3
-
38
-
-
0032762164
-
-
Nwana, H.: Zeus: A Toolkit for Building Distributed Multi-agent Systems. Applied Artificial Intelligence 13(1), 129-185 (1999)
-
Nwana, H.: Zeus: A Toolkit for Building Distributed Multi-agent Systems. Applied Artificial Intelligence 13(1), 129-185 (1999)
-
-
-
-
40
-
-
84883596939
-
A methodology and modelling technique for systems of BDI agents
-
Perram, J, Van de Velde, W, eds, MAAMAW 1996, Springer, Heidelberg
-
Kinny, D., Georgeff, M., Rao, A.: A methodology and modelling technique for systems of BDI agents. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol. 1038, pp. 56-71. Springer, Heidelberg (1996)
-
(1996)
LNCS
, vol.1038
, pp. 56-71
-
-
Kinny, D.1
Georgeff, M.2
Rao, A.3
-
41
-
-
84959047923
-
-
Caire, G., Coulier, W., Garijo, F.J., Gomez, J., Pavón, J., Leal, F., Chainho, P., Kearney, P.E., Stark, J., Evans, R., Massonet, P.: Agent oriented analysis using message/uml. In: Wooldridge, M.J., Weiß, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, 2222, pp. 119-135. Springer, Heidelberg (2002)
-
Caire, G., Coulier, W., Garijo, F.J., Gomez, J., Pavón, J., Leal, F., Chainho, P., Kearney, P.E., Stark, J., Evans, R., Massonet, P.: Agent oriented analysis using message/uml. In: Wooldridge, M.J., Weiß, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol. 2222, pp. 119-135. Springer, Heidelberg (2002)
-
-
-
-
42
-
-
8444229942
-
-
September
-
Evans, R., Kearney, P., Caire, G., Garijo, F., Gomez-Sanz, J.J., Pavon, J., Leal, F., Chainho, P., Massonet, P.: Message: Methodology for engineering systems of software agents (September 2001), http://www.eurescom.de/~pub- deliverables/ p900-series/P907/TI1/p907til.pdf
-
(2001)
Message: Methodology for engineering systems of software agents
-
-
Evans, R.1
Kearney, P.2
Caire, G.3
Garijo, F.4
Gomez-Sanz, J.J.5
Pavon, J.6
Leal, F.7
Chainho, P.8
Massonet, P.9
-
44
-
-
33745646576
-
-
AgentLink
-
Luck, M., McBurney, P., Shehory, O., Willmott, S.: Agent Technology: Computing as Interaction (A Roadmap for Agent Based Computing). AgentLink (2005)
-
(2005)
Agent Technology: Computing as Interaction (A Roadmap for Agent Based Computing)
-
-
Luck, M.1
McBurney, P.2
Shehory, O.3
Willmott, S.4
-
45
-
-
4344626967
-
Challenges and Research Directions in Agent-Oriented Software Engineering
-
Zambonelli, F., Omicini, A.: Challenges and Research Directions in Agent-Oriented Software Engineering. Autonomous Agents and Multi-Agent Systems 9(3), 253-283 (2004)
-
(2004)
Autonomous Agents and Multi-Agent Systems
, vol.9
, Issue.3
, pp. 253-283
-
-
Zambonelli, F.1
Omicini, A.2
-
46
-
-
4344636803
-
A Manifesto for Agent Technology: Towards Next Generation Computing
-
Luck, M., McBurney, P., Preist, C.: A Manifesto for Agent Technology: Towards Next Generation Computing. Autonomous Agents and Multi-Agent Systems 9(3), 203-252 (2004)
-
(2004)
Autonomous Agents and Multi-Agent Systems
, vol.9
, Issue.3
, pp. 203-252
-
-
Luck, M.1
McBurney, P.2
Preist, C.3
-
47
-
-
0004135418
-
-
John Wiley and Sons, West Sussex, England
-
Myers, G., Sandler, C., Thomas, T.M., Badgett, T.: The Art of Software Testing. John Wiley and Sons, West Sussex, England (2004)
-
(2004)
The Art of Software Testing
-
-
Myers, G.1
Sandler, C.2
Thomas, T.M.3
Badgett, T.4
-
48
-
-
33745818344
-
-
Gomez-Sanz, J., Pavon, J., Garijo, F.: Estimating Costs for Agent Oriented Software. In: Müller, J.P., Zambonelli, F. (eds.) AOSE 2005. LNCS, 3950, pp. 218-230. Springer, Heidelberg (2006)
-
Gomez-Sanz, J., Pavon, J., Garijo, F.: Estimating Costs for Agent Oriented Software. In: Müller, J.P., Zambonelli, F. (eds.) AOSE 2005. LNCS, vol. 3950, pp. 218-230. Springer, Heidelberg (2006)
-
-
-
-
49
-
-
33646573652
-
Agent-oriented software engineering
-
Bernon, C., Cossentino, M., Pavon, J.: Agent-oriented software engineering. The Knowledge Engineering Review 20(02), 99-116 (2006)
-
(2006)
The Knowledge Engineering Review
, vol.20
, Issue.2
, pp. 99-116
-
-
Bernon, C.1
Cossentino, M.2
Pavon, J.3
-
50
-
-
18244380822
-
A Metamodel for Assessable Software Development Methodologies
-
Gonzalez-Perez, C., McBride, T., Henderson-Sellers, B.: A Metamodel for Assessable Software Development Methodologies. Software Quality Journal 13(2), 195-214 (2005)
-
(2005)
Software Quality Journal
, vol.13
, Issue.2
, pp. 195-214
-
-
Gonzalez-Perez, C.1
McBride, T.2
Henderson-Sellers, B.3
-
51
-
-
33646160116
-
Creating a Comprehensive Agent-Oriented Methodology: Using Method Engineering and the OPEN Metamodel
-
Idea Group, USA
-
Henderson-Sellers, B.: Creating a Comprehensive Agent-Oriented Methodology: Using Method Engineering and the OPEN Metamodel. In: Agent-Oriented Methodologies, pp. 368-397. Idea Group, USA (2005)
-
(2005)
Agent-Oriented Methodologies
, pp. 368-397
-
-
Henderson-Sellers, B.1
-
52
-
-
13844280316
-
Process models for agent-based development
-
Cernuzzi, L., Cossentino, M., Zambonelli, F.: Process models for agent-based development. Engineering Applications of Artificial Intelligence 18(2), 205-222 (2005)
-
(2005)
Engineering Applications of Artificial Intelligence
, vol.18
, Issue.2
, pp. 205-222
-
-
Cernuzzi, L.1
Cossentino, M.2
Zambonelli, F.3
-
53
-
-
22944464723
-
Towards an approach for debugging mas through the analysis of acl messages
-
Lindemann, G, Denzinger, J, Timm, I.J, Unland, R, eds, MATES 2004, Springer, Heidelberg
-
Botía, J.A., Hernansaez, J.M., Skarmeta, F.G.: Towards an approach for debugging mas through the analysis of acl messages. In: Lindemann, G., Denzinger, J., Timm, I.J., Unland, R. (eds.) MATES 2004. LNCS (LNAI), vol. 3187, pp. 301-312. Springer, Heidelberg (2004)
-
(2004)
LNCS (LNAI
, vol.3187
, pp. 301-312
-
-
Botía, J.A.1
Hernansaez, J.M.2
Skarmeta, F.G.3
-
55
-
-
84867483011
-
-
DeLoach, S., Wood, M.F.: Developing multiagent systems with agenttool. In: Castelfranchi, C., Lespérance, Y. (eds.) ATAL 2000. LNCS (LNAI), 1986, pp. 46-60. Springer, Heidelberg (2001)
-
DeLoach, S., Wood, M.F.: Developing multiagent systems with agenttool. In: Castelfranchi, C., Lespérance, Y. (eds.) ATAL 2000. LNCS (LNAI), vol. 1986, pp. 46-60. Springer, Heidelberg (2001)
-
-
-
-
56
-
-
84899210687
-
The INGENIAS Methodology and Tools
-
Idea Group Publishing, USA
-
Pavon, J., Gomez-Sanz, J.J., Fuentes, R.: The INGENIAS Methodology and Tools. In: Agent-Oriented Methodologies, pp. 236-276. Idea Group Publishing, USA (2005)
-
(2005)
Agent-Oriented Methodologies
, pp. 236-276
-
-
Pavon, J.1
Gomez-Sanz, J.J.2
Fuentes, R.3
-
57
-
-
0033321635
-
The guide to the Software Engineering Body of Knowledge
-
Bourque, P., Dupuis, R., Abran, A., Moore, J., Tripp, L.: The guide to the Software Engineering Body of Knowledge. Software 16(6), 35-44 (1999)
-
(1999)
Software
, vol.16
, Issue.6
, pp. 35-44
-
-
Bourque, P.1
Dupuis, R.2
Abran, A.3
Moore, J.4
Tripp, L.5
-
58
-
-
26844570423
-
A Survey on Agent-Oriented Software Engineering Research
-
Kluwer Academic Publishers, Dordrecht
-
Gomez-Sanz, J.J., Gervais, M.P., Weiss, G.: A Survey on Agent-Oriented Software Engineering Research. In: Methodologies and Software Engineering for Agent Systems, pp. 33-62. Kluwer Academic Publishers, Dordrecht (2004)
-
(2004)
Methodologies and Software Engineering for Agent Systems
, pp. 33-62
-
-
Gomez-Sanz, J.J.1
Gervais, M.P.2
Weiss, G.3
|