• Simulink

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

  • Referenced in 125 articles [sw04352]
  • Modelica is a freely available, object-oriented language...
  • SysML

  • Referenced in 23 articles [sw09155]
  • SysML Open Source Specification Project. The SysML.org web...
  • Rhapsody

  • Referenced in 2 articles [sw09456]
  • BM® Rational® Rhapsody® Architect for Software is an...
  • Specware

  • Referenced in 25 articles [sw11715]
  • Specware is a software engineering tool that automatically...