Методы программирования. Теория, инженерия, практика

Методы программирования. Теория, инженерия, практика — Систематизированы и изложены теория, инженерия и практика современных методов программирования. Определены основы методов интеграции и преобразования разноязыковых программ и данных, рассмотрены методы спецификации и доказательства программ, верификации и тестирования в целях оценивания надежности и качества, а также представлены методы инженерии планирования и управления программными проектами.
Показаны последние научные и практические достижения в области программирования, определен базис инженерии приложений и предметных областей, представлен комплексный подход к решению вопросов, возникающих при реализации программных проектов. Приведены перспективы развития программирования и инженерии предметных областей.
Для исследователей, разработчиков и менеджеров коллективов программистов, желающих ознакомиться с систематизированными знаниями по современной теории, инженерии и практике программирования и управления программными проектами, также для преподавателей информатики, которые готовят специалистов в области программной инженерии.

Название: Методы программирования. Теория, инженерия, практика
Автор: Лаврищева Е. М.
Издательство: Наукова думка
Год: 2006
Страниц: 454
Формат: PDF