Наукова періодика України Математичні машини і системи

Литвинов В. В. 
Формальная верификация диаграммы классов / В. В. Литвинов, И. В. Богдан // Математичні машини і системи. - 2013. - № 2. - С. 41-47. - Режим доступу: http://nbuv.gov.ua/UJRN/MMS_2013_2_6
Описаны наиболее популярные из существующих подходов к верификации наиболее часто используемой UML-диаграммы - диаграммы классов. Указано, что данные методы позволяют оценить ее корректность только в отдельных аспектах, и наиболее эффективным является комплексное применение данных методов.
  Повний текст PDF - 192.411 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Литвинов В.
  • Богдан И.

    • Бібліографічний опис для цитування:

    Литвинов В. В. Формальная верификация диаграммы классов / В. В. Литвинов, И. В. Богдан // Математичні машини і системи. - 2013. - № 2. - С. 41-47. - Режим доступу: http://nbuv.gov.ua/UJRN/MMS_2013_2_6.
    Додаткова інформація про автора(ів) публікації:
    (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
  • Литвинов Віталій Васильович (технічні науки)
    •   Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського