Walter rudametkin-ivey
Author's posts
Lifestate: Event-Driven Protocols and Callback Control Flow
Who: Sergio Mover (assistant professor at Ecole Polytechnique) Date: Thurday, 5th of September @ 10:30 Place: Amphi building B Title: “Lifestate: Event-Driven Protocols and Callback Control Flow” Abstract: Developing interactive applications (apps) against event-driven software frameworks such as Android is notoriously difficult. To create apps that behave as expected, developers must follow complex and often implicit asynchronous …
Towards a seamless integration of V&V activities for DSMLs
Faiez Zalila (Postdoc in the Spirals Research Team) Monday April 3rd at 15h Inria Lille Room B31 Abstract In the last decade, Model Driven Engineering (MDE) has been used to improve the development of safety critical systems by providing early Validation and Verification (V&V) tools for Domain Specific Modeling Languages (DSML). V&V of behavioral models is …
Service-Oriented Reengineering of Legacy JEE applications
Hafedh Mili (Full professor Université du Québec à Montréal) Friday April 29th at 13h Inria Lille Abstract: Service orientation views business applications as orchestrations of reusable services deployed across the enterprise. Service orientation has many purported advantages, including, 1) the packaging of common business and technical functions in a reusable format, 2) IT agility, through …
Une Approche Formelle de Ingénierie Système Basée sur les Modèles
Iulian Ober Mardi 12 avril à 14h Bâtiment M3, amphi Turing Une Approche Formelle de Ingénierie Système Basée sur les Modèles Résumé : L’ingénierie système connaît actuellement une période de rapide évolution grâce à l’arrivée à maturité de nouvelles méthodes basées sur des modèles et de nouveaux standards comme le langage SysML. Bien que récents, …
Requirements-Driven Mediation for Collaborative Security
Who: Amel BENNACEUR, PhD When: Tuesday, December 16th 15th at 11h30. Where: Inria Lille B21. What: Requirements-Driven Mediation for Collaborative Security Collaborative security exploits the capabilities of the components available in the ubiquitous computing environment in order to protect assets from intentional harm. By dynamically composing the capabilities of multiple components, collaborative security implements the …
Extracting functional features from legacy Java code by Hafedh Mili (UQAM)
Thursday at 10h30 Hafedh Mili from the Université du Quèbec à Montreal (UQAM) will give a talk on extracting functional features from Java legacy code. The talk will be held in B31 at the Inria Lille. Summary: Typical OO applications implement several functional features that are interwoven into the same class hiererachies. In the absence …
