• TOMLAB

  • Referenced in 90 articles [sw04214]
  • TOMLAB is a general purpose development and modeling environment in Matlab for research, teaching ... solution of optimization problems. The TOMLAB optimization environment is flexible, easy-to-use, robust ... reliable tools to be used in the development of algorithms and software for the solution...
  • CUTEr

  • Referenced in 578 articles [sw04010]
  • CUTEr is a versatile testing environment for optimization and linear algebra solvers. The package contains ... 90/95 and Matlab tools intended to help developers design, compare and improve new and existing...
  • OPTI

  • Referenced in 30 articles [sw15090]
  • codes all accessible within the rapid development environment Matlab. The user needs not compile ... remaining in a powerful and familiar development environment...
  • CiaoPP

  • Referenced in 41 articles [sw12089]
  • Ciao multi-paradigm program development environment. CiaoPP can perform a number of program debugging, analysis...
  • Lean

  • Referenced in 39 articles [sw15148]
  • already provides many useful components, integrated development environments, and a rich API which...
  • Overture

  • Referenced in 38 articles [sw05685]
  • provides a portable, flexible software development environment for applications that involve the simulation of physical...
  • QuickBasic

  • Referenced in 32 articles [sw22810]
  • QuickBASIC (also QB) is an Integrated Development Environment (or IDE) and compiler for the BASIC...
  • KIV

  • Referenced in 51 articles [sw10060]
  • among others, in the Verificaiton Support Environment (VSE) developed for the German Information Security Agency...
  • Mosel

  • Referenced in 37 articles [sw04911]
  • Optimization, now FICO), provides a complete environment for developing, testing and deploying optimization applications. Development ... Mosel language is aided by the graphical environment Xpress-IVE, and tools such...
  • IPSEN

  • Referenced in 20 articles [sw02118]
  • Integrated, Incremental, Interactive Project Support Environment) deals with the development of concepts, languages, methods ... process of developing integrated software development environments. As a prerequisite, it is necessary to state ... development of an integrated Requirements Engineering Environment. Language development takes place mainly in the areas...
  • RRL

  • Referenced in 55 articles [sw28904]
  • Rewrite Rule Laboratory) was originally developed as an environment for experimenting with automated reasoning algorithms ... provide a brief historical account of development of RRL and its descendants, give an overview...
  • TLA

  • Referenced in 26 articles [sw04442]
  • from the Toolbox, an IDE (integrated development environment). Go to the TLA home page...
  • MATCONT

  • Referenced in 396 articles [sw00551]
  • this toolbox was to provide an interactive environment for the continuation and normal form analysis ... base of the toolbox we further developed and extended with a GUI and named MATCONT...
  • GenStat

  • Referenced in 73 articles [sw10667]
  • available in one focussed environment that encourages prototyping and development, while guiding new and less...
  • Isar

  • Referenced in 144 articles [sw04599]
  • range of automated proof methods. Interactive proof development is supported directly as well. The Isabelle ... reasonable environment for live proof document editing. Thus proof texts may be developed incrementally...
  • Jess

  • Referenced in 21 articles [sw23527]
  • Jess is a rule engine and scripting environment written entirely in Oracle’s® Java™ language ... APIs. Jess includes a full-featured development environment based on the award-winning Eclipse platform...
  • SCADE

  • Referenced in 20 articles [sw00829]
  • empowers users with a Model-Based Development Environment for critical embedded software. With native integration ... language, SCADE Suite is the integrated design environment for critical applications spanning requirements management, model ... qualifiable/certified code generation, and interoperability with other development tools and platforms...
  • Mozart

  • Referenced in 20 articles [sw04759]
  • functionality. Mozart has an interactive incremental development environment and a production-quality implementation for Unix ... sophisticated optimization and inferencing abilities. We have developed many applications including sophisticated collaborative tools, multi...
  • ELLPACK

  • Referenced in 131 articles [sw01208]
  • interactive environment, ELLPACK itself is batch oriented. With this in mind, we have developed Interactive...
  • ASPIDE

  • Referenced in 12 articles [sw06309]
  • ASPIDE: Integrated development environment for answer set programming. Answer Set Programming (ASP) is a truly ... years, several tools for ASP-program development have been proposed, including (more or less advanced ... However, ASP still lacks an Integrated Development Environment (IDE) supporting the entire life-cycle...