-
VIDEAS
- Referenced in 3 articles
[sw09771]
- answer-set programs based on model-driven engineering technology. In the object-oriented world, much ... programming errors. Recently, the techniques of model-driven engineering (MDE) have been proven especially valuable...
-
SelfSync
- Referenced in 2 articles
[sw10061]
- Dynamic Round-Trip Engineering Environment. Model-Driven Engineering (MDE) advocates the generation of software applications...
-
Smart Modeller
- Referenced in 1 article
[sw06570]
- model checking and transformations This paper introduces a novel framework for ontology-driven software engineering ... that studied the interplay between the model-driven engineering and the ontological modeling. Our framework ... semantic search in model repositories, three kinds of semi-automated model composition services: task-based ... implemented as part of model-driven engineering tools to support software engineers. We describe...
-
DSLit
- Referenced in 1 article
[sw19038]
- spaces we make use of existing model-driven engineering (MDE) techniques, further promoting the vision...
-
VPDSL
- Referenced in 1 article
[sw16254]
- simulated, and used a model-driven engineering approach to generate the software components implementing...
-
ML2
- Referenced in 1 article
[sw35533]
- free open source Model-Driven Software Engineering (MDSE) tool for creating smart services...
-
Badger
- Referenced in 1 article
[sw06912]
- main challenges in model-driven software engineering is to deal with design model inconsistencies. Automated...
-
Papyrus-RT
- Referenced in 0 articles
[sw40302]
- systems that makes use of the Model-Driven Engineering approach to generate executable C++ code...
-
dgpf
- Referenced in 3 articles
[sw04801]
- Combining genetic programming and model-driven development Genetic programming (GP) is known to provide good ... module of a design framework assisting the engineer in optimizing specific aspects in system development ... component and integrating it into the model-driven software development process. Our GP framework produces...
-
TimeSquare
- Referenced in 4 articles
[sw15830]
- TimeSquare is based on the latest model-driven technology so that more than ... editor of constraints, a polychronous clock calculus engine able to process a partial order conforming...
-
ETAP Digital Twin
- Referenced in 1 article
[sw36199]
- ETAP Digital Twin goes beyond an integrated engineering analysis tool to provide an active blueprint ... that offers automated rule-based design, model-driven predictive analysis, co-simulation platform, operator training...
-
Matlab
- Referenced in 13702 articles
[sw00558]
- MATLAB® is a high-level language and interactive...
-
MetiTarski
- Referenced in 54 articles
[sw00573]
- Many inequalities involving the functions ln, exp, sin...
-
Octave
- Referenced in 312 articles
[sw00646]
- GNU Octave is a high-level language, primarily...
-
PRISM
- Referenced in 454 articles
[sw01186]
- PRISM: Probabilistic symbolic model checker. In this paper...
-
ML
- Referenced in 524 articles
[sw01218]
- ML (’Meta Language’) is a general-purpose functional...
-
SecureUML
- Referenced in 13 articles
[sw01727]
- SecureUML: A UML-based modeling language for model...
-
ITP/OCL
- Referenced in 7 articles
[sw02727]
- ITP/OCL: A rewriting-based validation tool for UML...
-
PROGRES
- Referenced in 70 articles
[sw02905]
- Integrity constraints in the multi-paradigm language PROGRES...