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

Киев: Наукова думка, 2006. - 452с. ISBN 978-966-00-0614-4.
В монографии систематизированы и изложены теория, инженерия и практика современных методов программирования. Определены основы методов интеграции и преобразования разноязыковых программ и данных, рассмотрены методы спецификации и доказательства программ, верификации и тестирования, а также планирования и управления программными проектами. Определен базис инженерии приложений и предметных областей.
Для исследователей, разработчиков и менеджеров коллективов программистов, желающих приобрести систематизированные знания в области теории, инженерии и практики программирования, а также для преподавателей информатики, которые готовят специалистов в области программной инженерии.