Сравнительный анализ библиотек, поддерживающих контрактное программирование

Использование библиотек Code Contracts, Contract++, PhpDeal, Cerny.js и jContractor для реализации принципов контрактного программирования. Применение аналитической иерархической процедуры Саати для проведения сравнительного анализа программных продуктов.

Подобные документы

  • Исследование истории возникновения и классификации языков программирования. Характеристика структуры и способов описания языков программирования высокого уровня в их реализации на Паскале. Анализ требований к качеству прикладных и системных программ.

    курсовая работа, добавлен 28.12.2010

  • Средства языка программирования. Описание и исследование наиболее наглядной задачи динамического программирования - алгоритма поиска кратчайшего пути. Проблемы реализации и использовании современного подхода к задачам динамического программирования.

    курсовая работа, добавлен 05.04.2020

  • Цели и задачи автоматизации библиотек. Общие принципы создания автоматизированных библиотечно-информационных систем. Создание электронного каталога. Формирование фонда новых носителей информации. Ускорение процессов обработки и преобразование данных.

    дипломная работа, добавлен 21.05.2015

  • Обзор технологии Text Mining. Алгоритмы для многоклассовой классификации текстов для выделения тега. Моделирование нейронной сети с использованием среды программирования Python для анализа данных и построения предсказательных моделей и библиотек.

    дипломная работа, добавлен 07.09.2018

  • Изучении концепции создания средств разработки программных продуктов, уделяющей особое внимание быстроте и удобству программирования, созданию технологического процесса, позволяющего программисту максимально быстро создавать компьютерные программы.

    реферат, добавлен 28.12.2020

  • Рассмотрение цифровой системы управления на основе интеграции математических и схемотехнических программных средств. Создание библиотек программных моделей. Микросхемы, специализированные для цифрового управления преобразовательными устройствами.

    статья, добавлен 27.02.2019

  • Теоретические основы библиотечно-информационного обслуживания подростков и юношества. Опыт зарубежных библиотек и библиотек России по развитию интереса к чтению среди подростков и юношества. Обучающие и развивающие формы библиотечной работы с молодёжью.

    курсовая работа, добавлен 12.07.2020

  • Оценка ряда программных платформ для решения задачи выбора наиболее оптимальных из них в целях организации электронной торговой площадки. Аналитическая процедура Саати, используемая для определения весовых коэффициентов критериев качества программ.

    статья, добавлен 20.07.2018

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

    презентация, добавлен 06.04.2019

  • Основные понятия динамического программирования, классические методы анализа или вариационного исчисления. Общая постановка задачи динамического программирования. Геометрическая интерпретация задачи программирования (область возможных состояний).

    лекция, добавлен 14.11.2014

  • Применение объектно-ориентированного подхода к проектированию программных продуктов. Особенность исследования основных языков программирования. Главные характеристики продукта Delphi. Исследование масштабируемых средств для построения баз данных.

    лекция, добавлен 03.03.2018

  • Понятия о компьютерной безопасности. Компъютерные вирусы, их типы, три рубежа и три метода защиты. Использование антивирусных программных продуктов. Предотвращение или минимизация разрушительных последствий, отложенная обработка опасных объектов.

    курсовая работа, добавлен 04.04.2009

  • Анализ web-систем для проведения социологических опросов. Сравнение программных продуктов, его критерии (отчетность, импорт, экспорт анкет, удобство их формирования, оценивания, распространения). Показатель качества, превышающий базовое значение.

    статья, добавлен 20.07.2018

  • Машинный код процессора компьютера. Алгоритм и программа. Сущность и особенности языков программирования. Основные задачи и функции компиляторов и интерпретаторов. Уровни и поколения языков программирования: баз данных, для Интернета. Языки моделирования.

    реферат, добавлен 29.06.2012

  • Анализ особенностей обоснования выбора языка программирования. Характеристика аспектов практической реализации алгоритма сортировки данных. Исследование основ метода сортировки Хоара. Рассмотрение его реализации на процедурном языке программирования.

    контрольная работа, добавлен 19.05.2014

  • Основные понятия теории оптимизации. Применение оптимального программирования. Общий вид задачи линейного программирования. Геометрия задачи линейного программирования. Пошаговый процесс нахождения оптимального решения. Аналитическая методика Купманса.

    шпаргалка, добавлен 06.05.2009

  • Влияние различных нормативных документов на проектирование и программирование программных продуктов и различных веб-порталов. Применение стандартов для реализации большинства web-проектов, которые находятся в открытом доступе, и доступны для скачивания.

    статья, добавлен 03.03.2018

  • Основные различия в аппаратных и программных средствах вычислительной машины. История современных языков программирования. Прикладные программы подготовки текстов. Процедуры исправления текста корректурными знаками и в текстовом редакторе компьютера.

    реферат, добавлен 28.09.2018

  • Общая характеристика и структура предприятия. Использование теории графов для анализа сети и составление ее схемы. Нахождение минимального пути по алгоритму Краскала. Построение и структура матрицы инцидентности. Задача линейного программирования.

    курсовая работа, добавлен 30.05.2014

  • Структурные методы программирования. Нисходящее и восходящее программирование. Программирование с использованием пошаговой детализации. Основные понятия и определения модульного программирования. Объектно-ориентированный подход в программировании.

    реферат, добавлен 26.09.2009

  • Задачи и этапы кластерного анализа. Цели кластеризации для выработки рекомендаций. Сравнительный анализ иерархических и неиерархических методов кластеризации. Обзор существующих систем кластеризации, сеточные алгоритмы. Выбор языка программирования.

    дипломная работа, добавлен 21.05.2016

  • Характеристика двух графических систем DirectX и OpenGL, которые используются для написания приложений, использующих мощный графический интерфейс. Сравнительный анализ основных возможностей каждой из них. Использование дополнительных библиотек OpenGL.

    научная работа, добавлен 16.12.2020

  • Сравнение производительности популярных языков программирования, на которых создаются клиент-серверные приложения. Использование тестов для сравнения результатов времени выполнения и используемых ресурсов. Тестирование спектральной нормы матрицы.

    статья, добавлен 20.08.2018

  • Определение значения учета горюче-смазочных материалов, как одного из основных процессов на каждом предприятии. Рассмотрение интегрального показателя качества для программных продуктов учета. Исследование и анализ качеств функциональных возможностей.

    статья, добавлен 11.03.2019

  • Моделирование потребительских характеристик готовых изделий, прогнозирование их функционально-технологических характеристик на стадии составления рецептурных смесей. Автоматизация процесса производства от убоя скота до реализации готовой продукции.

    статья, добавлен 01.03.2019

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.