Results 1 to 20 of 85
Sort by:

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

  • 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 12309 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 288 articles [sw00646]
  • GNU Octave is a high-level language, primarily...

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

  • ML

  • Referenced in 517 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 72 articles [sw03051]
  • Constraint-Based Local Search. The ubiquity of combinatorial...