• MARTE

  • Referenced in 21 articles [sw21826]
  • profile adds capabilities to UML for model-driven development of Real Time and Embedded Systems...
  • SecureUML

  • Referenced in 13 articles [sw01727]
  • present a modeling language for the model-driven development of secure, distributed systems based...
  • dgpf

  • Referenced in 3 articles [sw04801]
  • Combining genetic programming and model-driven development Genetic programming (GP) is known to provide good ... engineer in optimizing specific aspects in system development. In this article, we show ... integrating it into the model-driven software development process. Our GP framework produces XMI-encoded ... combined with model-driven development...
  • REFINER

  • Referenced in 3 articles [sw24290]
  • systems. This is useful for model-driven development approaches, where systems are designed and created ... abstract model, and iteratively refining this model until it is concrete enough to automatically generate ... initial model and should remain valid throughout the development in later models can be maintained ... complete model checking approach for model-driven system development...
  • Frag

  • Referenced in 2 articles [sw31849]
  • abstract syntax. Supporting Model-driven Development (MDD): Frag is designed to build DSLs and meta...
  • Polychrony

  • Referenced in 12 articles [sw12302]
  • integrated development environment and technology demonstrator. It provides a unified model-driven environment to perform...
  • PACC starter kit

  • Referenced in 1 article [sw17498]
  • based development environment that combines a model-driven development approach with reasoning frameworks that apply...
  • VIDEAS

  • Referenced in 3 articles [sw09771]
  • VIDEAS: A development tool for answer-set programs based on model-driven engineering technology ... world, much effort is spent into the development of dedicated tools to ease programming ... programming errors. Recently, the techniques of model-driven engineering (MDE) have been proven especially valuable ... modern software systems during the software development process. In the world of answer-set programming...
  • jABCstats

  • Referenced in 1 article [sw33049]
  • framework that has been used for model-driven development of workflows and processes in different...
  • Dropsbox

  • Referenced in 0 articles [sw18494]
  • specific language changes (DSLs) in model-driven software development. It can be customised by tool...
  • caGrid

  • Referenced in 10 articles [sw20965]
  • cancer Biomedical Informatics Grid (caBIGtrade mark), to develop a federation of interoperable research information systems ... caGrid version 0.5. caGrid is a model-driven and service-oriented architecture that synthesizes...
  • DSLit

  • Referenced in 1 article [sw19038]
  • model-driven approach to generate external DSLs from object-oriented apis. Developers in modern general ... APIs). Domain-specific languages (DSLs) can be developed as an alternative method for code abstraction ... tailored development environment. However the cost of implementing a fully functional development environment ... spaces we make use of existing model-driven engineering (MDE) techniques, further promoting the vision...
  • ShoveRand

  • Referenced in 1 article [sw12446]
  • ShoveRand: a model-driven framework to easily generate random numbers on GP-GPU. Stochastic simulations ... Generators (RNGs) to feed such applications. Recent developments try to shrink the computation time...
  • TimeSquare

  • Referenced in 4 articles [sw15830]
  • TimeSquare is based on the latest model-driven technology so that more than ... connected to several back-ends developed as new plugins to produce timing diagrams, animate...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • PRISM

  • Referenced in 442 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • ML

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • Alloy

  • Referenced in 30 articles [sw01247]
  • Alloy: A new technology for software modelling. Alloy...
  • VEST

  • Referenced in 26 articles [sw01405]
  • VEST -- a toolset for constructing and analyzing component...