• HDL Coder

  • Referenced in 2 articles [sw14219]
  • hardware resource utilization estimates. HDL Coder provides traceability between your Simulink model and the generated...
  • UNICASE Trace Client

  • Referenced in 1 article [sw07899]
  • constantly making progress in their efforts towards traceability in software development. One challenge faced ... medium enterprises (SMEs) is to create traceability links between requirements and code...
  • PROMETHEE

  • Referenced in 1 article [sw15624]
  • modelling software incorporating a high degree of traceability, quality and ergonomics. The Prométhée software environment ... over all available computing resources. Archiving and traceability of all computations performed. Resistance to network...
  • Morpheo

  • Referenced in 1 article [sw19661]
  • Morpheo: Traceable Machine Learning on Hidden data. Morpheo is a transparent and secure machine learning ... blockchain infrastructure, thus offering total traceability of operations. Morpheo aims at building an attractive economic...
  • UNICASE

  • Referenced in 1 article [sw07898]
  • unified model. This unified model is highly traceable by design. The UNICASE client allows...
  • Aspen InfoPlus

  • Referenced in 1 article [sw25537]
  • reduce downtime and changeovers with real-time traceability from multiple sources to create a complete...
  • GLOBALG.A.P.

  • Referenced in 1 article [sw26164]
  • Program. Reliable certification information, linked to other traceability data in the food chain...
  • FastEstimator

  • Referenced in 1 article [sw31198]
  • increases by the month, implementation, interpretation, and traceability become ever-more-burdensome challenges...
  • AtChem

  • Referenced in 1 article [sw33208]
  • AtChem code base robust, reliable and traceable. The AtChem2 code and documentation are available...
  • panelaggregation

  • Referenced in 0 articles [sw18461]
  • survey data in a speedy, re-traceable and a easily deployable way. Aggregation is substantially...
  • Coq

  • Referenced in 1807 articles [sw00161]
  • Coq is a formal proof management system. It...
  • gmp

  • Referenced in 269 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Magma

  • Referenced in 2917 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • nauty

  • Referenced in 561 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • Graphviz

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

  • Referenced in 20 articles [sw01368]
  • Metagraphs: A tool for modeling decision support systems...
  • WordNet

  • Referenced in 393 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • ArchJava

  • Referenced in 19 articles [sw01803]
  • Software architecture describes the structure of a system...