22 results  save search


...
hal-00700444v1  Conference papers
Alexandre BartelBenoit BaudryFreddy MunozJacques KleinTejeddine Mouelhi et al.  Model Driven Mutation Applied to Adaptative Systems Testing
IEEE International Conference on Software Testing, Verification and Validation, Mutation Analysis Workshop (Mutation 2011), Mar 2011, Berlin, Germany. pp.6
hal-00361066v1  Conference papers
Cyril FaucherJean-Yves Lafaye. Model-Driven Engineering for implementing the ISO 19100 series of international standards
CoastGIS 07, the 8th International Symposium on GIS and Computer Mapping for Coastal Zone Management, Oct 2007, Santander, Espagne. pp.424-433
...
hal-00763379v2  Conference papers
Yue MaHuafeng YuThierry GautierPaul Le GuernicJean-Pierre Talpin et al.  Toward Polychronous Analysis and Validation for Timed Software Architectures in AADL
The Design, Automation, and Test in Europe (DATE) conference, Mar 2013, Grenoble, France. pp.6
...
inria-00504672v1  Conference papers
Olivier BeaudouxArnaud BlouinJean-Marc Jézéquel. Using Model Driven Engineering technologies for building authoring applications
DocEng'10: Proceedings of the 2010 ACM symposium on Document engineering, 2010, Manchester, England, United Kingdom
...
inria-00590891v1  Conference papers
Arnaud BlouinBrice MorinOlivier BeaudouxGrégory NainPatrick Albers et al.  Combining Aspect-Oriented Modeling with Property-Based Reasoning to Improve User Interface Adaptation
ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Jun 2011, Pise, Italy. pp.85--94, ⟨10.1145/1996461.1996500⟩
hal-00921120v1  Conference papers
Samuel KounevStamatia RizouSteffen ZschalerSpiros AlexakisTomas Bures et al.  RELATE: a research training network on engineering and provisioning of service-based cloud applications
Proceedings of the 2013 international workshop on Hot topics in cloud services, Apr 2013, Prague, Czech Republic. pp.51-54, ⟨10.1145/2462307.2462319⟩
...
tel-00726420v1  Theses
Antoine Floc'H. Compilation optimisante pour processeurs extensibles
Architectures Matérielles [cs.AR]. Université Rennes 1, 2012. Français
...
hal-01090269v1  Conference papers
Francisco Javier Acosta PadillaFrédéric WeisJohann Bourcier. Towards a Model@runtime Middleware for Cyber Physical Systems
Proceedings of the 9th Workshop on Middleware for Next Generation Internet Computing, Dec 2014, Bordeaux, France
...
tel-00538288v1  Theses
Franck Fleurey. Langage et méthode pour une ingénierie des modèles fiable
Génie logiciel [cs.SE]. Université Rennes 1, 2006. Français
...
tel-00538267v1  Theses
Sébastien Saudrais. Qualité de Service Temporelle pour Composants Logiciels
Génie logiciel [cs.SE]. Université Rennes 1, 2007. Français
...
tel-00538274v1  Theses
James Steel. Model Typing
Software Engineering [cs.SE]. Université Rennes 1, 2007. English
...
tel-00538565v1  Theses
Freddy Munoz. Validation of reasoning engines an adaptation mechanisms for self-adaptive systems
Software Engineering [cs.SE]. Université Rennes 1, 2010. English
...
tel-00538525v1  Habilitation à diriger des recherches
Pierre-Alain Muller. De la modélisation objet des logiciels à la metamodélisation des langages informatiques
Génie logiciel [cs.SE]. Université Rennes 1, 2006
...
tel-00538382v1  Theses
Jacques Klein. Aspects Comportementaux et Tissage
Génie logiciel [cs.SE]. Université Rennes 1, 2006. Français
...
tel-00538548v1  Theses
Brice Morin. Modèles à la Conception et à l'Exécution pour Gérer la Variability Dynamique
Software Engineering [cs.SE]. Université Rennes 1, 2010. English
...
inria-00477627v1  Conference papers
Arnaud BlouinOlivier Beaudoux. Improving modularity and usability of interactive systems with Malai
EICS'10: Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems, 2010, Berlin, Germany, Germany. pp.115-124
hal-01163557v1  Journal articles
Tahar GherbiIsabelle BorneDjamel Meslati. An MDE Approach to Develop Mobile-Agents Applications
Communications in Computer and Information Science, Springer Verlag, 2013, Evaluation of Novel Approaches to Software Engineering, 417 (1), pp.64-80. ⟨10.1007/978-3-642-54092-9⟩
hal-01184499v1  Journal articles
Jacques SimoninAntoine BeugnardRémi Nedelec. Processus de développement de système fondé sur l'alignement de modèles
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2012, 17 (3), pp.119 - 142. ⟨10.3166/isi.17.3.119-142⟩