- Etat de l'art sur les langages de scenarios Loc Hlout
- Composition of Qualitative Adaptation Policies Franck Chauvel1,2
- Inquiring the Usage of Aspect-Oriented Programming: An Empirical Study* Freddy Munoz1
- Dtection d'interactions entre services mod-liss par des HMSCs
- Qualifying Input Test Data for Model Transformations
- Gnration d'ontologie partir d'un modle mtier UML annot
- IJCSI International Journal of Computer Science Issues, Vol. 7, Issue 4, No 6, July 2010 ISSN (Online): 1694-0784
- Generative Software Engineering Jean-Marc Jzquel
- Habilitation diriger des recherches prsente devant
- Integrating IoT and IoS with a Component-Based approach* Gregory Nain1
- Studio: A Component-Based Architecture Modeling Language Diego Alonso, Cristina Vicente-Chicote
- d'ordre: 3523 devant l'Universit de Rennes 1
- SoC/SoPC development using MDD and MARTE profile
- Trustable Components: Yet Another Mutation-Based Approach Benoit Baudry, Vu Le Hanh, Jean-Marc Jzquel and Yves Le Traon
- Validation dynamique de modles UML avec points de variation smantique
- Empirical Software Engineering manuscript No. (will be inserted by the editor)
- NORDRE : 3844 de la thse
- Development of Generic Probes for Functional and Extra-Functional Diagnosis
- requestHandler CacheHandler FileServer1
- Test Synthesis from UML Models of Distributed Software1 Simon Pickin1
- Model Driven Aspect WeavingModel Driven Aspect Weaving Prof. Jean-Marc Jzquel
- No d'ordre : 3083 devant l'universit de Rennes 1
- Active Operations on Collections Olivier Beaudoux1
- Leveraging Models From Design-time to Runtime. A Live Demo.
- d'ordre: 3785 devant l'Universit de Rennes 1
- OpenEmbeDD : La plate-forme et ses outils d'ingnierie de modles Didier Vojtisek
- Processus de developpement UML/MARTE MoPCoM pour le ali.koudri@ensieta.fr
- DEA d'informatique Gnration, slection et optimisation gntique de tests
- Modeling Modeling Modeling Pierre-Alain Muller1
- In: Proceedings of the 4th European Congress on Embedded Real Time Software (ERTS'2008) Model-driven Engineering Metrics for Real Time Systems
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, MANUSCRIPT ID first page 1 A Comparison of Six UML-Based Languages
- Testing Executable Themes Andrew Jackson1
- A. Schrr and B. Selic (Eds.): MODELS 2009, LNCS 5795, pp. 438452, 2009. Springer-Verlag Berlin Heidelberg 2009
- Achieving Process modeling and Execution through the Combination of Aspect and Model-Driven Engineering
- Les composants logiciels Nol Plouzeau
- Reflective Model Driven Engineering Jean Bezivin1
- A Framework for Testing Peer-to-Peer Systems Eduardo Cunha de Almeida
- A. Rensink and J. Warmer (Eds.): ECMDA-FA 2006, LNCS 4066, pp. 376 390, 2006. Springer-Verlag Berlin Heidelberg 2006
- Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective
- Software & System Modeling (2005) 00: 119 DOI 10.1007/s10270-005-0091-4
- SpoonEMF, une brique logicielle pour l'utilisation de l'IDM dans le cadre de la ringnierie de programmes Java5
- Principles of Distributed Test Synthesis based on True-concurrency Models
- Safe Integration of New Concerns in a Software Architecture Olivier Barais
- Producing a Global Requirements Model from Multiple Requirement Specifications
- Trust in MDE Components: the DOMINO Experiment Benot Baudry1
- Integration de Proprietes Temporelles dans des Applications `a Base de Composants
- Aspect-Oriented Modeling to Support Dynamic Adaptation
- d'ordre: 2589 presentee
- REIFYING THE SEMANTIC DOMAINS OF COMPONENT CONTRACTS
- Vers des Lignes de Produits Flexibles Apports de l'Ingnierie Dirige par les Modles la Dri-
- Vers l'utilisation d'outils de validation de pro-tocoles dans UML
- Integration of Time Issues into Component-Based Applications
- Managing Variability Complexity in Aspect Oriented Modelling
- Aspect Model Unweaving Jacques Klein1
- Multi-Domain Physical System Modeling and Control Based on Meta-Modeling and Graph Rewriting
- PLiBS: an Eclipse-based tool for Software Product Line Behavior Engineering
- d'ordre: 2449 devant l'Universit de Rennes 1
- Variability Modeling and QoS Analysis of Web Services Orchestrations Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste
- Copyright 1998 IEEE. Published in the Proceedings of PDSE'98, 20-21 April 1998 in Kyoto, Japan. Personal use of this material is permitted. However, permission to reprint/republish this this material for advertising or promotional purposes or for creating
- A Requirement-Centric Approach to Web Service Modeling, Discovery, and Selection
- A model-based framework for security policy specification, deployment and testing
- Preprint of the article accepted for publication at MODELS 2005: The 8th International Conference on Model Driven Engineering Languages and Systems (formerly the UML series of
- Sparation des proccupations en phase de mta-modlisation Olivier Barais
- A framework for testing model composition engines* Freddy Munoz, Benoit Baudry
- Good Practices as a Quality-Oriented Modeling Vincent Le Gloahec
- N d'ordre 3820 DEVANT L'UNIVERSIT DE RENNES 1
- Habilitation diriger des recherches / UNIVERSIT DE RENNES 1 sous le sceau de l'Universit Europenne de Bretagne
- 7 6 IEEE SOFTWARE July/August 2001 0740-7459/01/$10.00 2001 IEEE don't work well with an incremental, object-
- Good Architecture = Good (ADL + Practices) Vincent Le Gloahec
- Monitoring your Lego MindstormsTM with Giotto Sbastien Saudrais -Olivier Barais Nol Plouzeau -Jean-Marc Jzquel
- Softw Syst Model (2008) 7:209218 DOI 10.1007/s10270-008-0080-5
- Weaving Multiple Aspects in Sequence Jacques Klein1
- Nd'ordre : 4030 ANNE 2009 THSE / UNIVERSIT DE RENNES 1
- Towards an Automation of Software Evolution Good Practices Chouki Tibermacine
- No d'ordre: 2028 Presentee devant
- Validating Distributed Software Modeled with UML Jean-Marc Jzquel, Alain Le Guennec, Franois Pennaneac'h
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, TSE-0114-0405 1 Test Synthesis from UML Models of Distributed
- {pierre-alain.muller, franck.fleurey, jean-marc.jezequel}@irisa.fr frederic.fondement@epfl.ch
- SIMULATION : TRANSACTIONS OF THE MODELING AND SIMULATION SOCIETY, VOL. XX, NO. Y, MONTH 2009 1 SIMULATION : TRANSACTIONS OF THE MODELING AND SIMULATION SOCIETY, VOL. XX, NO. Y, MONTH 2009 2
- Linking Data and Presentations: from Mapping to Active Transformations
- Refactoring UML Models Gerson Sunye, Damien Pollet, Yves Le Traon, and Jean-Marc Jezequel
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability
- Robustness and Diagnosability of OO Systems Designed by Contracts Benoit Baudry, Yves Le Traon and Jean-Marc Jzquel
- Flexible Model Element Introduction Policies for Aspect-Oriented Modeling
- ACM Trans. Transactions on Autonomous and Adaptive Systems (TAAS). AutoHome: an Autonomic Management
- Testing-for-Trust: the Genetic Selection Model Applied to Component Qualification
- Softw Syst Model DOI 10.1007/s10270-008-0088-x
- Model Composition -A Signature based approach Raghu Reddy, Robert France, Sudipto
- Using MDE to Build a Schizophrenic Middleware for Home/Building Automation
- Parallel Operators Jean-Marc J ez equel?, Jean-Lin Pacherie??
- Softw Syst Model DOI 10.1007/s10270-006-0036-6
- Fvrier 2009 1 Dossier IngnIerIe base de modles (1re
- Reifying Variants in Configuration JEAN-MARC JZQUEL
- N d'ordre 2826 DEVANT L'UNIVERSIT DE RENNES 1
- N d'ordre : 2010telb0151 SSoouuss llee sscceeaauu ddee ll''UUnniivveerrssiitt eeuurrooppeennnnee ddee BBrreettaaggnnee
- TRANSACTIONS ON SOFTWARE ENGINEERING 1 DECOR: A Method for the Specification and
- I Contexte et problmatique Par Jean-Marc Jzquel, Mariano Belaunde, Jean Bzivin, Sbastien Grard, et Pierre-Alain
- Nd'ordre : 4078 ANNE 2009 THSE / UNIVERSIT DE RENNES 1
- Dynamic Software Product Lines for Service-Based Paul Istoan, Gregory Nain, Gilles Perrouin, Jean-Marc Jezequel
- N d'ordre : 3088 prsente devant
- Rapport de Synthse de l'AS CNRS sur le MDA (Model Driven Architecture)
- J.-M. Bruel (Ed.): MoDELS 2005 Workshops, LNCS 3844, pp. 32 38, 2006. Springer-Verlag Berlin Heidelberg 2006
- RSTI -TSI 29/2010. Ingnierie dirige par les modles, pages 537 569 Construction de tests qualifis
- Nouvelles fonctionnalits de Kermeta : Olivier Barais Franck Fleurey Pierre-Alain Muller Didier Vojtisek -Jean-Marc Jzquel
- K@RT: An Aspect-Oriented and Model-Oriented Framework for Dynamic Software Product Lines
- Model Transformation Testing Challenges Benoit Baudry1, Trung Dinh-Trong 2, Jean-Marie Mottu1, Devon Simmonds2,
- No d'ordre : 2851 devant l'Universit de Rennes 1
- Test de Transformation de Modles : expression d'Oracles
- ModelModel--Driven Engineering:Driven Engineering: Core Principles and ChallengesCore Principles and Challenges**
- Measuring design testability of a UML class diagram Benoit Baudry, Yves Le Traon*
- Conception par objets d'applications parall`eles Jean-Marc Jezequel
- Mutation-based Model Synthesis in Model Driven Engineering McGill University (also at IRISA)
- Vigilant usage of Aspects Freddy Mu~noz, Olivier Barais, Benoit Baudry
- Model Driven Language Engineering with Jean-Marc Jzquel, Olivier Barais, Franck Fleurey
- Meta-model Pruning Sagar Sen, Naouel Moha, Benoit Baudry, and Jean-Marc Jezequel
- Weaving Aspect Configurations for Managing System Variability Brice Morin, Olivier Barais1
- A Generic Approach For Automatic Model Composition Franck Fleurey1
- Some pathological Message Sequence Charts, and how to detect them.
- Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool
- Automatic Model Generation Strategies for Model Transformation Testing
- Sofitel Paris Forum Rive Gauche 17 boulevard Saint-Jacques
- Test-Driven Assessment of Access Control in Legacy Applications Yves Le Traon, Tejeddine Mouelhi
- UMLAUT: an Extendible UML Transformation Framework Wai Ming Ho Jean-Marc Jezequel Alain Le Guennec Francois Pennaneac'h
- Applying CLP to Predict Extra-Functional Properties of Component-Based Models
- D veloppement de logiciel objets avec UML Jean-Marc J z quel, No l Plouzeau, Yves Le Traon
- Prsente devant L'UNIVERSITE DE RENNES 1
- Mthodes formelles avec UML Modlisation, validation et gnration de tests1
- Tewfik Ziadi, Bruno Traverson, Jean-Marc Jzquel From a UML Platform Independent Component Model
- RSTI -ISI 15/2010. Ingnierie d'entreprise et des SI, pages 37 61 Conception fonctionnelle de services
- Testability Analysis of a UML Class Diagram Benoit Baudry, Yves Le Traon, and Gerson Suny
- Exploring the Relationship between Model Composition and Model Transformation
- A Generic Weaver for Supporting Product Lines Brice Morin
- LMO 2003 Langages et Modles Objets Modlisation de Lignes de Produits en
- Improving Modularity and Usability of Interactive Systems Arnaud Blouin
- Editorial for the Special Issue on the UML 2002 June 30, 2003
- Aspect-Oriented Design with Reusable Aspect Models
- Software Product Line Engineering with the UML: Deriving Products
- IDM'05 Premires Journes sur l'Ingnierie Dirige par les Modles Paris, 30 juin, 1 Juillet 2005 Gnration automatique de tests pour les
- Nd'ordre : 4152 ANNE 2010 THSE / UNIVERSIT DE RENNES 1
- Semantic-based Weaving of Scenarios Jacques Klein
- d'ordre: 3409 devant l'Universit de Rennes 1
- Vidock: a Tool for Impact Analysis of Aspect Weaving on Test Cases
- Safe Integration of New Concerns in a Software Architecture: Overview of the Implementation
- Vol. 6, No. 11, Special Issue on Advances in Quality of Service Management, December 2007 From formal specifications to QoS monitors
- J. Lindskov Knudsen (Ed.): ECOOP 2001, LNCS 2072, pp. 381-401, 2001. Springer-Verlag Berlin Heidelberg 2001
- Revisiting Statechart Synthesis with an Algebraic Approach Tew k Ziadi, Lo c H lou t, Jean-Marc J z quel
- Behaviors Generation From Product Lines Requirements
- No d'ordre: 3662 Prsente devant
- Mutation analysis for security tests qualification Tejeddine Mouelhi,
- SOFTWARE TESTING, VERIFICATION AND RELIABILITY Softw. Test. Verif. Reliab. 2005; 15:7396
- Ingnierie Dirige par les Modles : du design-time au runtime
- Managing variability in multi-views enginee-A live demo
- Testing Model Transformations: A case for Test Generation from Input Domain Models
- Taming Dynamically Adaptive Systems Using Models and Aspects Brice Morin1
- Pairwise Testing of Dynamic Composite Services Ajay Kattepur
- Software Architecture Evolution Olivier Barais1
- Testing security policies: going beyond functional testing Yves Le Traon, Tejeddine Mouelhi
- Introduction du test dans la modlisation par Jacques Klein1
- An MDA approach to tame component based software development
- Consignes Hermes update 2004 Real Time Components & Contracts
- Merging scenarios Jacques Klein 1
- Report on the 3rd MoDeVa Workshop Model Design and Validation
- A UML-integrated test description language for component testing
- A Framework for Distributed Component Test Certification Facility Conformity and Compliance Testing
- Executable models are essential to define the behavior of models, such as constraints put on model elements. However their implementation crosscut multiple model elements. Model
- From Contracts to Aspects in UML Designs Jean-Marc Jzquel, and Nol Plouzeau
- Composants avec Proprits Temporelles Sbastien Saudrais
- Model-driven Architecture of a Maritime Surveillance System Simulator
- 0018-9162/99/$10.00 1999 IEEE38 Computer Contract Aware
- Requirements by Contracts allow Automated System Testing Clmentine Nebut, Franck Fleurey, Yves Le Traon and Jean-Marc Jzquel
- AI analysis patterns as UML meta-model constructs Angeles Manjarrs
- Manipulation de Lignes de Produits Logiciels : une approche dirige par les modles
- Matching Model-Snippets Rodrigo Ramos1,2
- Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
- F4Plan: An Approach to build Efficient Adaptation Francoise Andre2
- Using MARTE in a Co-Design Methodology Thales Aerospace Division
- A Generic Metamodel For Security Policies Mutation Tejeddine Mouelhi
- A Model-Driven Process for Self-Adaptive Software Franck Chauvel1,2
- DECOR: A Method for the Specification and Detection of Code and Design Smells
- ModelModel--Driven Engineering:Driven Engineering: Core Principles and ChallengesCore Principles and Challenges**
- Reifying Configuration Management for Object-Oriented Software
- Building Trust into OO Components using a Genetic Analogy Benoit Baudry, Vu Le Hanh, Jean-Marc Jzquel and Yves Le Traon
- Precise Modeling of Design Patterns Alain Le Guennec, Gerson Sunye, and Jean-Marc Jezequel
- Design Patterns Application in UML Gerson Sunye, Alain Le Guennec, and Jean-Marc Jezequel
- Towards a 'Safe' Use of Design Patterns to Improve OO Software Testability Benoit Baudry, Yves Le Traon Gerson Suny and Jean-Marc Jzquel
- Conformance Testing from UML Specifications Experience Report1
- UML Reflections Francois Pennaneac'h, Jean-Marc Jezequel,
- Refactoring UML Models Gerson Sunye, Damien Pollet, Yves Le Traon, and Jean-Marc Jezequel
- Genes and Bacteria for Automatic Test Cases Optimization in the .NET Environment
- Computational Intelligence for Testing .NET Components Benoit Baudry*, Franck Fleurey**, Jean-Marc Jzquel* and Yves Le Traon*
- Automatic Test Cases Optimization using a Bacteriological Adaptation Model: Application to .NET Components
- An Architecture and a Process for Implementing Distributed Collaborations Eric Cariou
- DISTRIBUTED DIAGNOSIS FOR LARGE DISCRETE EVENT DYNAMIC
- DEVANT L'UNIVERSIT DE RENNES 1 Pour obtenir
- ! "#$%&"! '()! 0$%21'%3 4576 8 79@3A B$#C'%DE FG6%9H"7EI76PDE9AQ0ARS76
- A Toolkit for Weaving Aspect Oriented UML Designs
- Integrated Design and Process Technology, IDPT-2002 Printed in the United States of America, June, 2002
- Eureka ! 2023 Programme, ITEA project ip00004, Caf Public Product Line Engineering : Product Derivation
- Reusable Test Requirements for UML-Modeled Product Lines1 This work has been partially supported by the CAFE European project. Eureka ! 2023 Programme, ITEA project ip 0004 and the COTE project of the
- System Test Synthesis from UML Models of Distributed Software
- OCL as a Core UML Transformation Language WITUML 2002 Position Paper
- "!#$&%(')102%346587"9A@B8'DC EGFIHQPSR2TVUXW`YSUbadce`fhg8iqpsrtevuSwyxa`FsW`3W`g`psIpsuSFIr3aW`dfeSuSg4YSFihjFWkuSrXUtFsulnm`okpq FISSFsgqjFIYSFyr"a"sW`SgIFt xsUXW`YSUhaurXvdFsrXe`uSFIxsaw$FIsFsuSFIrbxzy6UtUXgWd{}|~
- # / 001 + ! (2 3 4 5(" $ 6
- Model-Driven Engineering with Contracts, Patterns,
- http://www.artist-embedded.org/ ARTIST IST-2001-34820
- Product Line Derivation with UML 1 Tewfik Ziadi, Jean-Marc Jzquel, and Frdric Fondement
- Towards a UML Profile for Software Product Lines Tewfik Ziadi1
- Automated Requirements-based Generation of Test Cases for Product Families Clmentine Nebut, Simon Pickin, Yves Le Traon and Jean-Marc Jzquel
- Improving the Testability of UML Class Diagrams Benoit Baudry, Yves Le Traon
- Extra-functional contract support in components Olivier Defour, Jean-Marc Jzquel, Nol Plouzeau
- Validation in Model-Driven Engineering: Testing Model Transformations Franck Fleurey, Jim Steel, Benoit Baudry
- Panel MDA in Practice Jean-Marc Jezequel
- Transformation of behavioral models based on compositions of sequence diagrams.
- d'ordre: 3000 Presentee devant
- Model-driven generative approach for concrete syntax composition
- 7 6 IEEE SOFTWARE Published by the IEEE Computer Society 0740-7459/05/$20.00 2005 IEEE has been successfully applied to qualify unit
- Figure 1 : An nominal scenario. wrong idwrong password
- The notion of aspect looks promising for handling cross-cutting concerns earlier in the software lifecycle, up from
- Rapport de stage Le test de transformations de modles
- On Executable Meta-Languages applied to Model Transformations
- Semantic Join Point Models: Motivations, Notions and Requirements
- Reverse-engineering of UML 2.0 Sequence Diagrams from Execution Traces
- Executable Aspect Oriented Models for Improved Model Testing
- Les patrons de conception Jean-Marc Jzquel
- Le gnie logiciel et l'IDM : une approche unificatrice par les modles
- L'ingnierie des modles Jean-Marc Jzquel
- O. Nierstrasz et al. (Eds.): MoDELS 2006, LNCS 4199, pp. 589 603, 2006. Springer-Verlag Berlin Heidelberg 2006
- 12 System Testing of Product Lines: From Requirements to Test Cases
- Using Model-Driven Engineering to generate QoS Monitors from a formal specification
- Towards a Generic and Extensible Merge Operator Andrew Jackson1
- Improving Test Suites for Efficient Fault Localization Benoit Baudry and Franck Fleurey
- Tissage d'aspects comportementaux Jacques Klein --Franck Fleurey
- Evaluation de l'apport des aspects, des sujets et des vues pour la composition
- Modelling Adaptation Policies for Self-Adaptive Component Architectures
- Robert France is a Professor in the Department of Computer Science at Colorado State University. His research focuses on the problems
- Modeling and Aspect Weaving Jean-Marc Jezequel
- In: Proceedings of the 2nd Workshop on Model Size Metrics (MSM'07) at MoDELS'2007, 2007 Counts count
- Introducing Variability into Aspect-Oriented Modeling Approaches
- Partial Model Completion in Model Driven Engineering using Constraint Logic Programming
- An Enterprise Architecture Alignment Measure for Telecom Service Development
- Mutation analysis applied to security tests Master of research in computer science report
- Composing Multi-View Aspect Models Olivier Barais
- Vers l'Excutabilit des Modles de Procds Logicielsi Reda Bendraou*, Marie-Pierre Gervais **, Xavier Blanc **, Jean-Marc Jzquel*,
- Expression qualitative de politiques d'adaptation pour les composants Fractal
- N d'ordre 0118 THESE / UNIVERSITE DE BRETAGNE SUD
- Regression Test Selection when Evolving Software with Romain Delamare
- A Discrete-Events Simulation Approach for Evaluation of Service-Based Applications
- Modeling and Validating Dynamic Adaptation1 Franck Fleurey1
- de recherche ISSN0249-6399ISRNINRIA/RR--6971--FR+ENG
- Model-driven Simulation of a Maritime Surveillance System
- This preprint is provided by the contributing authors. Model-Driven Software Development: Integrating Quality Assurance (J. Rech, C. Bunse, eds.)
- In: Proceedings of the ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MODELS'2008) A Model-driven Measurement Approach
- Model transformation testing: oracle issue Jean-Marie Mottu1
- Reconciling Automation and Flexibility in Product Derivation Gilles Perrouin
- Modeling the Variability Space of Self-Adaptive Applications Gilles Perrouin
- On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing
- EA4UP: an Enterprise Architecture-Assisted Telecom Service Development Method
- Testing Peers' Volatility Eduardo Cunha de Almeida, Gerson Sunye, Yves Le Traon and Patrick Valduriez
- QoS Testing of Service-Based Applications Maha Driss1,2
- Mutating DAC And MAC Security Policies: A Generic Metamodel Based Approach
- Improving Maintenance in AOP Through an Interaction Specification Framework Freddy Munoz, Benoit Baudry
- Validation challenges in model composition: The case of adaptive systems
- Barriers to Systematic Model Transformation Testing Benoit Baudry1
- Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and
- A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ Romain Delamare, Benoit Baudry
- Editorial for the Special Issue on Aspects and Model-Driven Engineering
- DOI 10.1007/s00165-009-0115-x Formal Aspects of Computing
- Tracking Design Smells: Lessons from a Study of God Classes
- Generic Model Refactorings Naouel Moha, Vincent Mahe, Olivier Barais, and Jean-Marc Jezequel
- Unifying Runtime Adaptation and Design Evolution Brice Morin1, Thomas Ledoux1,2, Mahmoud Ben Hassine1, Franck Chauvel3, Olivier Barais1,4,
- Weaving Variability into Domain Metamodels Brice Morin1
- COVER FEATURE Published by the IEEE Computer Society 0018-9162/09/$26.00 2009 IEEE
- EnTiMid: un middleware au service de la maison Grgory Nain
- INTRODUCTION LA CONSTRUCTION D'UN DSL SOUS ECLIPSE
- Formalisation de bonnes pratiques dans les procds de dveloppement logiciels
- Transforming and Selecting Functional Test Cases for Security Policy Testing Tejeddine Mouelhi, Yves Le Traon
- A. Schrr and B. Selic (Eds.): MODELS 2009, LNCS 5795, pp. 216, 2009. Springer-Verlag Berlin Heidelberg 2009
- ISSN0249-6399 de recherche
- Using Model Driven Engineering technologies for building authoring applications
- Cmara, Canal, and Salan (Eds.) Component and Service Interoperability (WCSI10)
- Contribution la formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqus
- Building a Kermeta Compiler using Scala: an Experience Report.
- Model-driven Generative Development of Measurement Martin Monperrus
- d'ordre : 4186 ANNE 2010 THSE / UNIVERSIT DE RENNES 1
- Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines
- Software and System Modeling manuscript No. (will be inserted by the editor)
- Business and Information System Alignment: a Formal Solution for Telecom Services
- A Family of Languages for Architecture Constraint Specification
- End-User Modelling Albert Patrick (IBM, Paris), Blay-Fornarino Mireille (I3S, Sophia-Antipolis), Collet Philippe (I3S, Sophia-
- Generative Technologies for Model Animation in the TOPCASED Platform
- Crossing Model Driven Engineering and Agility Preliminary Thought on Benefits and Challenges
- Security-Driven Model-Based Dynamic Adaptation
- Combining Aspect-Oriented Modeling with Property-Based Reasoning
- Specifying and implementing UI Data Bindings with Active Operations
- Estimating Footprints of Model Operations Cdric Jeanneret
- Model-Driven Engineering for Software Migration in a Large Industrial Context
- Model-Based Tests for Access Control Policies1 Alexander Pretschnera
- Code generation from UML Models with semantic variation points
- Measuring and Improving Design Patterns Testability Benoit Baudry*
- K. Czarnecki et al. (Eds.): MoDELS 2008, LNCS 5301, pp. 537552, 2008. Springer-Verlag Berlin Heidelberg 2008
- MODEL-DRIVEN ENGINEERING FOR IMPLEMENTING THE ISO 19100 SERIES OF INTERNATIONAL STANDARDS
- AjMutator: A Tool For The Mutation Analysis Of AspectJ Pointcut Descriptors
- 15 Software Product Line Engineering with the UML: Deriving Products
- Selection of Composable Web Services Driven by User Requirements Zeina Azmeh, Maha Driss, Fady Hamoui, Marianne Huchard, Naouel Moha and Chouki Tibermacine
- RSTI -ISI 16/2011. SI base de services, pages 97 125 Une approche centre exigences
- A Multi-Perspective Approach for Web Service Composition Maha Driss1,2
- d'ordre : 4475 ANN EE 2011 TH `ESE / UNIVERSIT E DE RENNES 1
