Model driven software development con Eclipse, statechartUMC (Contributo in atti di convegno)

Type
Label
  • Model driven software development con Eclipse, statechartUMC (Contributo in atti di convegno) (literal)
Anno
  • 2009-01-01T00:00:00+01:00 (literal)
Alternative label
  • Sulova A. (2009)
    Model driven software development con Eclipse, statechartUMC
    in 4th Italian workshop on Eclipse technologies, Università degli Studi di Berg
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Sulova A. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: Eclipse-IT 2009 - 4th Italian workshop on Eclipse technologies (Università degli Studi di Bergamo, 28-29 September 2009). Atti, Angelo Gargantini (ed.). Eclipse Italian Community, Bergamo, Italy, 2009. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • ABSTRACT: StatechartUMC is a graphical editor which simplifies the generation of textual code associated to a UMC statechart. This code represents the input for the model checker UMC [1]. StatechartUMC applies the MDSD (Model Driven Software Development) technique and the work that has led to its creation can be subdivided in various phases: definition of the domain model, construction of a graphical editor to create model instances, transformations from standard predefined models (UML) and writing of code generators. All this has been realized by means of open source tools based on the Eclipse platform [2]: Eclipse RCP [3], Eclipse Modeling Framework (EMF) [4], Graphical Modeling Framework (GMF) [5] and Open Architecture Ware (oAW4) [6]. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-ISTI, Pisa (literal)
Titolo
  • Model driven software development con Eclipse, statechartUMC (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Insieme di parole chiave di
data.CNR.it