Programy według quantifier.sf.net

Design Quantifier (DQ) ocenia możliwość wspierania opracowanego oprogramowania poprzez inżynierię odwrotną, stosując proponowane metryki (CCD, CMD, CED, CID) do czterech różnych typów zależności, aby podkreślić mocne i słabe