Tasks #155

Activities #149: MD - Main development

Plugins development

Añadido por Luis Valencia Cabrera hace casi 12 años. Actualizado hace casi 12 años.

Estado:In progressFecha de inicio:2012-06-22
Prioridad:UrgentFecha fin:2012-07-17
Asignado a:Luis Valencia Cabrera% Realizado:

100%

Categoría:-Tiempo estimado:50.00 horas
Versión prevista:-

Descripción

This task covers all tasks related to the development of plugins for MeCoSim

Recurrences

Subtareas

Tasks #156: Plugin for basic functionalityClosedLuis Valencia Cabrera

Tasks #161: Setting up of the plugin for properties extractionClosedLuis Valencia Cabrera

Tasks #162: Plugin for Promela file generationClosedLuis Valencia Cabrera

Tasks #168: Expanding the scope of the plugin "Membrane Structure Vie...ClosedLuis Valencia Cabrera

Tasks #171: New plugin "Multisets Viewer" inside MeCoSimBasicsPluginClosedLuis Valencia Cabrera

Tasks #178: Promela plugin updateClosedLuis Valencia Cabrera

Tasks #179: Plugin for running external processes from MeCoSimClosedLuis Valencia Cabrera

Exportar a: Atom PDF