Форум Сообщества Аналитиков

Дисциплины => Проектирование => Тема начата: Galogen от 17 Сентября 2017, 19:49:01

Название: Математическое обоснование S.O.L.I.D принципов
Отправлено: Galogen от 17 Сентября 2017, 19:49:01
Предлагаю послушать и возможно подискутировать.

https://www.youtube.com/watch?time_continue=481&v=CmCEdVrZQAE

Дело сдвинулось с мертвой точки!

Сегодня узнал выходные данные своей первой статьи про математическое обоснование SOLID принципов (доклада, который я рассказываю с 2014 года - https://goo.gl/jUXeHZ).

Статья называется О формализации процесса разработки программного обеспечения. Выйдет в журнале Математические структуры и моделирование 2017. No 3(43). С. 96–107

Наследующей неделе журнал сдают в печать, а значит в октябре уже будет доступен.

На полное обоснование потребуется 4 статьи общим объемом 40-50 страниц. На публикацию уйдет год, если не будет форс-мажоров. Но это немного, учитывая, что по разным обстоятельствам я публиковал статьи 3 года.
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: Сергей() от 22 Сентября 2017, 09:43:02
Статья называется О формализации процесса разработки программного обеспечения.
А как связаны между собой SOLID-принципы и процесс разработки ПО?
Ведь SOLID-принципы, насколько я знаю, имеют отношение чисто к построению программного кода.
И с процессом разработки ПО не связаны.
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: Galogen от 22 Сентября 2017, 09:57:31
А как связаны между собой SOLID-принципы и процесс разработки ПО?
Ведь SOLID-принципы, насколько я знаю, имеют отношение чисто к построению программного кода.
И с процессом разработки ПО не связаны.
А что такое процесс разработки, как не способ преобразования сходных требований в код с заданными свойствами. В данном случае способ преобразования основывается на SOLID-принципах.
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: deather от 30 Сентября 2017, 10:10:36
В интернете нельзя будет почитать статью?

https://stroystandart.info/index.php?name=forum
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: Galogen от 30 Сентября 2017, 22:11:17
В интернете нельзя будет почитать статью?
Трудно сказать, со временем наверное можно. НО в научных кругах существует практика обращаться к автору с просьбой прислать статью для знакомства, типично автор присылает.
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: [прилетело НЛО и...] от 28 Июля 2019, 11:42:27
Статья лежит в киберленинке (https://cyberleninka.ru/article/n/o-formalizatsii-protsessa-razrabotki-programmnogo-obespecheniya.pdf). Полагаю, что при нормальном рецензировании она бы никогда не появилась в научном журнале.
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: Galogen от 29 Июля 2019, 17:05:08
Статья лежит в киберленинке (https://cyberleninka.ru/article/n/o-formalizatsii-protsessa-razrabotki-programmnogo-obespecheniya.pdf). Полагаю, что при нормальном рецензировании она бы никогда не появилась в научном журнале.
Эта статья у него не совсем ведь про SOLID, много формальных определений. На вид очень научно. А что в ней такого, что не прошло бы рецензирование?
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: [прилетело НЛО и...] от 29 Июля 2019, 18:58:37
Процесс разработки ПО <> редактирование исходного кода программы.
В общем случае, программа <> одномодульная программа.
Единоличное редактирование кода <> редактирование кода группой разработчиков.
Использование нотации из непрерывной математики (lim) неуместно в дискретном случае, где к тому же всё конечно.
Приведённые примеры не относятся напрямую к проведённой якобы формализации.
Сделанные из якобы осуществлённой формализации выводы относятся к вырожденному случаю вроде написания студентом кода в рамках упражнения практикума, но не соотносятся с индустриальным программированием, т. е. современной разработкой ПО.
Карго-научная статья.
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: Galogen от 30 Июля 2019, 11:53:52
Статья лежит в киберленинке (https://cyberleninka.ru/article/n/o-formalizatsii-protsessa-razrabotki-programmnogo-obespecheniya.pdf). Полагаю, что при нормальном рецензировании она бы никогда не появилась в научном журнале.

Появилось уточнение (https://cyberleninka.ru/article/v/utochnenie-k-statie-o-formalizatsii-protsessa-razrabotki-programmnogo-obespecheniya)
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: Galogen от 30 Июля 2019, 13:14:14
Карго-научная статья.
Я не такой большой математик, чтобы активно возражать, но начну с конца. Практически Вы обвиняете редакцию журнала "Математические структуры и моделирование" (http://msm.omsu.ru/RU/authors.html) в некомпетенции?
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: Galogen от 30 Июля 2019, 13:20:51
Использование нотации из непрерывной математики (lim) неуместно в дискретном случае, где к тому же всё конечно.
А почему Вы так считаете? Вот небольшая статья из Википедии (https://ru.wikipedia.org/wiki/%D0%9F%D1%80%D0%B5%D0%B4%D0%B5%D0%BB_%D1%87%D0%B8%D1%81%D0%BB%D0%BE%D0%B2%D0%BE%D0%B9_%D0%BF%D0%BE%D1%81%D0%BB%D0%B5%D0%B4%D0%BE%D0%B2%D0%B0%D1%82%D0%B5%D0%BB%D1%8C%D0%BD%D0%BE%D1%81%D1%82%D0%B8?fbclid=IwAR3dSAH2RDvcFKn0ihTpupOac5gybdfExRVb1PCAEOQGKAXdzMyB63i8ifo), как мне показалось, не согласна с Вашим утверждением.
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: [прилетело НЛО и...] от 30 Июля 2019, 14:11:21
Я сказало не больше, чем хотело. Чтобы утверждать что-либо о редакции, надо персонально знать её сотрудников и следить за их работой в течение какого-то времени. У меня такой возможности нет. С ru-вики спорить не готово. ВП:АИ, ВП:ПСР и всё такое. Исходя из уточнения можно сделать вывод, что автор настаивает на том, что у него недискретный бесконечный случай. Очень хорошо, пусть так и будет.
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: Galogen от 30 Июля 2019, 15:28:10
Я сказало не больше, чем хотело. Чтобы утверждать что-либо о редакции, надо персонально знать её сотрудников и следить за их работой в течение какого-то времени. У меня такой возможности нет. С ru-вики спорить не готово.
Редакция как я понимаю полагается на рецензентов, как она их выбирает я не знаю, плюс требует рекомендаций от минимум трех экспертов в этой области.
Вы предполагаете, что в данном случае присутствует сговор?

ВП:АИ, ВП:ПСР и всё такое.
Простите я не понял Вашего кода :) Можете дешифровать?

Исходя из уточнения можно сделать вывод, что автор настаивает на том, что у него недискретный бесконечный случай. Очень хорошо, пусть так и будет.
А Вы не путаете предел числовой последовательности, с пределом функции?
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: [прилетело НЛО и...] от 30 Июля 2019, 21:08:54
Я могу повторить (и продолжить повторять столько, сколько потребуется, чтобы донести нужную мысль), что моей оценке подлежит текст, а не его автор и не те, кто как-то работал с этим текстом (принимал, оценивал, рецензировал). Мне почти ничего неизвестно об этих людях. О тексте что-то известно. С ним можно ознакомиться и дать ему свою оценку. Попытки увода разговора к персоналиям я буду игнорить, ага.

Это вики-сокращения. Предлагаю покурить их в поисковике.)

Числовая последовательность бесконечна по определению. Числовая последовательность по определению состоит из вещественных (или комплексных) чисел. Слово "непрерывный" использовано как самый точный маркер, который я могу дать, того, чем область матана отличается от области дискры (в том запасе математики, который впихнули в меня в университете штата Марс на младших курсах).

Процессы ЖЦ ПО не подвластны матану, как я полагаю.
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: Galogen от 30 Июля 2019, 23:56:12
Я могу повторить (и продолжить повторять столько, сколько потребуется, чтобы донести нужную мысль), что моей оценке подлежит текст, а не его автор и не те, кто как-то работал с этим текстом (принимал, оценивал, рецензировал). Мне почти ничего неизвестно об этих людях. О тексте что-то известно. С ним можно ознакомиться и дать ему свою оценку. Попытки увода разговора к персоналиям я буду игнорить, ага.
Так и я не про личности, а про протокол.

Насчет строгости математических выводов, тут я пас. Не могу судить. Тут уже к автору или другим математикам.