Е. Е. Карпович
Список книг автора Е. Е. КарповичМетоды тестирования и отладки программного обеспечения
В учебнике рассмотрены традиционные методы тестирования программного обеспечения, рассматривающие программу как «белый ящик» или как «черный ящик», описана организация процесса тестирования в жизненном цикле программного обеспечения. Рассмотрены особенности объектно-ориентированного тестирования и методы регрессионного тестирования, а также методы и средства отладки программ. Учебник предназначен для студентов, обучающихся в бакалавриате по направлению подготовки 09.03.01 «Информатика и вычислительная техника».
Языки программирования интеллектуальных систем
В учебнике рассматриваются вопросы проектирования интеллектуальных систем с использованием языков искусственного интеллекта и инструментальных средств поддержки их разработки. Описаны особенности жизненного цикла программного обеспечения интеллектуальных систем, модели представления знаний в интеллектуальных системах, языки программирования систем искусственного интеллекта, такие как языки Prolog, LISP и CLIPS. Предназначен для студентов, обучающихся в бакалавриате и магистратуре по направлениям подготовки 09.03.01 и 09.04.01 «Информатика и вычислительная техника».