Hi everybody,

François Fouquet has most graciously agreed to put all those Lamborghinis aside and come to Rennes to present some of his wonderful work at our next Triskell Coffee.

Some of us were lucky enough to have arrived in the team after François finished his PhD, but never fear, François is a nice guy. His PhD work focused on Kevoree, but luckily enough, for his postdoctoral research he now resides in the land of no fun (i.e., Luxembourg).

François will be presenting something very secret and interesting tomorrow; most likely very fast, with lots of slides, and lots of excitement.

His presentation isn’t cheap, so let’s all put some money into the proverbial hat and see if we can convince him to show up.

Best regards,
Walter Rudametkin

PS. Just FouQuet ✔

Developing Reusable and Dynamically Evolvable DSLs using Neverlang by Edoardo Vacchi

Domain-specific languages are routinely used for a number of purposes, such as querying databases, typesetting documents and even describing web page content. In this talk we will see how to develop extensible, custom DSLs using Neverlang, a JVM-based framework for language development that emphasizes code reuse through composition of language features.

Edoardo Vacchi is a PhD student in the ADAPT Lab of the University of Milan, Italy. His interests include language development, parsing, compilation and separation of concerns.

Let’s hope he likes our tasty coffee and please be expressive with your hands when asking questions to make him feel welcome.

Formal Specification and Time Analysis for EBCS by Rima Al Ali

Rima is doing her Ph.D. at Charles University in Prague, Czech Republic and she is a fellow in the RELATE FP7 project since Oct. 2012. Rima will present her work on the formal specification and time analysis for a new component model called EBCS/DEECo, which addresses Cyber-Physical Systems. Her research aims at quantifying the “outdated belief” in components. This will help increase the dependability of such systems with respect to the belief inaccuracy.

Let’s give Rima a warm welcome!

Best regards,
Walter Rudametkin

Keywords: Component ensembles; execution semantics; timing analysis; cyber-physical systems; self-adaptivity; state-space models.

The past, current and future work of Mauricio Alférez

Mauricio has kindly agreed to present his work at the next Triskell Coffee. For those of you who might not know Mauricio, he did his Ph.D. at the Universidade Nova de Lisboa in Portugal and has been a postdoctoral researcher in the team since mid-June.

Mauricio will be presenting some of his past work in the areas of Aspect-Oriented Software Development (AOSD), Domain-Specific Languages (DSLs) and Software Product Lines (SPL). He will also present ongoing research, done in conjunction with members of the Triskell team, which is focused on SPL Verification and is part of the MOTIV project.

FYI, this and future Coffees will be held in the Minquiers room, close to the cafeteria.

See you there….
Walter Rudametkin

Keywords: Aspect-Oriented Software Development, Domain-Specific Languages, Software Product Lines

FaMa Framework by José Galindo

José will present his Ph.D. work on the automated analysis of feature models in evolutionary contexts. He will present some past and current work within this area. First, a real-world application of the feature model analysis techniques and a recently accepted paper are going to be presented as part of the previous works. Later, ongoing research done in conjunction with some members of the Triskell team will be introduced.

José hopes to get feedback from all of us, so let’s give him a hand.

Regards, 
Walter Rudametkin

Keywords: Variability analysis, software product lines, Evolutionary context, Android.

K3 by Olivier Barais and Benoit Combemale

Olivier & Benoit will be presenting K3 for the next Triskell Coffee.

They’ll be presenting the probable evolutions of Kermeta in K3, which clearly separates the Action Language from the Language Workbench. This talk is particularly interested in the Action Language evolutions, which allow developers to create “Kermeta-like” applications and come in the form of extensions to the Xtend language.

Xtend is self-described as “JAVA 10, TODAY!” and comes with a state-of-the-art programming environment.

Regards,
Walter Rudametkin

Keywords: Dynamic annotation, Aspect programming, Model-oriented programming, Xtend.