|
СТ |
ISAR: An Interactive System for Algebraic Implementation Proofs |
1992 |
Bauer B., Hennicker R. |
|
|
|
Lecture Notes in Artificial Intelligence |
11.08.1992 |
|
СТ |
Representing Agent Interaction Protocols in UML |
2001 |
Odell J. J., Van Dyke Parunak H., Bauer B. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
07.03.2001 |
|
СТ |
Agent UML: A Formalism for Specifying Multiagent Software Systems |
2001 |
Bauer B., Muller J. P., Odell J. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
07.03.2001 |
|
СТ |
UML Class Diagrams Revisited in the Context of Agent-Based Systems |
2002 |
Bauer B. |
|
|
|
Lecture Notes in Computer Science |
06.04.2002 |
|
СТ |
Agent-Oriented Software Technologies: Flaws and Remedies |
2003 |
Muller J. P., Bauer B. |
|
|
|
Lecture Notes in Computer Science |
29.03.2003 |
|
СТ |
Using UML in the Context of Agent-Oriented Software Engineering: State of the Art |
2004 |
Bauer B., Muller J. P. |
|
|
|
Lecture Notes in Computer Science |
12.02.2004 |
