• Matlab

  • Referenced in 11784 articles [sw00558]
  • data, develop algorithms, and create models and applications. The language, tools, and built-in math ... faster than with spreadsheets or traditional programming languages, such as C/C++ or Java ... communications, image and video processing, control systems, test and measurement, computational finance, and computational biology...
  • ACL2

  • Referenced in 276 articles [sw00060]
  • both a programming language in which you can model computer systems and a tool...
  • UNITY

  • Referenced in 173 articles [sw13461]
  • evaluate UNITY -- a computational model, specification language and proof system defined by Chandy and Misra ... distributed programs -- as a platform for simulation model specification and analysis. We describe a UNITY...
  • NAG

  • Referenced in 374 articles [sw00610]
  • your model. The NAG Library is available for use with many programming languages ... many platforms and operating systems. For more specific product information, library content and availability click...
  • DYNAMO

  • Referenced in 250 articles [sw01227]
  • DYNAmic MOdels) was a simulation language and accompanying graphical notation developed within the system dynamics...
  • PERL

  • Referenced in 260 articles [sw01225]
  • with difficulty) by programming in the C language or one of the shells. While this ... operating system, Perl runs on several other operating systems, and provides a portable model...
  • Julia

  • Referenced in 227 articles [sw13986]
  • programming language techniques. A design based on generic functions and a rich type system simultaneously ... enables an expressive programming model and successful type inference, leading to good performance...
  • Modelica

  • Referenced in 87 articles [sw04352]
  • available, object-oriented language for modeling of large, complex, and heterogeneous systems. It is suited...
  • BIOCHAM

  • Referenced in 40 articles [sw09927]
  • systems biology, with some unique features for static analysis or for inferring unknown model parameters ... composed of : a rule-based language for modeling biochemical systems (compatible with SBML); several simulators ... based language to formalize the temporal properties of a biological system and validate models with...
  • SystemC

  • Referenced in 41 articles [sw07807]
  • practical uses of the language for modeling real systems. The wealth of examples and downloadable ... through the finer points of the SystemC language. par This work provides: A step...
  • SysML

  • Referenced in 22 articles [sw09155]
  • specifications, and resources related to the Systems Modeling Language (SysML) open source specification project, founded...
  • PMaude

  • Referenced in 29 articles [sw08422]
  • rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based ... programming language. Furthermore, we provide tool support for performing discrete-event simulations of models written ... statistically analyzing various quantitative aspects of such models based on the samples that are generated ... distributed and concurrent communication protocols can be modelled using actors (concurrent objects with asynchronous message...
  • Miranda

  • Referenced in 150 articles [sw04986]
  • modelled on those of the earlier languages SASL and KRC. To arrive at a system...
  • LISP-STAT

  • Referenced in 115 articles [sw01111]
  • portable window system interface forms the basis of a dynamic graphics system that is designed ... system, the X window system, and Microsoft Windows. A prototype-based object-oriented programming system ... system and to allow it to be customized and adapted. The object-oriented programming system ... linear models. Many aspects of the system design were motivated by the S language...
  • MOSEL

  • Referenced in 23 articles [sw30205]
  • computer, communication, and manufacturing systems. The modeling language is the central part of the MOSEL...
  • Möbius

  • Referenced in 24 articles [sw04098]
  • scientists to represent their systems in modeling languages appropriate to their problem domains, and then...
  • Rabbit

  • Referenced in 24 articles [sw01317]
  • checking tool for real-time systems. The modeling language are timed automata extended with concepts...
  • Scilab

  • Referenced in 166 articles [sw00834]
  • functions. It has a high level programming language allowing access to advanced data structures ... Tools to perform data analysis and modeling Control System Design & Analysis: Standard algorithms and tools...
  • Linda

  • Referenced in 102 articles [sw09427]
  • distributed programming language that is intended for systems programming in distributed settings generally ... particular. It differs from previous interprocess communication models in specifying that messages be added ... number of distinguishing properties of the new language, Linda, that is built around it. Linda...
  • PROMELA

  • Referenced in 30 articles [sw07635]
  • high-level specification language for modeling interactions in distributed systems, and for expressing logical correctness ... such interactions. The model checker SPIN accepts specifications written in this language ... property is valid in the given system, or it generates a counterexample that shows that...