
COBOL
 Referenced in 233 articles
[sw01228]
 COBOL (/ˈkoʊbɒl/, an acronym for common businessoriented...

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 opensource software tool...

DPPN
 Referenced in 6 articles
[sw03466]
 Oneplayer decision process: towards a game theory...

Haskell
 Referenced in 846 articles
[sw03521]
 Haskell is a standardized, generalpurpose purely functional...

Eiffel
 Referenced in 290 articles
[sw03522]
 Eiffel is an ISOstandardized, objectoriented 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 NPhard problems...

CompEcon
 Referenced in 49 articles
[sw04789]
 CompEcon is a set of MATLAB functions for...

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...