Автори: Лаврищева Е. М.

Анотація: У монографії систематизовані і викладені теорія, інженерія та практика сучасних методів програмування. Визначені основи методів інтеграції і перетворення різномовних програм і даних, розглянуті методи специфікації і доведення програм, верифікації і тестування з метою оцінювання їх надійності і якості, а також представлені методи інженерії планування та керування програмними проектами.Показані останні наукові і практичні досягнення у галузі програмування, визначено базис інженерії застосувань і предметних областей, представлено комплексний підхід до вирішення питань, що виникають при реалізації програмних проектів. Наведені перспективи розвитку програмування і інженерії предметних областей.

ISBN 978-966-00-0614-4

Тираж: 300