Model Oriented Approach for Industrial Software Development

Συγγραφείς: Array Валерьевич Никифоров, Array Павлович Котляров, Array В. Воинов, Array Дмитриевич Дробинцев

Πηγή: Моделирование и анализ информационных систем, Vol 22, Iss 6, Pp 750-762 (2015)

Θεματικοί όροι: model specification by control flow and data flow, substitutions saving the correctness of proved properties, 0202 electrical engineering, electronic engineering, information engineering, model verification, Information technology, 02 engineering and technology, multilevel software models, T58.5-58.64, model oriented approach

Σύνδεσμος πρόσβασης: https://www.mais-journal.ru/jour/article/download/292/293
https://doaj.org/article/35693af2f333496a8cadcad235b5204c
https://www.mais-journal.ru/jour/article/download/292/293
https://www.mais-journal.ru/jour/article/view/292