Pull to refresh
0
0
Send message
Расскажите пожалуйста, для решения какой прикладной задачи вам понадобился linked list? Сравнивали ли полученное решение с решением на стандартном массиве? В целом название статьи предполагает ответ на этот вопрос.

Practical TLA+ отлично подошла на роль методички!!!

Благодарю за развернутый ответ! Мне важно было услышать, что в эту сторону имеет смысл двигаться, в том числе если в проектах основная сложность в бизнес логике, а не в алгоритмах.

Это первая моя статья из цикла, призванного привлечь внимание разработчиков и менеджеров к инженерному подходу к разработке ПО. В последнее время он незаслуженно обойдён вниманием, несмотря на революционные изменения в подходе и инструментах поддержки.


Моя мотивация для погружения в тему — это то, что мне импонирует подобный подход к задачам. Пока что мне не удалось вызвать интерес к этому ни у одного из коллег (объяснял, кидал ссылки на статьи). Типичный ответ — напишем примерные требования максимум, тесты напишем, разве мало? Планирую погрузиться в данную тему (через приведенную вами литературу и сторонние ресурсы) и все проверить на личном опыте, только так думаю смогу получить сторонников)).
Тут я думаю можно провести аналогию с университетским курсом: у студента конечно есть исчерпывающая информация в Фихтенгольце, но все хотят тоненькую методичку с конкретными первыми шагами, он их посмотрит, решит задачки, а там может и Фихтенгольца откроет.
Например, что мне выбрать TLA+ или Alloy? А где будет храниться спецификация? Прямо в проекте или отдельно? Спецификацию пишут на функцию, класс или в отдельных случаях лишь на модуль (если функции и классы малы и понятны)? Было бы здорово, если бы вы помогли сделать первые шаги, как это делают современные курсы по обучению. Это вызовет интерес и далее человеку будет гораздо проще двигаться.

П.С. Разрабатываемый умный дом базируется на open source технологии z-wave и проприетарном контроллере. Сейчас находится на стадии когда команду придавил обрушивающийся сверху фунционал, который был создан в лучшем стиле ремесленной разработки. У меня есть данные по проекту, было бы интересно посмотреть, как можно было бы ускорить разработку, если применять инженерный подход.

Спасибо за статью! В последнее время попадаются статьи на хабре, обосновывающие пользу спеков и моделей. Много слов сказано про новое ПО, которое удешевит инженерный подход. Но все примеры которые я нахожу связаны с довольно узким спектром задач. В большинстве проектов в IT и алгоритмы то никакие не используются, не считая библиотечных.
Можете сказать, насколько реально и целесообразно на данный момент использование данного подхода, скажем в обычном клиент — серверном решении (мобилка + сервер, например). Например, клиент запросил сервис по доставке еды — имеет в этом случае писать спеки и создавать модели?
Или, скажем, чуть более сложный заказ: клиент хочет разработать систему умного дома, имеет ли это смысл в этом случае? Если да, то можно ли увидеть пример?
Создание математической модели для алгоритма это одно, у тебя есть входные параметры, их область применения, это все очень похоже на математику и ее теоремы. А вот с бизнес логикой, где много висящих хвостов, ad hoc параметров все выглядит иначе.

Information

Rating
Does not participate
Registered
Activity