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