• 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...
  • Badger

  • Referenced in 1 article [sw06912]
  • main challenges in model-driven software engineering is to deal with design model inconsistencies. Automated...
  • 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...
  • Matlab

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

  • Referenced in 49 articles [sw00573]
  • Many inequalities involving the functions ln, exp, sin...
  • Octave

  • Referenced in 275 articles [sw00646]
  • GNU Octave is a high-level language, primarily...
  • PRISM

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

  • Referenced in 502 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...
  • COMET

  • Referenced in 70 articles [sw03051]
  • Constraint-Based Local Search. The ubiquity of combinatorial...
  • ANTLR

  • Referenced in 55 articles [sw03062]
  • ANTLR (ANother Tool for Language Recognition) is a...
  • SPIN

  • Referenced in 699 articles [sw03455]
  • Spin is a popular open-source software tool...