• CVXPY

  • Referenced in 57 articles [sw13968]
  • Convex Optimization. CVXPY is a domain-specific language for convex optimization embedded in Python...
  • CoFI

  • Referenced in 42 articles [sw01631]
  • design a coherent family of algebraic specification languages, based on a critical selection of constructs ... from the many previously-existing such languages -- without sacrificing conceptual clarity of concepts and firm ... design of CASL, the Common Algebraic Specification Language, together with its sub-languages and extensions...
  • mCRL2

  • Referenced in 54 articles [sw01496]
  • Representation Language 2. It is a specification language that can be used to specify...
  • Gmsh

  • Referenced in 672 articles [sw00366]
  • geometry, mesh, solver and post-processing. The specification of any input to these modules ... text files using Gmsh’s own scripting language...
  • IF-2.0

  • Referenced in 46 articles [sw03303]
  • toolbox contains dedicated tools on the intermediate language (such as compilers, static analysers and model ... well as front-ends to various specification languages and validation tools (academic and commercial ones ... naturally used both in specification formalisms like UML or programming languages like Java, were ... only the exploration of pure IF-1.0 specifications. This is too restrictive for complex system...
  • XQuery

  • Referenced in 124 articles [sw06669]
  • relational databases, and object repositories. A query language that uses the structure of XML intelligently ... middleware. This specification describes a query language called XQuery, which is designed to be broadly...
  • SPIRAL

  • Referenced in 46 articles [sw00903]
  • libraries). SPIRAL uses a domain specific language, based on an algebraic formulation of DSP algorithms...
  • JUnit

  • Referenced in 32 articles [sw07262]
  • tests easier. It uses a formal specification language’s runtime assertion checker to decide whether ... writing testing code, the programmer writes formal specifications (e.g., pre- and postconditions). This makes ... specification errors are quickly discovered, so the specifications are more likely to provide useful documentation ... implemented with other combinations of formal specification languages and unit test tools...
  • PMaude

  • Referenced in 30 articles [sw08422]
  • PMaude: Rewrite-based Specification Language for Probabilistic Object Systems. We introduce a rewrite-based specification ... high-level rule-based programming language. Furthermore, we provide tool support for performing discrete-event ... actor PMaude module. The module aids writing specifications in a probabilistic actor formalism. This allows ... that we also discuss. Specifically, we introduce a query language called Quantitative Temporal Expressions...
  • SHARPE

  • Referenced in 43 articles [sw03100]
  • toolkit that provides a specification language and solution methods for most of the commonly used...
  • Handel-C

  • Referenced in 44 articles [sw11988]
  • CPUs. Unlike many other design languages that target a specific architecture Handel ... compiled to a number of design languages and then synthesised to the corresponding hardware. This ... rather than the idiosyncrasies of a specific design language and architecture...
  • Spec#

  • Referenced in 122 articles [sw04598]
  • static program verifier. The language includes constructs for writing specifications that capture programmer intentions about...
  • VerICS

  • Referenced in 34 articles [sw02011]
  • written in a subset of the specification language Estelle, developed as a part ... Estelle specification, a specification in our original intermediate language (IL), or Timed Automata...
  • SAS/IML

  • Referenced in 81 articles [sw03240]
  • SAS/IML software’s interactive matrix language for more specific analysis and exploration. The fundamental data...
  • TLA

  • Referenced in 26 articles [sw04442]
  • shorthand for referring to the TLA+ specification language and the PlusCal algorithm language, together with ... with simple mathematics, and that a specification language should contain as little as possible beyond ... high-level specifications of concurrent and distributed systems. PlusCal is an algorithm language that ... programming language. A PlusCal algorithm is translated into a TLA+ specification, to which...
  • MoDeST

  • Referenced in 32 articles [sw01544]
  • influenced by popular and user-friendly specification languages such as Promela, and deals with compositionality ... provides modern and flexible specification constructs...
  • ABS

  • Referenced in 31 articles [sw21211]
  • core language for abstract behavioral specification. This ... paper presents ABS, an abstract behavioral specification language for designing executable models of distributed object...
  • PROMELA

  • Referenced in 30 articles [sw07635]
  • PROMELA. PROMELA is a high-level specification language for modeling interactions in distributed systems ... model checker SPIN accepts specifications written in this language, and it can produce automated proofs...
  • PyFR

  • Referenced in 31 articles [sw15728]
  • built domain specific language derived from the Mako templating engine...
  • HIP

  • Referenced in 27 articles [sw09786]
  • specifications of heap-manipulating programs. The specification language allows user defined inductive predicates used...