• COBOL

  • Referenced in 233 articles [sw01228]
  • COBOL (/ˈkoʊbɒl/, an acronym for common business-oriented...
  • Graphviz

  • Referenced in 82 articles [sw01283]
  • Graphviz is open source graph visualization software. Graph...
  • UEML

  • Referenced in 29 articles [sw02332]
  • UEML: towards a unified enterprise modelling language. The...
  • SPIN

  • Referenced in 711 articles [sw03455]
  • Spin is a popular open-source software tool...
  • DPPN

  • Referenced in 6 articles [sw03466]
  • One-player decision process: towards a game theory...
  • Haskell

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

  • Referenced in 290 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming...
  • CPLEX

  • Referenced in 2576 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • NuSMV

  • Referenced in 296 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • SPSS

  • Referenced in 632 articles [sw04269]
  • SPSS is a computer program used for survey...
  • Simulink

  • Referenced in 740 articles [sw04348]
  • Simulink® is an environment for multidomain simulation and...
  • YAWL

  • Referenced in 60 articles [sw04388]
  • YAWL (Yet Another Workflow Language) is a workflow...
  • LINDO

  • Referenced in 537 articles [sw04448]
  • LINDO Systems - Optimization Software: Integer Programming, Linear Programming...
  • rms

  • Referenced in 88 articles [sw04532]
  • R package rms: Regression Modeling Strategies , Regression modeling...
  • Uppaal

  • Referenced in 632 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • Genocop

  • Referenced in 1081 articles [sw04707]
  • Genocop, by Zbigniew Michalewicz, is a genetic algorithm...
  • Knapsack

  • Referenced in 463 articles [sw04723]
  • Knapsack problems are the simplest NP-hard problems...
  • XPRESS

  • Referenced in 220 articles [sw04834]
  • FICO Xpress is the premier mathematical modeling and...
  • Pyomo

  • Referenced in 44 articles [sw04910]
  • Pyomo -- optimization modeling in Python. This book provides...