-
Developing Adaptable Components Using Dynamic Languages
International audience -
Cube: a decentralised architecture-based framework for software self-management
In recent years, the world has witnessed the rapid emergence of several novel technologies and com- puting environments, including cloud computing, ubiquitous... -
Modeling and verification of functional and non functional requirements of am...
The overall contribution of this thesis is to propose an integrated approach for modeling and verifying the requirements of Self Adaptive Systems using Model Driven... -
Feedbacks Control Loops as 1st Class Entities - The SALTY Experiment
International audience -
Validation de métriques de testabilité logicielle pour les programmes objets
The most used validation method for software is testing. Testing process consists of executing the program by selecting a set of data and observing the outputs of the... -
Typing facilities for language engineering
The ever growing number and complexity of concerns in software intensive systems (e.g., safety, HMI, scalability, business domain concerns, etc.) leads designers of... -
Construction et vérification de spécifications d'Interfaces Homme-Machine
Ingénieur CNAM. Rapport de stage. -
The Human Dimensions of the Software Process
Contribution à un ouvrage./http://www.springerlink.com/ -
Conception de systèmes multi-agents orientée interactions : un modèle de desc...
Colloque avec actes et comité de lecture. -
Fundamental Approaches to Software Engineering
Congrès (éditeur). -
Manipulating Algebraic Specifications with Term-based and Graph-based Represe...
Special Issue on Annotated Terms (ATerms). Article dans revue scientifique avec comité de lecture. nationale.
