Model-driven software engineering
The Goals Approach: Enterprise Model-Driven Agile Human-Centered Software Engineering
... 3.2 Step 2–User Task Identification The User Task (UT) definition is derived from the concept of Essential Use Case (EUC) [ 10 ], which defines a Use Case as a “complete and meaningful task (carried out in relationship ...
21
The Goals Approach: Enterprise Model-Driven Agile Human-Centered Software Engineering
... maximize software de- velopment performance in a medium sized enterprise, filling the gaps left by the used methods in terms of business specification and software ...supportive Software Development ...
20
Model-driven software development approaches in robotics research
... The model driven work flow cannot directly be applied in the robotics ...in software development - from requirement specification, system de- sign, implementation, integration, and till it is ...
7
Use of Model-Based Software Product Line Engineering for Certifiable Avionics Software Development
... do model driven development using off-the-shelf commercial software modeling tools ...general-purpose software modelling languages ...the software engineers, no formation is required to ...
93
The relevance of model-driven engineering thirty years from now
... Introduction Model-driven engineering (MDE) is now an established approach for developing complex software systems and has been adopted successfully in many industries including the automotive ...
20
A Model-Driven Engineering Framework for Constrained Model Search
... and model transformation Model Driven Engineering is an emerging research area that considers the main software artifacts as typed ...a software system may be easily separated or ...
23
A model-driven traceability framework for software product lines
... Work Software product lines are receiving increasing attention in software industry over the last ...in software engineering, since it can bring several benefits to change impact anal- ysis ...
25
The relevance of model-driven engineering thirty years from now
... Introduction Model-driven engineering (MDE) is now an established approach for developing complex software systems and has been adopted successfully in many industries including the automotive ...
19
A formal approach to AADL model-based software engineering
... AADL model-based software engineering Hana Mkaouar 1 · Bechir Zalila 1 · Jérôme Hugues 2 · Mohamed Jmaiel 1,3 Abstract Formal methods have become a recommended practice in safety-critical ...
30
Model-Driven Engineering and Optimizing Compilers: A bridge too far?
... Structural software design patterns are a perfect example of generic concepts. Ex- pressing them at a metametamodel level gives a powerful toolbox to the developers who can apply or reuse these patterns on all ...
16
Combining formal verification environments and model-driven engineering
... Abstract Formal methods (such as interactive provers) are increasingly used in software verification especially for critical software. This is so because they rely on their strong formal basis and precise ...
176
Model-Based Software Engineering : Methodologies for Model-Code Synchronization in Reactive System Development
... a Model-Driven Reverse Engineering ...using model transforma- tions to generate other views of the system or create a new source code base of the system for ...the model provides better ...
185
Industrial-strength Rule Interoperability using Model Driven Engineering
... new model-based vision for the development and maintenance of software ...then, Model Driven Engineering (MDE) has considerably broadened its application area and many new applications ...
20
MODEL DRIVEN ENGINEERING : TWO APPROACHES THROUGH THE SAME CASE STUDY
... 3.7 Software testing Some of the activities and control executed during earlier phases contribute significantly to the success of the software testing phase, especially a formal acceptance of the testing ...
13
Improving automation in model-driven engineering using examples
... In 2011, Zeller [62] gave an overview of specification mining. The idea is to extract specifications from existing systems by effectively leveraging the knowledge encoded into billions of code lines. These specifications ...
104
Model driven engineering for embedded real-time systems
... of software embedded in these products keeps increasing, making them ever more difficult to design, test, and ...time software must implement special features as they have to respect specific non-functional ...
9
MoDisco: a Model Driven Reverse Engineering Framework
... • Collaborating with an industrial partner. Companies often consider too risky to use research prototypes due to their lack of proper user interface, documentation, completeness, support, etc. Research groups have ...
40
Combining Model-Driven Engineering and Cloud Computing
... and model-driven engineering are two of the most dominant software engineering paradigms ...of Model- ing as a Service (MaaS) as a way to provide modeling and ...
3
Model Driven Engineering with Capella and AADL
... system engineering, AADL, AUTOSAR and UML are focused on software ...and software levels: functional breakdown, logical and physical architecture, software dynamic and static architecture, ...
11
Continuous Process Compliance Using Model Driven Engineering
... improve software development processes in a manner that compliance to standards becomes an implicit part of the ...meta- model, that has served as a basis for tool ...the software development ...
15