-
2
-
-
84969401412
-
System design by composing structures of interacting objects
-
Ole Lehrmann Madsen, editor Springer-Verlag, New York, NY
-
E. P. Andersen and T. Reenskaug. System design by composing structures of interacting objects. In Ole Lehrmann Madsen, editor, ECOOP '92, European Conference on Object-Oriented Programming, Utrecht, The Netherlands, Volume 615 of Lecture Notes in Computer Science, pages 133-152. Springer-Verlag, New York, NY, 1992.
-
(1992)
ECOOP '92, European Conference on Object-Oriented Programming, Utrecht, the Netherlands, Volume 615 of Lecture Notes in Computer Science
, pp. 133-152
-
-
Andersen, E.P.1
Reenskaug, T.2
-
3
-
-
38949193746
-
Agent uml: A formalism for specifying multiagent interaction
-
M. Wooldridge and P. Ciancarini, editors LNCS Berlin Springer-Verlag
-
B. Bauer, J. Muller, and J. Odell. Agent uml: A formalism for specifying multiagent interaction. In M. Wooldridge and P. Ciancarini, editors, Proceedings of 22nd International Conference on Software Engineering (ISCE), LNCS, pages 91-103, Berlin, 2001. Springer-Verlag.
-
(2001)
Proceedings of 22nd International Conference on Software Engineering (ISCE)
, pp. 91-103
-
-
Bauer, B.1
Muller, J.2
Odell, J.3
-
6
-
-
2442588184
-
Agent oriented analysis using MESSAGE/UML
-
Montreal
-
G. Caire, F. Leal, P. Chainho, R. Evans, F. Garijo, J. Gomez, J. Pavon, P. Kearney, J. Stark, and P. Massonet. Agent oriented analysis using MESSAGE/UML. In Proceedings of Agent-Oriented Software Engineering (AOSE'01), pages 101-108, Montreal, 2001.
-
(2001)
Proceedings of Agent-Oriented Software Engineering (AOSE'01)
, pp. 101-108
-
-
Caire, G.1
Leal, F.2
Chainho, P.3
Evans, R.4
Garijo, F.5
Gomez, J.6
Pavon, J.7
Kearney, P.8
Stark, J.9
Massonet, P.10
-
8
-
-
0003511047
-
-
Computing Series. Yourdon Press, Englewood Cliffs, NJ
-
P. Coad and E. Yourdon. Object-Oriented Analysis. Computing Series. Yourdon Press, Englewood Cliffs, NJ, 1990.
-
(1990)
Object-Oriented Analysis
-
-
Coad, P.1
Yourdon, E.2
-
9
-
-
0000706110
-
Evaluating deadlock detection methods for concurrent software
-
March
-
J. C. Corbett. Evaluating deadlock detection methods for concurrent software. IEEE Transactions on Software Engineering, 22 (3):161-180, March 1996.
-
(1996)
IEEE Transactions on Software Engineering
, vol.22
, Issue.3
, pp. 161-180
-
-
Corbett, J.C.1
-
10
-
-
84936874024
-
OpenCoLaS a coordination framework for CoLaS dialects
-
York, United Kingdom
-
J. C. Cruz. OpenCoLaS a coordination framework for CoLaS dialects. In Proceedings of COORDINATION 2002, York, United Kingdom, 2002.
-
(2002)
Proceedings of COORDINATION 2002
-
-
Cruz, J.C.1
-
11
-
-
0004035026
-
-
Addison-Wesley, Reading, MA, USA ACM order number 704982
-
D. Denning. Information warfare and security. Addison-Wesley, Reading, MA, USA, 1999. ACM order number 704982.
-
(1999)
Information Warfare and Security
-
-
Denning, D.1
-
12
-
-
0034833479
-
Improving the agent-oriented modeling process by roles
-
Jörg P. Müller, Elisabeth Andre, Sandip Sen, and Claude Frasson, editors Montreal, Canada, May ACM Press
-
R. Depke, R. Heckel, and J. M. Kuster. Improving the agent-oriented modeling process by roles. In Jörg P. Müller, Elisabeth Andre, Sandip Sen, and Claude Frasson, editors, Proceedings of the Fifth International Conference on Autonomous Agents, pages 640-647, Montreal, Canada, May 2001. ACM Press.
-
(2001)
Proceedings of the Fifth International Conference on Autonomous Agents
, pp. 640-647
-
-
Depke, R.1
Heckel, R.2
Kuster, J.M.3
-
13
-
-
0003854752
-
-
Addison-Wesley, Reading, Mass.
-
D.F. D'Souza and A.C. Wills. Objects, Components, and Frameworks with UML: The Catalysis Approach. Addison-Wesley, Reading, Mass., 1999.
-
(1999)
Objects, Components, and Frameworks with UML: The Catalysis Approach
-
-
D'Souza, D.F.1
Wills, A.C.2
-
16
-
-
84936853175
-
APT agents: Agents that are adaptive, predictable, and timely
-
D. F. Gordon. APT agents: Agents that are adaptive, predictable, and timely. Lecture Notes in Computer Science, 1871:278-293, 2001.
-
(2001)
Lecture Notes in Computer Science
, vol.1871
, pp. 278-293
-
-
Gordon, D.F.1
-
17
-
-
0003620778
-
-
Addison-Wesley, Reading, Massachusetts
-
J. E. Hopcroft and Jeffrey D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading, Massachusetts, 1979.
-
(1979)
Introduction to Automata Theory, Languages, and Computation
-
-
Hopcroft, J.E.1
Ullman, J.D.2
-
18
-
-
84957679956
-
Agent-oriented software engineering
-
Francisco J. Garijo and Magnus Boman, editors Springer-Verlag: Heidelberg, Germany, 30-2
-
N. R. Jennings. Agent-Oriented Software Engineering. In Francisco J. Garijo and Magnus Boman, editors, Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: Multi-Agent System Engineering (MAAMAW-99), volume 1647, pages 1-7. Springer-Verlag: Heidelberg, Germany, 30-2 1999.
-
(1999)
Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: Multi-Agent System Engineering (MAAMAW-99)
, vol.1647
, pp. 1-7
-
-
Jennings, N.R.1
-
19
-
-
23044521316
-
Agent software engineering with role modelling
-
P. Ciancarini and M. Wooldridge, editors Limerick, Ireland, June Springer-Verlag
-
E. Kendall. Agent software engineering with role modelling. In P. Ciancarini and M. Wooldridge, editors, First International Workshop of Agent-Oriented Software Engineering, AOSE 2000, number 1957 in LNCS, pages 163-170, Limerick, Ireland, June 2001. Springer-Verlag.
-
(2001)
First International Workshop of Agent-Oriented Software Engineering, AOSE 2000, Number 1957 in LNCS
, pp. 163-170
-
-
Kendall, E.1
-
21
-
-
0033728569
-
Role modeling for agent system analysis, design, and implementation
-
April/June
-
E. A. Kendall. Role modeling for agent system analysis, design, and implementation. IEEE Concurrency, 8 (2):34-41 April/June 2000.
-
(2000)
IEEE Concurrency
, vol.8
, Issue.2
, pp. 34-41
-
-
Kendall, E.A.1
-
22
-
-
0010251176
-
Extended modeling languages for interaction protocol design
-
M. Wooldridge, P. Ciancarini, and G. Weiss, editors LNCS, Montreal, Canada, May Springer-Verlag
-
J. Koning, M. Huget, J. Wei, and X. Wang. Extended modeling languages for interaction protocol design. In M. Wooldridge, P. Ciancarini, and G. Weiss, editors, Proceedings of Second Internationa Workshop on Agent-Oriented Software Engineering (AOSE'02), LNCS, Montreal, Canada, May, 2001. Springer-Verlag.
-
(2001)
Proceedings of Second Internationa Workshop on Agent-Oriented Software Engineering (AOSE'02)
-
-
Koning, J.1
Huget, M.2
Wei, J.3
Wang, X.4
-
23
-
-
0002324123
-
Representing agent interaction protocols in uml
-
page Apendix, Limerick, Ireland, June Springer-Verlag
-
th Int. Workshop on Agent-Oriented Software Engeenering (AOSE'2000), number 1957 in LNCS, page Apendix, Limerick, Ireland, June 2000. Springer-Verlag.
-
(2000)
th Int. Workshop on Agent-Oriented Software Engeenering (AOSE'2000), Number 1957 in LNCS
-
-
Odell, J.1
Parunak, H.V.D.2
Bauer, B.3
-
24
-
-
38549131556
-
Coordination models and languages
-
Academic Press
-
G. Papadopoulos and F. Arbab. Coordination models and languages. In Advances in Computers, Volume 46. Academic Press, 1998.
-
(1998)
Advances in Computers
, vol.46
-
-
Papadopoulos, G.1
Arbab, F.2
-
25
-
-
0037661386
-
A top down approach for mas protocol descriptions
-
page to be published, Melbourne, Florida, USA ACM Press
-
J. Peña, R. Corchuelo, and J. L. Arjona. A top down approach for mas protocol descriptions. In ACM Symposium on Applied Computing SAC'03, page to be published, Melbourne, Florida, USA, 2003. ACM Press.
-
(2003)
ACM Symposium on Applied Computing SAC'03
-
-
Peña, J.1
Corchuelo, R.2
Arjona, J.L.3
-
26
-
-
84944050570
-
An order-based, distributed algorithm for implementing multiparty interactions
-
York, UK Springer-Verlag
-
J.A. Pérez, R. Corchuelo, D. Ruiz, and M. Toro. An order-based, distributed algorithm for implementing multiparty interactions. In Fifth International Conference on Coordination Models and Languages COORDINATION 2002, pages 250-257, York, UK, 2002. Springer-Verlag.
-
(2002)
Fifth International Conference on Coordination Models and Languages COORDINATION 2002
, pp. 250-257
-
-
Pérez, J.A.1
Corchuelo, R.2
Ruiz, D.3
Toro, M.4
-
28
-
-
0003511049
-
-
Prentice Hall, Schenectady, New York
-
J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, Schenectady, New York, 1991.
-
(1991)
Object-Oriented Modeling and Design
-
-
Rumbaugh, J.1
Blaha, M.2
Premerlani, W.3
Eddy, F.4
Lorensen, W.5
-
29
-
-
0003547470
-
-
Object Technology Series. Addison Wesley Longman, Reading, Massachussetts
-
J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Object Technology Series. Addison Wesley Longman, Reading, Massachussetts, 1999.
-
(1999)
The Unified Modeling Language Reference Manual
-
-
Rumbaugh, J.1
Jacobson, I.2
Booch, G.3
-
30
-
-
26444563688
-
Survey of deadlock detection in distributed concurrent programming environments and its application to real-time systems
-
C. Shih and J. A. Stankovic. Survey of deadlock detection in distributed concurrent programming environments and its application to real-time systems. Technical Report UM-CS-1990-069, 1990.
-
(1990)
Technical Report UM-CS-1990-069
-
-
Shih, C.1
Stankovic, J.A.2
-
31
-
-
0022987223
-
An automata-theoretic approach to automatic program verification (preliminary report)
-
Cambridge, MA, USA, 16-18 June 1986 IEEE Computer Society Press, Washington, DC
-
M. Y. Vardi and Pierre Wolper. An automata-theoretic approach to automatic program verification (preliminary report). In Proceedings 1st Annual IEEE Symp. on Logic in Computer Science, LICS'86, Cambridge, MA, USA, 16-18 June 1986, pages 332-344. IEEE Computer Society Press, Washington, DC, 1986.
-
(1986)
Proceedings 1st Annual IEEE Symp. on Logic in Computer Science, LICS'86
, pp. 332-344
-
-
Vardi, M.Y.1
Wolper, P.2
-
33
-
-
0034422338
-
The gaia methodology for agent-oriented analysis and design
-
M. Wooldridge, N. R. Jennings, and D. Kinny. The gaia methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems, 3 (3):285-312, 2000.
-
(2000)
Autonomous Agents and Multi-Agent Systems
, vol.3
, Issue.3
, pp. 285-312
-
-
Wooldridge, M.1
Jennings, N.R.2
Kinny, D.3
-
34
-
-
0347558106
-
Organizational abstraction for the analysis and design of multi-agent system
-
Limerick, Ireland, June Springer-Verlag
-
th Int. Workshop on Agent-Oriented Software Engeenering (AOSE'2000), number 1957 in LNCS, pages 235-252, Limerick, Ireland, June 2000. Springer-Verlag.
-
(2000)
th Int. Workshop on Agent-Oriented Software Engeenering (AOSE'2000), Number 1957 in LNCS
, pp. 235-252
-
-
Zamboneli, F.1
Jennings, N.R.2
Wooldridge, M.3
|