• Bogor

  • Referenced in 36 articles [sw06858]
  • that domain-specific model checking engines may be more effective than general purpose model checking ... have developed an extensible and customizable model checking framework called Bogor. In this tool paper ... customizing its modeling language and algorithms to create domain-specific model checking engines...
  • CVXPY

  • Referenced in 44 articles [sw13968]
  • Python-Embedded Modeling Language for Convex Optimization. CVXPY is a domain-specific language for convex...
  • LibBi

  • Referenced in 13 articles [sw19384]
  • software package for state-space modelling and Bayesian inference on modern computer hardware, including multi ... devices. The software parses a domain-specific language for model specification, then optimises, generates, compiles...
  • OMNet++

  • Referenced in 65 articles [sw04170]
  • networks, queueing networks, and so on. Domain-specific functionality such as support for sensor networks ... Internet protocols, performance modeling, photonic networks, etc., is provided by model frameworks, developed as independent ... real-time simulation, network emulation, alternative programming languages (Java, C#), database integration, SystemC integration...
  • Frag

  • Referenced in 2 articles [sw31849]
  • dynamic programming language, specifically designed for the following tasks: Tailorable Language: Frag provides an object ... building new languages (such as DSLs), or integration with other languages (such as Java ... such as the UML2 meta-model). Building Domain-Specific Languages (DSLs): Frag provides features ... easily tailor its syntax to build new language features or adapt existing ones - to build...
  • Ur/Web

  • Referenced in 7 articles [sw17454]
  • Ur/Web: a simple model for programming the web. The World Wide Web has evolved gradually ... domain-specific, statically typed functional programming language with a much simpler model for programming modern...
  • GME

  • Referenced in 5 articles [sw33604]
  • configurable toolkit for creating domain-specific modeling and program synthesis environments. The configuration is accomplished ... modeling paradigm (modeling language) of the application domain. The modeling paradigm contains all the syntactic ... specifying the modeling paradigm are used to automatically generate the target domain-specific environment ... generated domain-specific environment is then used to build domain models that are stored...
  • FAMILIAR

  • Referenced in 2 articles [sw31669]
  • FAMILIAR: A domain-specific language for large scale management of feature models. The feature model ... practice, developing an SPL can involve modeling a large number of features representing different viewpoints ... Domain-Specific Language (DSL) that is dedicated to the large scale management of feature models...
  • VeriML

  • Referenced in 8 articles [sw13522]
  • language where users can develop complex tactics and decision procedures using a rich programming model ... domain-specific tactics and decision procedures.par In this paper, we present VeriML -- a novel language...
  • KALA

  • Referenced in 1 article [sw02710]
  • models of transaction management. In this paper, we propose a domain-specific aspect language ... based on a recognized formalism for the domain of advanced transaction management, called ACTA. Second ... variety of models for transaction management. Finally, being a domain-specific aspect language, KALA allows...
  • Dropsbox

  • Referenced in 1 article [sw18494]
  • development and application of domain-specific language changes (DSLs) in model-driven software development...
  • libalf

  • Referenced in 10 articles [sw09880]
  • comprehensive, open-source library for learning formal languages. libalf covers various well-known learning techniques ... facilely interchanging learning algorithms and combining domain-specific features in a plug-and-play fashion ... engineering further learning algorithms for new target models (e.g., Büchi automata...
  • TabbyXL

  • Referenced in 1 article [sw29425]
  • flexible table object model and a domain-specific rule language for table analysis. They serve...
  • Liszt

  • Referenced in 4 articles [sw20275]
  • Liszt: a domain specific language for building portable mesh-based PDE solvers. Heterogeneous computers with ... there is no commonly accepted programming model. Ideally, applications should be written ... portability feasible. We present Liszt, a domain-specific language for constructing mesh-based PDE solvers...
  • QCQP

  • Referenced in 3 articles [sw27001]
  • QCQP is a package for modeling and nonconvex solving quadratically constrained quadratic programs (QCQPs) using ... built on top of CVXPY, a domain-specific language for convex optimization embedded in Python...
  • ATMOL

  • Referenced in 1 article [sw02267]
  • ATMOL: a domain-specific language for the formulation and implementation of atmospheric models. ATMOL...
  • TerpreT

  • Referenced in 2 articles [sw29483]
  • approaches based on neural networks and graphical models, and to understand the capabilities of machine ... proposal of TerpreT, a domain-specific language for expressing program synthesis problems. TerpreT is similar ... probabilistic programming language: a model is composed of a specification of a program representation (declarations...
  • Req2Lib

  • Referenced in 1 article [sw36683]
  • requirement. We use a Sequence-to-Sequence model to learn the library linked-usage information ... natural language. Besides, we apply a domain-specific pre-trained word2vec model for word embedding...
  • ML-Rules

  • Referenced in 1 article [sw20796]
  • multi-level rule-based modeling formalism to model biochemical reaction networks. This repository contains ... external domain-specific language using ANTLR4. Various simulators are available to execute models stochastically (using...
  • Meta Model Isabelle

  • Referenced in 1 article [sw28588]
  • class models, B-machines, ..., and generally speaking, any domain-specific languages whose abstract syntax ... purposes while being based on a formal model on which properties of the package...