42 papers:
MoDELS-2015-AmalioLG #formal method #named- Fragmenta: A theory of fragmentation for MDE (NA, JdL, EG), pp. 106–115.
SPLC-2015-ColaLTQ #product line- An MDE tool for defining software product families with explicit variation points (SDC, KKL, CMT, CQ), pp. 355–360.
REFSQ-2014-SannierB #analysis #approach #modelling #named #requirements- INCREMENT: A Mixed MDE-IR Approach for Regulatory Requirements Modeling and Analysis (NS, BB), pp. 135–151.
ASE-2013-PilgrimUTS #approach #co-evolution- Model/code co-refactoring: An MDE approach (JvP, BU, AT, FS), pp. 682–687.
- MoDELS-2013-FrancisKMP #spreadsheet #tool support
- Adding Spreadsheets to the MDE Toolkit (MF, DSK, NDM, RFP), pp. 35–51.
- MoDELS-2013-HebigGSS #evolution #on the
- On the Complex Nature of MDE Evolution (RH, HG, FS, AS), pp. 436–453.
- MoDELS-2013-FrancisKMP #spreadsheet #tool support
- Adding Spreadsheets to the MDE Toolkit (MF, DSK, NDM, RFP), pp. 35–51.
- MoDELS-2013-HebigGSS #evolution #on the
- On the Complex Nature of MDE Evolution (RH, HG, FS, AS), pp. 436–453.
CBSE-2012-MartinezV #approach #component #realtime- An MDE approach to address synchronization needs in component-based real-time systems (PLM, TV), pp. 125–134.
SFM-2012-AndovaBEV #domain-specific language- MDE Basics with a DSL Focus (SA, MvdB, LJPE, TV), pp. 21–57.
- SFM-2012-GieseLBHNVW #adaptation #graph transformation #modelling #runtime
- Graph Transformations for MDE, Adaptation, and Models at Runtime (HG, LL, BB, SH, SN, TV, SW), pp. 137–191.
AMT-2012-HildebrandtLG #development #framework #graph grammar #model transformation- The MDELab tool framework for the development of correct model transformations with triple graph grammars (SH, LL, HG), pp. 33–34.
ECMFA-2012-KolovosRWMP #approach #documentation #lightweight #xml- A Lightweight Approach for Managing XML Documents with MDE Languages (DSK, LMR, JRW, NDM, RFP), pp. 118–132.
ICEIS-v3-2011-Garcia-GarciaECA #approach #generative #named #taxonomy- NDT-Glossary — A MDE Approach for Glossary Generation (JAGG, MJEC, CRC, MA), pp. 170–175.
SEKE-2011-DiawLC #implementation #metamodelling #process #specification- Specification and Implementation of SPEM4MDE, a metamodel for MDE software processes (SD, RL, BC), pp. 646–653.
BX-2011-Pierantonio #bidirectional- Bidirectional and change propagating transformations in MDE (AP), p. 63.
- ECMFA-2011-DouxABCFL #approach #eclipse #framework #problem
- An MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse Platform (GD, PA, GB, JC, MDDF, SUJL), pp. 160–171.
- MoDELS-2011-FleureyMSB
- MDE to Manage Communications with and between Resource-Constrained Systems (FF, BM, AS, OB), pp. 349–363.
- MoDELS-2011-PalyartLOB #framework #maintenance #scalability
- Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks (MP, DL, IO, JMB), pp. 213–227.
- MoDELS-2011-FleureyMSB
- MDE to Manage Communications with and between Resource-Constrained Systems (FF, BM, AS, OB), pp. 349–363.
- MoDELS-2011-PalyartLOB #framework #maintenance #scalability
- Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks (MP, DL, IO, JMB), pp. 213–227.
ICSE-2011-HutchinsonWRK #assessment #empirical #industrial- Empirical assessment of MDE in industry (JH, JW, MR, SK), pp. 471–480.
ECSA-2010-RuscioMMPP #architecture #framework #named- ByADL: An MDE Framework for Building Extensible Architecture Description Languages (DDR, IM, HM, PP, AP), pp. 527–531.
- ECMFA-2010-KleinerFA #automation #constraints #formal method #theorem proving
- Model Search: Formalizing and Automating Constraint Solving in MDE Platforms (MK, MDDF, PA), pp. 173–188.
- MoDELS-v1-2010-SaxenaK #approach #design
- MDE-Based Approach for Generalizing Design Space Exploration (TS, GK), pp. 46–60.
- MoDELS-v2-2010-SilvaBBG #detection #modelling #process
- Early Deviation Detection in Modeling Activities of MDE Processes (MAAdS, RB, XB, MPG), pp. 303–317.
- ICSE-2010-ClavreulBJ #legacy
- Integrating legacy systems with MDE (MC, OB, JMJ), pp. 69–78.
- ICSE-2010-RuscioMMPP #generative
- Developing next generation ADLs through MDE techniques (DDR, IM, HM, PP, AP), pp. 85–94.
WICSA-ECSA-2009-PerovichRB #architecture #feature model #product line- Feature model to product architectures: Applying MDE to Software Product Lines (DP, POR, MCB), pp. 201–210.
DATE-2009-MazziniPV #development #realtime- An MDE methodology for the development of high-integrity real-time systems (SM, SP, TV), pp. 1154–1159.
- DATE-2009-MrabtiPB #approach #design
- Extending IP-XACT to support an MDE based approach for SoC design (AEM, FP, AB), pp. 586–589.
FASE-2009-RutleRLW #approach #formal method #version control- A Category-Theoretical Approach to the Formalisation of Version Control in MDE (AR, AR, YL, UW), pp. 64–78.
AdaEurope-2009-ZoviV #programming language #requirements- Requirements on the Target Programming Language for High-Integrity MDE (AZ, TV), pp. 1–15.
SLE-2009-Bezivin #problem #question #what- If MDE Is the Solution, Then What Is the Problem? (JB), p. 2.
- ECMDA-FA-2008-MohagheghiD #bibliography #case study #experience #industrial #proving
- Where Is the Proof? — A Review of Experiences from Applying MDE in Industry (PM, VD), pp. 432–443.
- ECSA-2007-LosillaVAIS #approach #architecture #development #network
- Wireless Sensor Network Application Development: An Architecture-Centric MDE Approach (FL, CVC, BÁ, AI, PS), pp. 179–194.
- ECSA-2007-OrtizPAAS #approach #architecture #case study #component #experience #framework #using
- Experiences Using a Component-Oriented Architectural Framework for Robots and Its Improvement with a MDE Approach (FJO, JAP, DA, BÁ, PS), pp. 335–338.
- AdaEurope-2007-ElleuchKA #approach #development #embedded #realtime
- ArchMDE Approach for the Development of Embedded Real Time Systems (NE, AK, SBA), pp. 142–154.
- MoDELS-2006-CibranD #aspect-oriented #slicing
- A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects (MAC, MD), pp. 170–184.
- MoDELS-2006-PonsG #ocl #specification #verification
- An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE (CP, DG), pp. 646–660.
- MoDELS-2006-CibranD #aspect-oriented #slicing
- A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects (MAC, MD), pp. 170–184.
- MoDELS-2006-PonsG #ocl #specification #verification
- An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE (CP, DG), pp. 646–660.
