What: Formalizing and Mining Knowledge from Uncontrolled Textual Assets: Two case studies Who: Nicolas Sannier (Inria Rennes) When: April 17th, 11h45 – 12h30 Where: Amphi Turing, Bat M3, Laboratoire d’Informatique Fondamentale de Lille , Université Lille 1 Abstract: Uncontrolled written natural language is by far the most widely used communication medium, providing very convenient, quick, …
April 2014 archive
Building dynamic applications
What: Building dynamic applications Who: Walter Rudametkin (Inria Rennes) When: April 17th, 11h – 11h45 Where: Amphi Turing, Bat M3, Laboratoire d’Informatique Fondamentale de Lille , Université Lille 1 Abstract: Robusta is an architectural approach to building component-based, multi-threaded, centralized (i.e. single memory space) dynamic applications. Our key insight are : a) handling dynamism is …
How to maximize the reuse of software systems
What: How to maximize the reuse of software systems Who: Huaxi Yulin Zhang When: April 17th, 10h15 – 11h Where: Amphi Turing, Bat M3, Laboratoire d’Informatique Fondamentale de Lille , Université Lille 1 Abstract: To achieve better software, more quickly and at lower cost, the best solution is systematic software reuse from the development to …
Modélisation et test de mécanismes de sécurité
What: Modélisation et test de mécanismes de sécurité Who: Tejeddine MOUELHI (University of Luxembourg) When: April 15th, 13h15 Where: B31 Abstract:Dans cet exposé, seront présentés des travaux autour de la modélisation et de la validation de la sécurité, plus précisément dans le domaine du contrôle d’accès et des applications webs. Dans le domaine de la …
Support For Implementation Regularities
What: Support For Implementation Regularities Who: Angela Lozano When: Friday, April 18th, 13h Where: B31 Bio: Angela Lozano is currently a Postdoc at the Software Languages Lab in Brussels, and uses Pharo for her research. Abstract: We have developed a set of tools to provide recommendations for developers and maintainers. These tools are based on …
