PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Sulova A. Model driven software development con Eclipse, statechartUMC. Technical report, 2009.
 
 
Abstract
(English)
StatechartUMC is a graphical editor that simplifies the generation of the textual code associated to a UMC statechart. This code represents the input for the model checker UMC. StatechartUMC applies Model Driven Software Development techniques.
Subject Model Driven Software Development (MDSD)
Eclipse
Eclipse Modelling Framework (EMF)
Eclipse Graphical Modelling Framework (GMF)
Open Architecture Ware (oAW4)
D.2.4 Software/Program Verification. Model checking
K.6.3 Software Management. Software development


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional