• COMPOL

  • Referenced in 1 article [sw17958]
  • Findings - Its functionality may include analysis, synthesis, optimization, interpolation, and modeling of spiral inductors ... resistor (R), capacitor (C), transmission line and connector, etc. par Originality/value - This compute-online algorithm...
  • Coq

  • Referenced in 1776 articles [sw00161]
  • Coq is a formal proof management system. It...
  • MANIFOLD

  • Referenced in 30 articles [sw02900]
  • A transition system semantics for the control-driven...
  • SIGNAL

  • Referenced in 51 articles [sw02915]
  • An ML-like module system for the synchronous...
  • Haskell

  • Referenced in 842 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • Maude

  • Referenced in 657 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • Reo

  • Referenced in 81 articles [sw06353]
  • The Reo coordination language. Reo presents a paradigm...
  • Scala

  • Referenced in 85 articles [sw07180]
  • Steps in Scala. An introduction to object-functional...
  • Ptolemy

  • Referenced in 77 articles [sw07459]
  • A modular formal semantics for Ptolemy. Ptolemy is...
  • UNITY

  • Referenced in 174 articles [sw13461]
  • Simulation model development and analysis in UNITY. We...
  • Metropolis

  • Referenced in 17 articles [sw16265]
  • Metropolis: an integrated electronic system design environment. oday...
  • Esterel

  • Referenced in 162 articles [sw20012]
  • Esterel is both a programming language, dedicated to...