Sciweavers

619 search results - page 1 / 124
» Formal Methods Meet Domain Specific Languages
Sort
View
IFM
2005
Springer
13 years 10 months ago
Formal Methods Meet Domain Specific Languages
Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall...
AGTIVE
2007
Springer
13 years 8 months ago
Domain Specific Languages with Graphical and Textual Views
We show our approach for the definition of Domain Specific Languages integrating both graphical and textual views. The approach is based on the meta-modelling concepts provided by ...
Francisco Pérez Andrés, Juan de Lara...
MEMOCODE
2010
IEEE
13 years 2 months ago
Feldspar: A domain specific language for digital signal processing algorithms
A new language, Feldspar, is presented, enabling high-level and platform-independent description of digital signal processing (DSP) algorithms. Feldspar is a pure functional langua...
Emil Axelsson, Koen Claessen, Gergely Dévai...
AGTIVE
2007
Springer
13 years 8 months ago
Generating Domain-Specific Model Editors with Complex Editing Commands
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
Gabriele Taentzer, André Crema, René...