Voici les éléments 1-2 de 1
| Besoins fonctionnels, méthodologie PASSI, SMA, Spécification formelle, Agent UML, Logique de Réécriture, Maude. (1) |
| Functional requirements, PASSI methodology, MAS, Formal specification, Agent UML, Rewriting logic, Maude (1) |
Voici les éléments 1-2 de 1