Papers

Page 1 of 15, showing 20 records out of 285 total, starting on record 1, ending on 20

Title Authors Year
Developing User Interfaces with EMF Parsley Lorenzo Bettini 2014
Generic Traits for the Java Platform Lorenzo Bettini, Ferruccio Damiani 2014
DeltaJ 1.5: Delta-oriented Programming for Java 1.5 Jonathan Koscielny, Sönke Holthusen, Ina Schaefer, Sandro Schulze, Lorenzo Bettini, Ferruccio Damiani 2014
Pure trait-based programming on the Java platform Lorenzo Bettini, Ferruccio Damiani 2013
Parsley for your EMF Applications Lorenzo Bettini, Vincenzo Caselli, Francesco Guidieri 2013
Deriving Session and Union Types for Objects Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri 2013
Compositional Type Checking of Delta-Oriented Software Product Lines Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer 2013
On Flexible Dynamic Trait Replacement for Java-like Languages Lorenzo Bettini, Sara Capecchi, Ferruccio Damiani 2013
TraitRecordJ: A programming language with traits and records Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco 2013
Rapidly Implementing EMF Applications with EMF Components Lorenzo Bettini 2013
Generic Programming in Pharo Alexandre Bergel, Lorenzo Bettini 2013
Artifact evaluation (summary) Alexandre Bergel, Lorenzo Bettini 2013
Implementing Domain-Specific Languages with Xtext and Xtend Lorenzo Bettini 2013
Implementing Java-like languages in Xtext with Xsemantics Lorenzo Bettini 2013
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences Marco Bernardo, Rocco De Nicola, Michele Loreti 2013
Combining traits with boxes and ownership types in a Java-like setting Lorenzo Bettini, Ferruccio Damiani, Kathrin Geilmann, Jan Schäfer 2013
Approaches and Tools for Implementing Type Systems in Xtext Lorenzo Bettini, Dietmar Stoll, Markus Völter, Serano Colameo 2012
Modeling adaptation with a tuple-based coordination language Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi 2012
Towards a Formal Verification Methodology for Collective Robotic Systems Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Carlo Pinciroli, Manuele Brambilla, Mauro Birattari, Marco Dorigo 2012
EMF Components - Filling the Gap between Models and UI Lorenzo Bettini 2012
<< previous
| 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 next >>