С Новым годом! Форум программистов, компьютерный форум, киберфорум
Разработка и тестирование
Войти
Регистрация
Восстановить пароль
Карта форума Темы раздела Блоги Сообщество Поиск Заказать работу  
Другие темы раздела
Разработка ПО Не настраивается Visual Studio 2005 proffesional Здоров, народ!!! У меня такая проблема: Начинаю настраивать Visual Studio 2005 proffesional, сначала выполняется копирование файлов с диска, а потом говорит вставьте диск Visual Studio 2005, хотя настройка производится с диска... Кто-то может помочь? (fighter.nazarov@gmail.com)//// заранее спасибо https://www.cyberforum.ru/ development/ thread203468.html Сравненительная оценка 2х программ Разработка ПО
Добрый день. Есть задача написать статью по сравнительному анализу 2х программ по производительности, быстродействию, etc. Но я не знаю, с какой стороны подходить к этому. Никто случайно не сталкивался с такой проблемой? Подскажите пожалуйста, лучше было бы пример конечно увидеть.
Разработка ПО Выбор системы контроля версий https://www.cyberforum.ru/ development/ thread197351.html
Здравствуйте. На данный момент я не знаком не с какой системой контроля версий. Для саморазвития хотел разобраться что это такое и как с ней работать. Я работаю в небольшой Web-студии программистом. Подскажите пожалуйста какая систему контроля версий на данный момент 1) наиболее распространёна? 2) какую проще всего освоить новичку? Пишу в NetBeans.
Разработка ПО Как переименовать портал в TFS https://www.cyberforum.ru/ development/ thread190401.html
Добрый день. Помогите, пожалуйста, решить проблему. В разработке, для контроля версии, используем TFS 2010, так же есть портал с проектами, появилась необходимость переименовать портал, потратил дня два, но ничего не вышло. Получается, только создать новый портал и добавлять туда новые проекты. Кто знает, как переименовать портал или у кого есть идеи, пожалуйста, отпишитесь. Заранее спасибо.
Архитектура. Разработка ПО
Подскажите среду для UML моделирования, которая адекватно печатает диаграмму классов и литературу по UML.
Разработка ПО Novell выпускает среду Mono 2.8 Программисты из проекта создания открытой среды Mono сообщили о выходе версии 2.8 своей разработки. Mono представляет собой Linux-вариант веб-среды, позволяющей работать с приложениями .Net, изначально созданными для ОС Windows Server. В новой версии появилась полная поддержка версии 4.0 популярного языка разработки .Net-приложений Microsoft C#, а также были внесены изменения в LLVM-бекэнд и... https://www.cyberforum.ru/ development/ thread174884.html
Разработка ПО BPWin аналоги https://www.cyberforum.ru/ development/ thread174039.html
Подскажите пожалуйста аналоги для BPWin которые поддерживают нотации IDEF 0 и DFD(Гейна-Сарсона или Йордона-Де Марко) желательно бесплатные =) заранее спасибо
Разработка ПО Виртуальный метод в Rational Rose 7.0
Подскажите, пожалуйста, как там обозначить виртуальный метод?
Разработка ПО На чем писать и какую бд использовать? Здравствуйте, в этом году я буду писать курсовой проект, который в последствии, после завершении разработки, хочу использовать как коммерчерское решение. Передо мной стоит вопрос на где писать (Delphi, C++, Java, соответственно CodeGear RAD Studio и NetBeans) и какую Бд использовать MySQL или Oracle, чтобы удовлетворить цели проекта и не нарушить лецензию, а так же чтобы совместить программу и... https://www.cyberforum.ru/ development/ thread171876.html Разработка ПО Существует ли ПО для объектно-ориентированного проектирования? https://www.cyberforum.ru/ development/ thread171155.html
Доброое время суток форумчанам. Я почитал Буча, прям подсел на предложенные им методы, и сейчас у мя очень интеерсный проет. Нужно осуществить объекно-ориентированное проектирование для ПО, которое пишу. Мне бы очень хотелось знать - существует ли ПО, которое бы позволяло проектировать ПО. То есть позволяла бы создавать различные модели взаимодействия различных классов на различных уровнях...
SilkTest Разработка ПО
Посоветуйте учебник по SilkTest, если можно киньте ссылки, а то етот онлайн немного древний, под 10-м СилкТест-ом никак не разберусь
Разработка ПО Windows Mobile - программирование без .NET Framework https://www.cyberforum.ru/ development/ thread164867.html
Нужна среда разработки приложений под Windows Mobile. Обязательное требование - поддержка разработки без Microsoft .NET Framework. Добавлено через 18 часов 20 минут ну очень надо, помогите пожалуйста!!!!!:swoon:
Эксперт С++
2924 / 1274 / 114
Регистрация: 27.05.2008
Сообщений: 3,465
24.03.2011, 10:09 0

Принципы отладки программных продуктов - Разработка ПО - Ответ 1481172

24.03.2011, 10:09. Показов 2760. Ответов 5
Метки (Все метки)

Ответ

Цитата Сообщение от Kami-sama Посмотреть сообщение
Для алгоритмов прошедших формальную верификацию потребности в "отладке" не возникает.
Это, конечно же, верно. Проблема только в том, что декларатив хорош для тривиальных задачек в стиле "прочитали цифирки из одного файла - посчитали по умопомрачительно сложному, но формально верифицированному алгоритму - записали цифирки в другой файл, готово!". Для любой же реальной более-менее сложной задачи трудоемкость этой самой формальной верификации получается сущееееественно выше трудоемкости традиционной отладки.......

