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