共 42 条
[1]
COMPOSING SPECIFICATIONS
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
1993, 15 (01)
:73-132
[2]
AKIHIK O, 1997, IEEE INTERNET COMPUT, V1
[3]
Alexander C., 1977, PATTERN LANGUAGE
[4]
Aridor Y., 1998, Proceedings of the Second International Conference on Autonomous Agents, P108, DOI 10.1145/280765.280784
[5]
BAZIER FMT, 1995, P 1 INT C MULT SYST, P25
[6]
BOOCH G, 1994, OBJECT ORIENTED ANAL
[7]
Brazier F, 1996, LECT NOTES ARTIF INT, V1076, P278
[8]
Compositional design and verification of a multi-agent system for one-to-many negotiation
[J].
INTERNATIONAL CONFERENCE ON MULTI-AGENT SYSTEMS, PROCEEDINGS,
1998,
:49-56
[9]
Brazier F, 1999, LECT NOTES ARTIF INT, V1760, P36
[10]
BRAZIER FMT, 1994, ARTIFICIAL INTELLIGENCE IN DESIGN '94, P535