Сравнительный анализ библиотек, поддерживающих контрактное программирование
Использование библиотек Code Contracts, Contract++, PhpDeal, Cerny.js и jContractor для реализации принципов контрактного программирования. Применение аналитической иерархической процедуры Саати для проведения сравнительного анализа программных продуктов.
Подобные документы
Средства языка программирования. Описание и исследование наиболее наглядной задачи динамического программирования - алгоритма поиска кратчайшего пути. Проблемы реализации и использовании современного подхода к задачам динамического программирования.
курсовая работа, добавлен 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Основные понятия теории оптимизации. Применение оптимального программирования. Общий вид задачи линейного программирования. Геометрия задачи линейного программирования. Пошаговый процесс нахождения оптимального решения. Аналитическая методика Купманса.
шпаргалка, добавлен 06.05.2009Анализ особенностей обоснования выбора языка программирования. Характеристика аспектов практической реализации алгоритма сортировки данных. Исследование основ метода сортировки Хоара. Рассмотрение его реализации на процедурном языке программирования.
контрольная работа, добавлен 19.05.2014Влияние различных нормативных документов на проектирование и программирование программных продуктов и различных веб-порталов. Применение стандартов для реализации большинства web-проектов, которые находятся в открытом доступе, и доступны для скачивания.
статья, добавлен 03.03.2018Основные различия в аппаратных и программных средствах вычислительной машины. История современных языков программирования. Прикладные программы подготовки текстов. Процедуры исправления текста корректурными знаками и в текстовом редакторе компьютера.
реферат, добавлен 28.09.2018Общая характеристика и структура предприятия. Использование теории графов для анализа сети и составление ее схемы. Нахождение минимального пути по алгоритму Краскала. Построение и структура матрицы инцидентности. Задача линейного программирования.
курсовая работа, добавлен 30.05.2014Структурные методы программирования. Нисходящее и восходящее программирование. Программирование с использованием пошаговой детализации. Основные понятия и определения модульного программирования. Объектно-ориентированный подход в программировании.
реферат, добавлен 26.09.2009Задачи и этапы кластерного анализа. Цели кластеризации для выработки рекомендаций. Сравнительный анализ иерархических и неиерархических методов кластеризации. Обзор существующих систем кластеризации, сеточные алгоритмы. Выбор языка программирования.
дипломная работа, добавлен 21.05.2016Характеристика двух графических систем DirectX и OpenGL, которые используются для написания приложений, использующих мощный графический интерфейс. Сравнительный анализ основных возможностей каждой из них. Использование дополнительных библиотек OpenGL.
научная работа, добавлен 16.12.2020Определение значения учета горюче-смазочных материалов, как одного из основных процессов на каждом предприятии. Рассмотрение интегрального показателя качества для программных продуктов учета. Исследование и анализ качеств функциональных возможностей.
статья, добавлен 11.03.2019Сравнение производительности популярных языков программирования, на которых создаются клиент-серверные приложения. Использование тестов для сравнения результатов времени выполнения и используемых ресурсов. Тестирование спектральной нормы матрицы.
статья, добавлен 20.08.2018Моделирование потребительских характеристик готовых изделий, прогнозирование их функционально-технологических характеристик на стадии составления рецептурных смесей. Автоматизация процесса производства от убоя скота до реализации готовой продукции.
статья, добавлен 01.03.2019Автоматизация управления и учета на базе программных продуктов 1С. Разработка и внедрение на предприятиях собственной конфигурации программы. Анализ и выявление "слабых" сторон в организации бизнес-процесса "Сопровождение программных продуктов 1С".
курсовая работа, добавлен 30.01.2014