SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Proceedings of the International Conference on Autonomous Agents

Volumn , Issue , 2001, Pages 624-631

Evaluation of modeling techniques for agent-based systems

(2) Shehory, O a Sturm, A a

a IBM HAIFA RESEARCH LAB (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; MATHEMATICAL MODELS; SEMANTICS; SOFTWARE ENGINEERING;

AGENT ORIENTED SOFTWARE ENGINEERING (AOSE);

MULTI AGENT SYSTEMS;

EID: 0034819305 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/375735.376473 Document Type: Conference Paper

Times cited : (84)

References (20)

1
- 0029191680
- A framework for evaluating specification methods for reactive systems, experience report
- (1995) Proc. of 17th Intl. Conf. on Software Engineering
- Ardis, M.A.¹ Chaves, J.A.² Jagadeesan, L.J.³ Mataga, P.⁴ Puchol, C.⁵ Staskauskas, M.G.⁶ Von Olnhausen, J.⁷

2
- 38949193746
- Agent UML: A formalism for specifying multiagent software systems
- P. Ciancarinin and M.J. Wooldridge (eds.) Agent-Oriented Software Engineering, Springer
- (2000) LNCS , vol.1957 , pp. 91-103
- Bauer, B.¹ Muller, J.P.² Odell, J.³

3
- 26644432537
- Desire: Modelling multi-agent systems in a compositional formal framework
- Formal Methods in Cooperative Information Systems: Muki-Agent Systems, M. Hubris and M. Singh, eds.
- (1997) Intl. Journal of Cooperative Information Systems , vol.6 , pp. 67-94
- Brazier, F.M.T.¹ Dunin-Keplicz, B.² Jennings, N.R.³ Treur, J.⁴

4
- 71649093895
- J.-J. Ch. Meyer and P.Y. Schobbes (eds.), Formal Models of Agents, Springer
- (1999) Modeling Internal Dynamic Behaviour of BDI agents , vol.LNAI 1760 , pp. 36-56
- Brazier, F.M.T.¹ Dunin-Keplicz, B.² Treur, J.³ Verbrugge, L.C.⁴

5
- 0002611512
- Compositional design of a generic design agent
- G. Luger, L. Interrante (eds.). AAAI Press
- (1998) Proc. of AAAI Workshop on AI and Manufacturing: State of the Art and State of Practice , pp. 30-39
- Brazier, F.M.T.¹ Jonker, C.M.² Treur, J.³ Wijngaards, N.J.E.⁴

6
- 84961318108
- A survey of agent-oriented methodologies
- J. P. Muller, M. P.Singh, and A. S. Roa, eds., Intelligent Agent V, Springer
- (1999) Proc. of ATAL-98 , vol.LNAI 1555 , pp. 317-330
- Iglesias, C.A.¹ Garijo, M.² Gonzalez, J.C.³

7
- 0003225235
- Agent-oriented software engineering
- (ed. J. Bradshaw) AAAI/MIT Press, to appear
- (2000) Handbook of Agent Technology
- Jennings, N.R.¹ Wooldridge, M.²

8
- 0002537552
- Using intelligent agents to manage business processes
- London, UK
- (1996) Proc. of PAAM96 , pp. 345-360
- Jennings, N.R.¹ Faratin, P.² Johnson, M.J.³ O'Brien, P.⁴ Wiegand, M.E.⁵

9
- 0033904095
- On agent-based software engineering
- (2000) Artificial Intelligence , vol.117 , Issue.2 , pp. 277-296
- Jennings, N.R.¹

10
- 0034143127
- Autonomous agents for business process management
- (2000) Int. Journal of Applied AI , vol.14 , Issue.2 , pp. 145-189
- Jennings, N.R.¹ Faratin, P.² Norman, T.J.³ O'Brien, P.⁴ Odgers, B.⁵

11
- 0034191628
- Implementing a business process management system using Adept: A real-world case study
- (2000) Intl. Journal of Applied AI , vol.14 , Issue.5 , pp. 421-465
- Jennings, N.R.¹ Faratin, P.² Norman, T.J.³ O'Brien, P.⁴ Odgers, B.⁵ Alty, J.L.⁶

12
- 0003505832
- (2000) Draft of Formal Specification Method Book
- Katz, S.¹

13
- 84974717502
- Design of collaborative information agents
- M. Klusch, and L. Kerschberg (eds.), Cooperative Information Agents IV, Springer
- (2000) Proc. of CIA 2000 , vol.LANI 1860 , pp. 262-283
- Jonker, C.M.¹ Klusch, M.² Treur, J.³

14
- 84907417520
- Structuring a Z specification to provide a formal framework for autonomous agent systems
- Proc. of ZUM'95, J. Bowen and M. Hinchey (eds.), Springer
- (1995) LNCS , vol.967 , pp. 47-62
- Luck, M.¹ D'Inverno, M.²

15
- 84891114148
- Agent modelling in metateM and Desire
- M. P. Singh, A. S. Rao, M. J. Wooldridge (eds.), Intelligent Agents IV, Springer
- (1998) Proc. of ATAL'97 , vol.LNAI 1365 , pp. 193-207
- Mulder, M.¹ Treur, J.² Fisher, M.³

16
- 84926291775
- Designing and implementing a multi-agent architecture for business process management
- eds. J. P. Mueller, M. J. Wooldridge and N. R. Jennings, Springer
- (1996) Intelligent Agents III , vol.LNAI 1193 , pp. 261-275
- Norman, T.J.¹ Jennings, N.R.² Faratin, P.³ Mamdani, E.H.⁴

17
- 0004234106
- Technical Report CMU-RI-TR-98-28, The Robotics Institute, Carnegie Mellon University
- (1998) Architectural Properties of Multi-Agent Systems
- Shehory, O.¹

18
- 0003642127
- Technical Report TR-ISE/IE-003-2000, Faculty of Industrial Engineering and Management Technion - Israel Institute of Technology
- (2000) Evaluating Agent-Based System Modeling Techniques
- Shehory, O.¹ Sturm, A.²

19
- 0032645693
- A methodology for agent-oriented analysis and design
- Seattle, WA
- (1999) Proc. of Agents-99 , pp. 69-76
- Wooldridge, M.¹ Jennings, N.R.² Kinny, D.³

20
- 0034422338
- The gaia methodology for agent-oriented analysis and design
- (2000) Journal of Autonomous Agents and MAS , vol.3 , Issue.3 , pp. 285-312
- Wooldridge, M.¹ Jennings, N.R.² Kinny, D.³

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.