Petri nets: an introduction
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering
The Z notation: a reference manual
The Z notation: a reference manual
Support for comprehensive reuse
Support for comprehensive reuse
Japan's software factories: a challenge to U.S. management
Japan's software factories: a challenge to U.S. management
Software reuse: architecture, process and organization for business success
Software reuse: architecture, process and organization for business success
A general framework for formalizing UML with formal languages
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
A UML-based aspect-oriented design notation for AspectJ
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
Structured Systems Analysis: Tools and Techniques
Structured Systems Analysis: Tools and Techniques
Extending standard UML with model composition semantics
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
Computer
Modularisation and composition of aspectual requirements
Proceedings of the 2nd international conference on Aspect-oriented software development
Viewpoints for Requirements Elicitation: A Practical Approach
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Proving performance propterties (even probabilistic ones)
Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
ECOOP '02 Proceedings of the Workshops and Posters on Object-Oriented Technology
A UML-Based Approach to System Testing
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools
Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools
Theme: An Approach for Aspect-Oriented Analysis and Design
Proceedings of the 26th International Conference on Software Engineering
Software reuse: from library to factory
IBM Systems Journal
Object Analysis Patterns for Embedded Systems
IEEE Transactions on Software Engineering
A Tool-Supported Approach to Testing UML Design Models
ICECCS '05 Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems
Structured Analysis and System Specification
Structured Analysis and System Specification
Model-based development of dynamically adaptive software
Proceedings of the 28th international conference on Software engineering
Feature-based survey of model transformation approaches
IBM Systems Journal - Model-driven software development
Software Design and Architecture The once and future focus of software engineering
FOSE '07 2007 Future of Software Engineering
Deep middleware for the divergent Grid
Proceedings of the ACM/IFIP/USENIX 2005 International Conference on Middleware
Summary of the workshop models@run.time at MoDELS 2006
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Generating tests from UML specifications
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Formalising UML state machines for model checking
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Modeling aspect-oriented compositions
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Weaving executability into object-oriented meta-languages
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Model-based safety analysis of simulink models using SCADE design verifier
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
The Challenges of Building Advanced Mechatronic Systems
FOSE '07 2007 Future of Software Engineering
Source Code Analysis: A Road Map
FOSE '07 2007 Future of Software Engineering
Safety and Software Intensive Systems: Challenges Old and New
FOSE '07 2007 Future of Software Engineering
The Future of Software Performance Engineering
FOSE '07 2007 Future of Software Engineering
Software Design and Architecture The once and future focus of software engineering
FOSE '07 2007 Future of Software Engineering
A Perspective on the Future of Middleware-based Software Engineering
FOSE '07 2007 Future of Software Engineering
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
Behavioural model fusion: an overview of challenges
Proceedings of the 2008 international workshop on Models in software engineering
Proceedings of the 2008 international workshop on Models in software engineering
Visualizing the Analysis of Dynamically Adaptive Systems Using i* and DSLs
REV '07 Proceedings of the Second International Workshop on Requirements Engineering Visualization
Performing Domain Analysis for Model-Driven Software Reuse
ICSR '08 Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems
Extracting Object Interactions Out of Software Contracts Using Model Transformations
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Generic Reusable Concern Compositions
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Model Transformation as an Optimization Problem
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Ontology Guided Evolution of Complex Embedded Systems Projects in the Direction of MDA
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Software execution processes as an evolving complex network
Information Sciences: an International Journal
An XML-based framework for bidirectional transformation in model-driven architecture (MDA)
ACM SIGSOFT Software Engineering Notes
Model-driven eGovernment interoperability: A review of the state of the art
Computer Standards & Interfaces
Challenges in Model-Driven Software Engineering
Models in Software Engineering
Recursive modeling for completed code generation
Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture
Distributed Orchestration Versus Choreography: The FOCAS Approach
ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
On the use of software models during software execution
MISE '09 Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering
Personalities, cultures and software modeling: Questions, scenarios and research directions
CHASE '09 Proceedings of the 2009 ICSE Workshop on Cooperative and Human Aspects on Software Engineering
Towards Meta-model Interoperability of Models through Intelligent Transformations
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part II: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living
MDE for Device Driver Development
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part II: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living
Software Engineering for Self-Adaptive Systems
Integrating Functional and Architectural Views of Reactive Systems
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Dependent and Conflicting Change Operations of Process Models
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
A Framework for Testing Model Composition Engines
SC '09 Proceedings of the 8th International Conference on Software Composition
A Model-Driven Approach for Telecommunications Network Services Definition
EUNICE '09 Proceedings of the 15th Open European Summer School and IFIP TC6.6 Workshop on The Internet of the Future
Exploring Multi-Paradigm Modeling Techniques
Simulation
SM@RT: towards architecture-based runtime management of Internetware systems
Proceedings of the First Asia-Pacific Symposium on Internetware
MDA-based tool chain for web services development
Proceedings of the 4th Workshop on Emerging Web Services Technology
Assessing the impact of aspects on model composition effort
Proceedings of the 9th International Conference on Aspect-Oriented Software Development
From aspect-oriented models to aspect-oriented code?: the maintenance perspective
Proceedings of the 9th International Conference on Aspect-Oriented Software Development
Barriers to systematic model transformation testing
Communications of the ACM
Patterns for data and metadata evolution in adaptive object-models
Proceedings of the 15th Conference on Pattern Languages of Programs
Knowledge based quality-driven architecture design and evaluation
Information and Software Technology
A systematic review of research on integration of ontologies with the model-driven approach
International Journal of Metadata, Semantics and Ontologies
Tool support for transformation from an OWL ontology to an HLA Object Model
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
Opportunistic computing experience with the SAM platform
Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems
SM@RT: representing run-time system data as MOF-compliant models
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Empirical evaluation of effort on composing design models
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Generating transformation rules from examples for behavioral models
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
Colex: a web-based collaborative conflict lexicon
Proceedings of the 1st International Workshop on Model Comparison in Practice
A homogeneous repository for collaborative MDE
Proceedings of the 1st International Workshop on Model Comparison in Practice
Proceedings of the IEEE/ACM international conference on Automated software engineering
Towards Class Diagram Algebra for Composing Data Models
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance
Software and Systems Modeling (SoSyM)
A survey of traceability in requirements engineering and model-driven development
Software and Systems Modeling (SoSyM)
Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems
Model-to-model transformations by demonstration
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
WCAG conformance approach based on model-driven development and WebML
Proceedings of the 28th ACM International Conference on Design of Communication
Proceedings of the 28th ACM International Conference on Design of Communication
Software factories: describing the assembly process
ICSP'10 Proceedings of the 2010 international conference on New modeling concepts for today's software processes: software process
Sequence diagram to colored Petri nets transformation testing: an immune system metaphor
Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research
Information and Software Technology
Formal Methods in System Design
A domain specific language for contextual design
HCSE'10 Proceedings of the Third international conference on Human-centred software engineering
Supporting runtime software architecture: A bidirectional-transformation-based approach
Journal of Systems and Software
Analyzing the effort on composing design models in industrial case studies
Proceedings of the tenth international conference on Aspect-oriented software development companion
Model-driven mashup personal learning environments
International Journal of Technology Enhanced Learning
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
Example-based model-transformation testing
Automated Software Engineering
A survey on UML-based aspect-oriented design modeling
ACM Computing Surveys (CSUR)
A model transformation approach for verifying multi-agent systems using SPIN
Proceedings of the 2011 ACM Symposium on Applied Computing
Model-driven engineering practices in industry
Proceedings of the 33rd International Conference on Software Engineering
Synchronizing model and program refactoring
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
GRAF: graph-based runtime adaptation framework
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Is my model right? Let me ask the expert
Journal of Systems and Software
Conflicts as first-class entities: a UML profile for model versioning
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
The role of models and megamodels at runtime
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Journal of Systems and Software
NEW2AN'11/ruSMART'11 Proceedings of the 11th international conference and 4th international conference on Smart spaces and next generation wired/wireless networking
Safety-assured development of the GPCA infusion pump software
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Scenarchitectures: the use of domain-specific architectures to bridge design and implementation
INTERACT'11 Proceedings of the 13th IFIP TC 13 international conference on Human-computer interaction - Volume Part II
Logic-based model-level software development with F-OML
Proceedings of the 14th international conference on Model driven engineering languages and systems
Model-driven engineering and optimizing compilers: a bridge too far?
Proceedings of the 14th international conference on Model driven engineering languages and systems
Towards an ontology-based retrieval of UML Class Diagrams
Information and Software Technology
Beyond Green: Evolution to Adaptability and Recyclability
GREENCOM '11 Proceedings of the 2011 IEEE/ACM International Conference on Green Computing and Communications
Service-oriented autonomic multimodal interaction in a pervasive environment
ICMI '11 Proceedings of the 13th international conference on multimodal interfaces
Realizing Model Transformation Chain interoperability
Software and Systems Modeling (SoSyM)
Towards introspectable, adaptable and extensible autonomic managers
Proceedings of the 7th International Conference on Network and Services Management
Evolution and change management of XML-based systems
Journal of Systems and Software
A model-driven development method for collaborative modeling tools
Journal of Network and Computer Applications
Example-Based sequence diagrams to colored petri nets transformation using heuristic search
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
An integrated facet-based library for arbitrary software components
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Incremental model synchronization for efficient run-time monitoring
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Generating synchronization engines between running systems and their model-based views
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
PROFES'10 Proceedings of the 11th international conference on Product-Focused Software Process Improvement
Model transformation by-example: a survey of the first wave
Conceptual Modelling and Its Theoretical Foundations
Metamodels for role-driven agent-based modelling
Computational & Mathematical Organization Theory
A finite-state machine approach for modeling and analyzing restful systems
Journal of Web Engineering
Using constraints in teaching software modeling
MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering
Search-based model transformation by example
Software and Systems Modeling (SoSyM)
Testing and debugging UML models based on fUML
Proceedings of the 34th International Conference on Software Engineering
Systematic evolution of model-based spreadsheet applications
Journal of Visual Languages and Computing
Achieving interoperability through semantic technologies in the public administration
ESWC'12 Proceedings of the 9th international conference on The Semantic Web: research and applications
Advances in Engineering Software
An introduction to model versioning
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Formal specification and testing of model transformations
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
An approach to the specification of user interface templates for business applications
Proceedings of the Fifth Balkan Conference in Informatics
Bridging the chasm between MDE and the world of compilation
Software and Systems Modeling (SoSyM)
What will it take? A view on adoption of model-based methods in practice
Software and Systems Modeling (SoSyM)
Evaluating the impact of aspects on inconsistency detection effort: a controlled experiment
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Evaluating the effort of composing design models: a controlled experiment
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Transition to model-driven engineering: what is revolutionary, what remains the same?
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Research-based innovation: a tale of three projects in model-driven engineering
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
MEDI'12 Proceedings of the 2nd international conference on Model and Data Engineering
Model-driven development of DSML execution engines
Proceedings of the 7th Workshop on Models@run.time
Actor-based runtime model of adaptable feedback control loops
Proceedings of the 7th Workshop on Models@run.time
Proceedings of the 7th Workshop on Models@run.time
Automated verification of model transformations based on visual contracts
Automated Software Engineering
Improving software product line configuration: A quality attribute-driven approach
Information and Software Technology
Design and evaluation of the ModelHealth toolchain for continuity of care web services
Automated Software Engineering
Combining fUML and profiles for non-functional analysis based on model execution traces
Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures
Representing dynamic pluggable software units
Proceedings of the 28th Annual ACM Symposium on Applied Computing
A model-based framework for flexible safety-critical software development: a design study
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Journal of Systems and Software
Supporting maintenance tasks on transformational code generation environments
Proceedings of the 2013 International Conference on Software Engineering
Domain specific languages for the model driven organization
Proceedings of the First Workshop on the Globalization of Domain Specific Languages
Engineering delta modeling languages
Proceedings of the 17th International Software Product Line Conference
A quantitative analysis of model-driven code generation through software experimentation
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Software process improvement in a financial organization: An action research approach
Computer Standards & Interfaces
Towards runtime model based integrated management of cloud resources
Proceedings of the 5th Asia-Pacific Symposium on Internetware
Simulating software behavior based on UML activity diagram
Proceedings of the 5th Asia-Pacific Symposium on Internetware
Intention-oriented programming support for runtime adaptive autonomic cloud-based applications
Computers and Electrical Engineering
Towards domain-specific property languages: the ProMoBox approach
Proceedings of the 2013 ACM workshop on Domain-specific modeling
Domain-Specific Modeling Languages to improve framework instantiation
Journal of Systems and Software
Proceedings of International Workshop on Adaptive Self-tuning Computing Systems
A model-driven approach for promoting cloud PaaS portability
CASCON '13 Proceedings of the 2013 Conference of the Center for Advanced Studies on Collaborative Research
Model-Driven Engineering of Self-Adaptive Software with EUREMA
ACM Transactions on Autonomous and Adaptive Systems (TAAS) - Special Section on Best Papers from SEAMS 2012
A model-driven and task-oriented method for the development of collaborative systems
Journal of Network and Computer Applications
SimPal: a design study on a framework for flexible safety-critical software development
ACM SIGAPP Applied Computing Review
A classification and rationalization of model-based software development
Software and Systems Modeling (SoSyM)
An ontology-based framework for domain-specific modeling
Software and Systems Modeling (SoSyM)
Testing operational transformations in model-driven engineering
Innovations in Systems and Software Engineering
| Hi-index | 0.02 |
The term Model-Driven Engineering (MDE) is typically used to describe software development approaches in which abstract models of software systems are created and systematically transformed to concrete implementations. In this paper we give an overview of current research in MDE and discuss some of the major challenges that must be tackled in order to realize the MDE vision of software development. We argue that full realizations of the MDE vision may not be possible in the near to medium-term primarily because of the wicked problems involved. On the other hand, attempting to realize the vision will provide insights that can be used to significantly reduce the gap between evolving software complexity and the technologies used to manage complexity.