On Monday 10 December 2012, 13:30-14:30 INRIA Lille room B31 (new building), Jorge Ressia (University of Bern) will give a talk on “Object-centric reflection with Bifrost” Abstract: Reflective applications are able to query and manipulate the structure and behavior of a running system. This is essential for highly dynamic software that needs to interact …
Category: Talk
Des problèmes en variables booléennes à la gestion des dépendances entre logiciels
On Friday 30 November 2012, 14:00-14:30 INRIA Lille room B31 (new building), Daniel Le Berre (Université d’Artois ) will give a talk on “Des problèmes en variables booléennes à la gestion des dépendances entre logiciels” Abstract: Depuis une dizaine d’année, le nombre d’applications des outils basés sur la satisfiabilité de formules booléennes (SAT) ne …
Code Generation for Reactive Systems
On Wednesday 28 November 2012, 10:00-10:30 INRIA Lille room B31 (new building), Nestor Catano (The University of Madeira) will give a talk on “Code Generation for Reactive Systems” Abstract: Event-B provides a formal language notation for the modelling and development of Reactive Systems. The notation is supported by the Rodin platform, an open-source Eclipse IDE …
Towards a foundation for engineering decentralized self-adaptive software systems
On Wednesday 31 October 2012, 14:00-14:30 INRIA Lille room B31 (new building), Danny Weyns (Linnaeus University, Sweden) will give a talk on “Towards a foundation for engineering decentralized self-adaptive software systems” Abstract: The qualities of many software systems are of critical importance for our society. Examples are the openness of software for business collaborations and …
SmarterDeals: A Context-aware Deal Recommendation System based on the SmarterContext Engine
On Friday 19 October 2012, 15:00-15:30 INRIA Lille room B31 (new building), Norha M. Villegas (University of Victoria) will give a talk on “SmarterDeals: A Context-aware Deal Recommendation System based on the SmarterContext Engine “ Abstract: Daily-deal applications are popular implementations of on-line advertising strategies that offer products and services to users based on their …
A Framework to Compare Alert Ranking Algorithms
On Friday 12 October 2012, 14:00-14:30 INRIA Lille room B31 (new building), Simon Allier (INRIA) will give a talk on “A Framework to Compare Alert Ranking Algorithms “ Abstract: To improve software quality, rule checkers statically check if a software contains violations of good programming practices. On a real sized system, the alerts (rule violations …
Using Feature Model to build Model Transformation Chains
On Friday 28 September 2012, 14:00-14:30 INRIA Lille room B31 (new building), Anne Etien (LIFL) will give a talk on “Using Feature Model to build Model Transformation Chains” Abstract: Model transformations are intrinsically related to model-driven engineering. According to the increasing size of standardised meta-model, large transformations need to be developed to cover them. Several …
Domain Specific Warnings: Are They Any Better?
On Friday 21 2012, 14:00-14:45 LIFL room 116, Andre Hora (RMOD) will give a talk on “Domain Specific Warnings: Are They Any Better?” Abstract: Tools to detect coding standard violations in source code are commonly used to improve code quality. One of their original goals is to prevent bugs, yet, a high number of false …
Introducing Rascal for meta programming
On Friday 11 2012, 14:00-14:45 LIFL room 111, Jurgen Vinju from CWI will present Rascal. Abstract: Rascal is a domain specific language for meta programming in general. It supports parsing, model extraction, model analysis, code generation, visualization, etc. The first part of this talk introduces Rascal and motivates its existence and its language design. The second …
Claim Monitoring for Tackling Uncertainty in Adaptive Systems (N. Bencomo)
On April 20, 14:00-14:45 (INRIA Lille, Room W21), Nelly Bencomo will present her work on “Claim Monitoring for Tackling Uncertainty in Adaptive Systems”. Abstract— There is an increasing need for software systems that are able to adapt dynamically to changes in their envi- ronment. However, a challenging characteristic of self-adaptive systems is that of uncertainty; …
