References in zbMATH (referenced in 9 articles )

Showing results 1 to 9 of 9.
Sorted by year (citations)

  1. Marmsoler, Diego; Gidey, Habtom Kashay: Interactive verification of architectural design patterns in FACTum (2019)
  2. Preda, Mila Dalla; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo: Dynamic choreographies: theory and implementation (2017)
  3. Keshishzadeh, Sarmen; Mooij, Arjan J.: Formalizing and testing the consistency of DSL transformations (2016)
  4. Cosentino, Valerio; Tisi, Massimo; Izquierdo, Javier Luis Cánovas: A model-driven approach to generate external DSLs from object-oriented apis (2015) ioport
  5. De Nicola, Rocco; Lluch Lafuente, Alberto; Loreti, Michele; Morichetta, Andrea; Pugliese, Rosario; Senni, Valerio; Tiezzi, Francesco: Programming and verifying component ensembles (2014)
  6. Acher, Mathieu; Collet, Philippe; Lahire, Philippe; France, Robert B.: FAMILIAR: a domain-specific language for large scale management of feature models (2013) ioport
  7. Bettini, Lorenzo; Damiani, Ferruccio; Schaefer, Ina; Strocco, Fabio: \textscTraitRecordJ: a programming language with traits and records (2013) ioport
  8. Freudenthal, Margus: Simpl: a toolkit for domain-specific language development in enterprise information systems (2013)
  9. Georgoulas, Anastasis; Guerriero, Maria Luisa: A software interface between the narrative language and Bio-PEPA (2013) ioport