MontiCore: a framework for compositional development of domain specific languages (Englisch)
- Neue Suche nach: Krahn, Holger
- Neue Suche nach: Rumpe, Bernhard
- Neue Suche nach: Völkel, Steven
- Neue Suche nach: Krahn, Holger
- Neue Suche nach: Rumpe, Bernhard
- Neue Suche nach: Völkel, Steven
In:
International Journal on Software Tools for Technology Transfer
;
12
, 5
; 353-372
;
2010
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:MontiCore: a framework for compositional development of domain specific languages
-
Beteiligte:
-
Erschienen in:International Journal on Software Tools for Technology Transfer ; 12, 5 ; 353-372
-
Verlag:
- Neue Suche nach: Springer-Verlag
- Neue Suche nach: Springer
-
Erscheinungsort:Berlin
-
Erscheinungsdatum:2010
-
ISSN:
-
ZDBID:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 54.52
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
BKL: 54.52 Software engineering -
Datenquelle:
Inhaltsverzeichnis – Band 12, Ausgabe 5
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 305
-
Synthesis and stochastic assessment of cost-optimal schedulesMader, Angelika / Bohnenkamp, Henrik / Usenko, Yaroslav S. / Jansen, David N. / Hurink, Johann / Hermanns, Holger et al. | 2009
- 319
-
Exploiting resolution proofs to speed up LTL vacuity detection for BMCSimmonds, Jocelyn / Davies, Jessica / Gurfinkel, Arie / Chechik, Marsha et al. | 2010
- 337
-
Data decision diagrams for Promela systems analysisBeaudenon, Vincent / Encrenaz, Emmanuelle / Taktak, Sami et al. | 2010
- 353
-
MontiCore: a framework for compositional development of domain specific languagesKrahn, Holger / Rumpe, Bernhard / Völkel, Steven et al. | 2010
- 373
-
Data-abstraction refinement: a game semantic approachBakewell, Adam / Dimovski, Aleksandar / Ghica, Dan R. / Lazić, Ranko et al. | 2010
- 391
-
Oris: a tool for modeling, verification and evaluation of real-time systemsBucci, Giacomo / Carnevali, Laura / Ridi, Lorenzo / Vicario, Enrico et al. | 2010