DictionaryForumContacts

   Russian
Terms containing методы верификации программного обеспечения | all forms | in specified order only
SubjectRussianEnglish
progr.методы верификации программного обеспеченияsoftware verification methods (ssn)
softw.на основе методов формальной верификации программного обеспеченияbased on formal methods (Alex_Odeychuk)
progr.обзор методов верификации программного обеспеченияreview of software verification methods (ssn)
progr.применение методов формальной верификации программного обеспечения промышленного назначенияindustrial use of formal methods (корпорации AdaCore Alex_Odeychuk)