Integrating a formal development for DSLs into meta-modeling

Simple item page
dc.contributor.authorDjeddai, Selma
dc.contributor.authorStrecker, Martin
dc.contributor.authorMezghiche, Mohamed
dc.date.accessioned2015-06-11T10:25:13Z
dc.date.available2015-06-11T10:25:13Z
dc.date.issued2012
dc.identifier.issn03029743
dc.identifier.urihttps://dspace.univ-boumerdes.dz123456789/1666
dc.language.isoenen_US
dc.publisherSpringeren_US
dc.relation.ispartofseriesLecture Notes in Computer Science/ Vol.7602 (2012);pp. 55-66
dc.subjectFormal Methodsen_US
dc.subjectModel Driven Engineeringen_US
dc.subjectModel Transformationen_US
dc.subjectVerificationen_US
dc.subjectBidirectional transformationen_US
dc.subjectDomain specific languagesen_US
dc.subjectEclipse environmenten_US
dc.subjectFormal developmenten_US
dc.subjectFunctional datasen_US
dc.subjectGeneric transformationsen_US
dc.subjectGraphical interfaceen_US
dc.subjectMeta modelen_US
dc.subjectMetamodelingen_US
dc.subjectProof assistanten_US
dc.subjectSoftware systemsen_US
dc.subjectTranslation methoden_US
dc.titleIntegrating a formal development for DSLs into meta-modelingen_US
dc.typeArticleen_US

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
Integrating a formal development for DSLs into meta-modeling.pdf
Size:
26.52 KB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Communications Internationales