Вернуться к обсуждению:
Принципы отладки программных продуктов Разработка ПО
0
Заказать работу у эксперта
cpp_developer
Эксперт
20123 / 5690 / 1417
Регистрация: 09.04.2010
Сообщений: 22,546
Блог
24.03.2011, 10:09
Готовые ответы и решения:

Применение файлов при создании программных продуктов
Нужно создать прогу,которая позволяет сформулировать одномерный числовой массив из 20 элементов....

Применение файлов при создании программных продуктов
Разработать приложение для работы с файлами. Добавить на форму объекты для ввода/вывода данных, а...

Обновления windows 7 для других программных продуктов
Ребята помогите пожалуйста. Не помню как сделать, что б винда обновляла и другие программные...

Распознавание ОС устаревшей или ложной активации программных продуктов
Ставить или не ставить новую Windows личное дело каждого пользователя. Microsoft нам лихо...

5
24.03.2011, 10:09
raxper
Эксперт
30234 / 6612 / 1498
Регистрация: 28.12.2010
Сообщений: 21,154
Блог
24.03.2011, 10:09
Помогаю со студенческими работами здесь

Инженер-программист в компанию-разработчик программных продуктов для метрологических служб
Инженер-программист в компанию-разработчик программных продуктов для метрологических служб ...

Принципы отладки в MVS 2012
Привет киберфорумцы! Подскажите пожалуйста, как в режиме отладки путешествовать только по...

БД по "отладки программных систем"
Пользовался поиском - не нашел ничего, мб хреного его использовал. Задача: Разработать...

Обработка программных прерываний...
Всем привет! выполняем лабораторные работы на MASMe, преподаватель дал задание, уже второй день не...

0
Блоги программистов
Как перейти с Options API на Composition API в Vue.js
BasicMan 06.01.2025
Почему переход на Composition API актуален В мире современной веб-разработки фреймворк Vue. js продолжает эволюционировать, предлагая разработчикам все более совершенные инструменты для создания. . .
Архитектура современных процессоров
inter-admin 06.01.2025
Процессор (центральный процессор, ЦП) является основным вычислительным устройством компьютера, которое выполняет обработку данных и управляет работой всех остальных компонентов системы. Архитектура. . .
История создания реляционной модели баз данных, правила Кодда
Programming 06.01.2025
Предпосылки создания реляционной модели В конце 1960-х годов компьютерная индустрия столкнулась с серьезными проблемами в области управления данными. Существовавшие на тот момент модели данных -. . .
Полезные поделки на Arduino, которые можно сделать самому
raxper 06.01.2025
Arduino как платформа для творчества Arduino представляет собой удивительную платформу для технического творчества, которая открывает безграничные возможности для создания уникальных проектов. Эта. . .
Подборка решений задач на Python
IT_Exp 06.01.2025
Целью данной подборки является предоставление возможности ознакомиться с различными задачами и их решениями на Python, что может быть полезно как для начинающих, так и для опытных программистов. . . .
С чего начать программировать микроконтроллер­­ы
raxper 06.01.2025
Введение в мир микроконтроллеров Микроконтроллеры стали неотъемлемой частью современного мира, окружая нас повсюду: от простых бытовых приборов до сложных промышленных систем. Эти маленькие. . .
Из чего собрать игровой компьютер
inter-admin 06.01.2025
Сборка игрового компьютера требует особого внимания к выбору комплектующих и их совместимости. Правильно собранный игровой ПК не только обеспечивает комфортный геймплей в современных играх, но и. . .
Обновление сайта www.historian.b­y
Reglage 05.01.2025
Обещал подвести итоги 2024 года для сайта. Однако начну с того, что изменилось за неделю. Добавил краткий урок по последовательности действий при анализе вредоносных файлов и значительно улучшил урок. . .
Как использовать GraphQL в C# с HotChocolate
Programming 05.01.2025
GraphQL — это современный подход к разработке API, который позволяет клиентам запрашивать только те данные, которые им необходимы. Это делает взаимодействие с API более гибким и эффективным по. . .
Модель полного двоичного сумматора с помощью логических операций (python)
AlexSky-coder 04.01.2025
def binSum(x:list, y:list): s=^y] p=x and y for i in range(1,len(x)): s. append((x^y)^p) p=(x and y)or(p and (x or y)) return s x=list() y=list()
Это мы не проходили, это нам не задавали...(аси­­­­­­­­­­­­­­хро­н­н­ы­й счётчик с управляющим сигналом задержки).
Hrethgir 04.01.2025
Асинхронный счётчик на сумматорах (шестиразрядный по числу диодов на плате, но наверное разрядов будет больше - восемь или шестнадцать, а диоды на старшие), так как триггеры прошли тестирование и. . .
Руководство по созданию бота для Телеграм на Python
IT_Exp 04.01.2025
Боты для Телеграм представляют собой автоматизированные программы, которые выполняют различные задачи, взаимодействуя с пользователями через интерфейс мессенджера. В данной статье мы рассмотрим,. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2025, CyberForum.ru