• Matlab

  • Referenced in 13544 articles [sw00558]
  • level language and interactive environment for numerical computation, visualization, and programming. Using MATLAB ... create models and applications. The language, tools, and built-in math functions enable...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • Clickable Math™ tools to a sophisticated programming language. Using the smart document environment provided...
  • HOL

  • Referenced in 591 articles [sw05492]
  • programming environment in which theorems can be proved and proof tools implemented. Built-in decision ... Oracle mechanism gives access to external programs such as SAT and BDD engines...
  • XFEM

  • Referenced in 382 articles [sw01026]
  • finite element code. The programming environment provides a robust tool for extended finite element (XFEM...
  • CUDA

  • Referenced in 1325 articles [sw03258]
  • NVIDIA® CUDA® Toolkit provides a comprehensive development environment for C and C++ developers building ... tools for debugging and optimizing the performance of your applications. You’ll also find programming...
  • Python

  • Referenced in 2091 articles [sw14460]
  • wide variety of systems. Using third-party tools, such as Py2exe or Pyinstaller, Python code ... packaged into stand-alone executable programs for some of the most popular operating systems, allowing ... Python-based software for use on those environments without requiring the installation of a Python...
  • DrScheme

  • Referenced in 29 articles [sw01265]
  • environment is also useful for professional programmers, due to its sophisticated programming tools, such ... units and mixins. Beyond the ordinary programming environment tools, DrScheme provides an algebraic stepper ... static debugger. The stepper reduces Scheme programs to values, according to the reduction semantics...
  • SifDec

  • Referenced in 216 articles [sw04087]
  • allow simultaneous multi-platform installation, new tools for, and interfaces to, optimization packages ... automated installation procedure for unix systems. The environment is fully backward compatible with its predecessor ... Programming Interface. The SIF decoder, formerly a part of CUTE, has become a separate tool...
  • C-XSC

  • Referenced in 110 articles [sw00181]
  • programming environment for verified scientific computing and numerical data processing. C-XSC is a tool ... classes. Thus, C-XSC allows high-level programming of numerical applications...
  • ROSETTA

  • Referenced in 24 articles [sw10969]
  • given. The GUI offers an environment wherein the fundamental tools furnished by the kernel ... previous research on providing tools and programming environments for process-oriented synthesis of logic programs...
  • KRAKATOA

  • Referenced in 89 articles [sw03159]
  • KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML. We describe ... basic structure of an environment for proving JAVA programs annotated with JML specifications. Our method ... involves three distinct components: the WHY tool, which computes proof obligations for a core imperative...
  • Visual C++

  • Referenced in 87 articles [sw03519]
  • development environment (IDE) product from Microsoft for the C, C++, and C++/CLI programming languages ... features tools for developing and debugging C++ code, especially code written for the Microsoft Windows...
  • SWI-Prolog

  • Referenced in 48 articles [sw20950]
  • development tools: PlDoc (a literate programming documentation system) and PlUnit (a unit testing environment ... present SWI-Prolog as an integrating tool, supporting a wide range of ideas developed...
  • NetLogo

  • Referenced in 117 articles [sw09150]
  • multi-agent programming language and modeling environment for simulating complex phenomena. It is designed ... paper we focus on NetLogo as a tool for research and for teaching...
  • OMNet++

  • Referenced in 67 articles [sw04170]
  • graphical runtime environment, and a host of other tools. There are extensions for real-time ... simulation, network emulation, alternative programming languages (Java, C#), database integration, SystemC integration, and several other...
  • GenStat

  • Referenced in 76 articles [sw10667]
  • GenStat as an all embracing data analysis tool, offering ease of use via our comprehensive ... sophisticated programming language. All this is available in one focussed environment that encourages prototyping...
  • SOM

  • Referenced in 60 articles [sw07375]
  • MATLAB is a magnificient computing environment, but the tools in its neural networks toolbox ... other hand, the freeware SOM program package SOM_PAK is all well and good ... nearly as flexible as the MATLAB environment. So the plan was to offer a simple...
  • DART

  • Referenced in 74 articles [sw07260]
  • automated random testing. We present a new tool, named DART, for automatically testing software that ... interface of a program with its external environment using static source-code parsing; (2) automatic...
  • IPSEN

  • Referenced in 20 articles [sw02118]
  • concepts, languages, methods, and tools in the areas Requirements Engineering, Programming in the Large ... process of developing integrated software development environments. As a prerequisite, it is necessary to state ... languages used in software engineering before tools can be built. The main results ... Environment. Language development takes place mainly in the areas of Requirements Engineering and Programming...
  • Java-MOP

  • Referenced in 21 articles [sw14034]
  • monitoring oriented programming environment for Java. A Java-based tool-supported software development and analysis...