• R

  • Referenced in 8728 articles [sw00771]
  • language and environment which was developed at Bell Laboratories (formerly AT&T, now Lucent Technologies...
  • Matlab

  • Referenced in 12477 articles [sw00558]
  • environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms...
  • CUDA

  • Referenced in 1212 articles [sw03258]
  • NVIDIA® CUDA® Toolkit provides a comprehensive development environment for C and C++ developers building...
  • Coq

  • Referenced in 1818 articles [sw00161]
  • theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications...
  • Turbo Pascal

  • Referenced in 365 articles [sw16451]
  • includes a compiler and an integrated development environment (IDE) for the Pascal programming language running...
  • Visual Basic

  • Referenced in 300 articles [sw03518]
  • event-driven programming language and integrated development environment (IDE) from Microsoft for its COM programming ... from BASIC and enables the rapid application development (RAD) of graphical user interface (GUI) applications...
  • Maple

  • Referenced in 5168 articles [sw00545]
  • years of cutting-edge research and development, Maple helps you analyze, explore, visualize, and solve ... sophisticated programming language. Using the smart document environment provided by Maple, you can automatically capture...
  • Magma

  • Referenced in 2986 articles [sw00540]
  • algebraic combinatorics. It provides a mathematically rigorous environment for defining and working with structures such ... main features. One of the aims whilst developing Magma is to maintain extensive documentation describing...
  • AspectJ

  • Referenced in 130 articles [sw04426]
  • bytecode. Simple extensions to existing Java development environments make it possible to browse the crosscutting...
  • Simulink

  • Referenced in 766 articles [sw04348]
  • embedded systems. It provides an interactive graphical environment and a customizable set of block libraries ... develop algorithms, analyze and visualize simulations, create batch processing scripts, customize the modeling environment...
  • PEPA

  • Referenced in 116 articles [sw10692]
  • contribution to the Eclipse integrated development environment. The PEPA Eclipse Plug-in contains a PEPA...
  • SICStus

  • Referenced in 106 articles [sw12440]
  • overview of our new interactive development environment, and describe a sample of key applications. Finally...
  • Uppaal

  • Referenced in 635 articles [sw04702]
  • integrated tool environment for modeling, simulation and verification of real-time systems, developed jointly...
  • Bonmin

  • Referenced in 190 articles [sw04766]
  • which there is a need for developing new methods and software for solving large-scale ... ambitious project within an open-source environment ... COIN-OR is our chosen environment for the development of the optimization software. A class...
  • Visual C++

  • Referenced in 85 articles [sw03519]
  • commercial (free version available), integrated development environment (IDE) product from Microsoft ... /CLI programming languages. It features tools for developing and debugging C++ code, especially code written...
  • LabVIEW

  • Referenced in 55 articles [sw04369]
  • LabVIEW is a highly productive development environment that engineers and scientists use for graphical programming...
  • WEKA

  • Referenced in 293 articles [sw06435]
  • Environment for Knowledge Analysis. WEKA is a popular machine learning workbench with a development life...
  • RStudio

  • Referenced in 51 articles [sw10689]
  • RStudio: Integrated development environment...
  • AGG

  • Referenced in 49 articles [sw04449]
  • Grammar System: AGG is a general development environment for algebraic graph transformation systems which follows...
  • ASF+SDF

  • Referenced in 32 articles [sw11316]
  • meta-environment: A component-based language development environment. The AS+SDF Meta-environment ... interactive development environment for the automatic generation of interactive systems for constructing language definitions...