Results 1 to 20 of 48
Sort by:

  • StateFlow
  • Referenced in 39 articles [sw04350]
  • tabular representations, including state transition diagrams, flow charts, state transition tables, and truth tables...

  • VAMPIR
  • Referenced in 20 articles [sw09406]
  • variety of graphical views, e.g., state diagrams, activity charts, time-line displays, and statistics. Moreover...

  • PEARL
  • Referenced in 4 articles [sw02990]
  • since Timed State Transition Diagrams and State Chart Diagrams share great similarity, an interface...

  • SimplexNumerica
  • Referenced in 0 articles [sw06023]
  • kinds of ways. SimplexNumerica can create etailed charts, graphs and all kinds of visual utilities ... state-of-the-art UI which offers guidelines with Ribbonbars , context dialogs and interactive diagrams...

  • Mathematica
  • Referenced in 5957 articles [sw00554]
  • Almost any workflow involves computing results, and that...

  • Matlab
  • Referenced in 12309 articles [sw00558]
  • MATLAB® is a high-level language and interactive...

  • NAG
  • Referenced in 417 articles [sw00610]
  • Produced by experts for use in a variety...

  • R
  • Referenced in 8601 articles [sw00771]
  • R is a language and environment for statistical...

  • rbMIT
  • Referenced in 140 articles [sw00784]
  • The rbMIT © MIT Software package implements in Matlab...

  • Scilab
  • Referenced in 167 articles [sw00834]
  • Scilab includes hundreds of mathematical functions. It has...

  • ALGOL 68
  • Referenced in 291 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...

  • Kronos
  • Referenced in 263 articles [sw01270]
  • KRONOS is a tool developed with the aim...

  • Smalltalk
  • Referenced in 190 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...

  • HiVy
  • Referenced in 2 articles [sw01933]
  • The HiVy toolset provides model checking for statecharts...

  • LOTOS
  • Referenced in 152 articles [sw02961]
  • Introduction to the ISO specification language LOTOS. LOTOS...

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

  • UCI-ml
  • Referenced in 3100 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...

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

  • Mathcad
  • Referenced in 133 articles [sw04210]
  • PTC Mathcad is the Industry Standard Software for...