Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-4 of 4 (Search time: 0.006 seconds).
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
2013Применение табличного алгоритма для верификации моделей бизнес-процессовIvashko, A. G.; Grigoryev, A. V.; Kropotin, A. A.; Ovsyannikova, E. O.; Ивашко, А. Г.; Григорьев, А. В.; Кропотин, А. А.; Овсянникова, Е. О.
2018Онтологический метод проверки семантической несогласованности реляционных баз данных и официальных документовKropotin, A. A.; Bidulya, Yu. V.; Ivashko, A. G.; Samoylov, M. Yu.; Кропотин, А. А.; Бидуля, Ю. В.; Ивашко, А. Г.; Самойлов, М. Ю.
2013Сокращение пространства поиска интерпретаций за счет обнаружения изоморфных концептовIvashko, A. G.; Grigoryev, A. V.; Ивашко, А. Г.; Григорьев, А. В.
2012Модификация табличного алгоритма на основе проверки непересекаемости сложных концептовIvashko, A. G.; Grigorev, A. V.; Grigoryev, M. V.; Ивашко, А. Г.; Григорьев, А. В.; Григорьев, М. В.