Программы tropos.sf.net

Этот проект разрабатывает общий, ориентированный на цели и/или ориентированный на агента инструмент моделирования и анализа. Он предоставляет пользователям графический интерфейс для разработки моделей и поддерживает доступ к