ReSQL.ru
     
powered by simpleCommunicator - 2.0.61     © 2026 Programmizd 02
Мобильная версия    Контакт    Правила    FAQ    Помощь
Целевая тема:
Создать новую тему:
Автор:
Закрыть
Цитировать
Доб. в избранное | Игнор. тему | Прикреп. тему | Пометить прочит. / непрочит. | Фильтр
Форумы / Программирование [игнор отключен] [закрыт для гостей] / На сколько развито программирование из спецификации?
15 сообщений из 15, страница 1 из 1
На сколько развито программирование из спецификации?
    #36852490
Фотография Петросъян
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Петросъян
Участник
не знаю как назвать, ну чтобы сразу аналитики писали кудато что будет генерировать код и при нужности туже спецификацию, тех проект еще чтото, а прогеры только делали какието алгоритмы и нестандартные вещи? это видимо что то типа сред где накидываешь сущности а она генерит код, но вот только может ли она (среда) еще генерить спецификацию, возможно тесты? К чему спрашиваю? вижу что на достаточно большом проекте (спецификация 1,5 тыщи страниц) очень много работы фактически дублируется - спецификация, затем тех проект, затем код - какую то часть (подчас ну очень значимую) можно написать один наз и на этой основе все эти бумажки (если они так уж нужны) тоже сгенерить. Так как корень в аналитиках, то фактически они половину напишут (с кодом в итоге) а уже какую то другую часть (визуальное представление, сложные алгоритмы, еще чтото) прогеры. При этом неплохо пользоваться технологиями натипа LinqToSql (чтобы сразу и база писалась)
...
Рейтинг: 0 / 0
17.09.2010, 15:45
| Ответить | Цитировать | Написать  
На сколько развито программирование из спецификации?
    #36852564
Edd.Dragon
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Edd.Dragon
Участник
Как-то все туманно описали.

Я так понимаю, архитектура и ТЗ формулируются перед началом работы. ТЗ конечно же может меняться. А дальше проектирование, документирование, написание спецификации, тестирование и кодирование - непрерывный процесс. При чем программист во всем этом принимает участие. Вы собрались писать функции под ранее утвержденный проект модуля? Отлично, делаете коментарии и автоматом сгенерите DoxyGen-ом документацию на них, но это не спецификация. Теститрование - как можно автоматом нагенерить толковый набор тестов, тут голова нужна. Все варианты не протестировать, нужно уметь подобрать набор тестов, охватывающий максимальное количество некомфортных и опасных условий.

А пложение тонн документов - это действительно проблема. Одно из решений ее - это ведение документации в удобном электронном виде с общим доступом, распределением ролей на доступ и правку, удобным браузером как самих доков и перекрестных ссылок между ними, так и изменений в них. Ну и конечно выработка четкой методологии изменения ТЗ и спецификаций при изменении в коде. Автоматика в основном применяется для генерации документации по коду и еще используют генерацию скелета кода из например UML-диаграмм, представляющих проект системы/модуля/etc
...
Рейтинг: 0 / 0
17.09.2010, 16:16
| Ответить | Цитировать | Написать  
На сколько развито программирование из спецификации?
    #36852573
kolchanov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
kolchanov
Участник
То что описывается мне больше всего напоминает громоздкие CASE средства 90-x годов.
Не прижились они, по разным причинам.

Мне кажется более продуктивным вариантом идеи программирования по спецификации является BDD подход (http://en.wikipedia.org/wiki/Behavior_Driven_Development) когда спецификации оформлены в виде проверяемых требований, и один из этапов тестирование заключается в формальном соответствии этих требований.
К примеру, http://code.google.com/p/specs/wiki/LiterateSpecifications.
...
Рейтинг: 0 / 0
17.09.2010, 16:19
| Ответить | Цитировать | Написать  
На сколько развито программирование из спецификации?
    #36852595
Фотография Петросъян
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Петросъян
Участник
Edd.Dragon,
про тестирование - есть вроде функциональное тестирование, я ж неговорю что вообще все она будет генерить, но большую часть
...
Рейтинг: 0 / 0
17.09.2010, 16:25
| Ответить | Цитировать | Написать  
На сколько развито программирование из спецификации?
    #36852601
Фотография Петросъян
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Петросъян
Участник
kolchanovТо что описывается мне больше всего напоминает громоздкие CASE средства 90-x годов.
Не прижились они, по разным причинам.

Мне кажется более продуктивным вариантом идеи программирования по спецификации является BDD подход (http://en.wikipedia.org/wiki/Behavior_Driven_Development) когда спецификации оформлены в виде проверяемых требований, и один из этапов тестирование заключается в формальном соответствии этих требований.
К примеру, http://code.google.com/p/specs/wiki/LiterateSpecifications.
в том то тогда и вопрос почему не прижились. На английском читать не буду.
...
Рейтинг: 0 / 0
17.09.2010, 16:26
| Ответить | Цитировать | Написать  
На сколько развито программирование из спецификации?
    #36853238
Фотография tchingiz
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
tchingizПривилегированный пользователь
Участник
авторэто видимо что то типа сред где накидываешь сущности а она генерит код, но вот только может ли она (среда) еще генерить спецификацию, возможно тесты?
это, видимо, чтото типа математики

http://www.google.ca/#hl=en&source=hp&q=z+specification+language&aq=0&aqi=g6g-m4&aql=&oq=Z+specification&gs_rfai=&fp=7107a4e6866ad609

http://www.google.ca/#hl=en&q=%D0%B2%D0%B5%D0%BD%D1%81%D0%BA%D0%B8%D0%B9+%D0%BC%D0%B5%D1%82%D0%BE%D0%B4+%D1%80%D0%B0%D0%B7%D1%80%D0%B0%D0%B1%D0%BE%D1%82%D0%BA%D0%B8&aq=f&aqi=&aql=&oq=&gs_rfai=&fp=7107a4e6866ad609

http://www.google.ca/#hl=en&q=%D0%B0%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%BE%D0%B5+%D0%BF%D1%80%D0%BE%D0%B5%D0%BA%D1%82%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5+%D0%BA%D0%BB%D0%B0%D1%81%D1%81%D0%B0&aq=f&aqi=&aql=&oq=&gs_rfai=&fp=7107a4e6866ad609
...
Рейтинг: 0 / 0
17.09.2010, 21:45
| Ответить | Цитировать | Написать  
На сколько развито программирование из спецификации?
    #36853242
Фотография tchingiz
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
tchingizПривилегированный пользователь
Участник
спецификации не могут генерироваться по определению.
Они из головы берутся.


авторвижу что на достаточно большом проекте (спецификация 1,5 тыщи страниц) очень много работы фактически дублируется - спецификация, затем тех проект, затем код - какую то часть (подчас ну очень значимую) можно написать один наз и
а это правда, назначение программы должно быть во всех документах.


По госту различные документы
можно объединять в один, давая название одного из них.
Другой путь собирать документ из кусочков (как исполняемый код) - нормальным
документатором вроде LaTex-а, а не идиотской визивиг
...
Рейтинг: 0 / 0
17.09.2010, 21:49
| Ответить | Цитировать | Написать  
На сколько развито программирование из спецификации?
    #36853475
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
Петросъян...
В данном случае само ТЗ - вторично.

Первичным документом для него скорее всего будет некая централизованная проектная спецификация написанная на неких псевдо-языках подмножества DSL, XML, SDL e.t.c. (её пишут аналитики и кодеры одной рабочей группой). Или в крайнем случае небольшие текстовые описания property-bag или просто списки properties в виде россыпи файлов.

ТЗ формируется как трансформация псевдо-языков в текст с форматированием и объединяется со словесным описанием которое уже заранее готово.

Чем это сделать - большой вопрос. +1 к посту Чингиза. Хотя я не знаком с латексом но возможно это то что нужно.
...
Рейтинг: 0 / 0
18.09.2010, 10:54
| Ответить | Цитировать | Написать  
На сколько развито программирование из спецификации?
    #36854933
_мод
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
_мод
Гость
Петросъянчтобы сразу аналитики писали кудато что будет генерировать код и при нужности туже спецификацию
Для генерации кода нужна полностью формализованная спецификация, написанная на каком-нибудь ЯП. А это и есть уже готовая программа. Так что вопрос упирается в ЯП.
...
Рейтинг: 0 / 0
20.09.2010, 11:12
| Ответить | Цитировать | Написать  
На сколько развито программирование из спецификации?
    #36855023
Фотография Петросъян
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Петросъян
Участник
нет
...
Рейтинг: 0 / 0
20.09.2010, 11:46
| Ответить | Цитировать | Написать  
На сколько развито программирование из спецификации?
    #36856183
antares0
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
antares0
Участник
maytonПетросъян...
В данном случае само ТЗ - вторично.

Первичным документом для него скорее всего будет некая централизованная проектная спецификация написанная на неких псевдо-языках подмножества DSL, XML, SDL e.t.c.

ТЗ формируется как трансформация псевдо-языков в текст с форматированием и объединяется со словесным описанием которое уже заранее готово.

Чем это сделать - большой вопрос. +1 к посту Чингиза. Хотя я не знаком с латексом но возможно это то что нужно.
Тех конечноо тьюринг-полный ,но он и производный от него латех с пакетами больше для полиграфии, книгоделания и презентаций. Хотя есть Literate_programming на этом принципе.
Гораздо интереснее было бы посмотреть на псевдо-язык пригодный для чего-нибудь менее банального чем API по шаблону.
...
Рейтинг: 0 / 0
20.09.2010, 19:17
| Ответить | Цитировать | Написать  
На сколько развито программирование из спецификации?
    #36856185
Фотография Петросъян
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Петросъян
Участник
в больших то фирмах на ошень больших проектах как занимаются?
...
Рейтинг: 0 / 0
20.09.2010, 19:19
| Ответить | Цитировать | Написать  
На сколько развито программирование из спецификации?
    #36856205
antares0
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
antares0
Участник
Петросъян аналитики писали кудато что будет генерировать код и при нужности туже спецификацию, тех проект еще чтото, а прогеры только делали какието алгоритмы и нестандартные вещи? это видимо что то типа сред где накидываешь сущности а она генерит код, но вот только может ли она (среда) еще генерить спецификацию, возможно тесты?
...
какую то часть (подчас ну очень значимую) можно написать один наз и на этой основе все эти бумажки (если они так уж нужны) тоже сгенерить. Так как корень в аналитиках, то фактически они половину напишут (с кодом в итоге) а уже какую то другую часть (визуальное представление, сложные алгоритмы, еще чтото) прогеры. При этом неплохо пользоваться технологиями натипа LinqToSql (чтобы сразу и база писалась)
Гм. генерация системы по онтологической модели. Но современные enterprise языки не способствуют таким фокусам. В отношении документации есть еще проблема человекочитабельности. Если она не стоит то можно, почему нет.
Вобще тут затык в описании и дальнейшей поддержки в актуальном состоянии модели.
Продвинутые системы бизнес-процесного управления или средства ДБ-проектирования стараются такое уметь.
...
Рейтинг: 0 / 0
20.09.2010, 19:42
| Ответить | Цитировать | Написать  
На сколько развито программирование из спецификации?
    #36856222
antares0
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
antares0
Участник
Петросъянв больших то фирмах на ошень больших проектах как занимаются?
Управление треббованиями как дисциплина с собственным софтом.
Или очень заточеный САПР.
Или очень много человеков :)

Ну про генерацию на основе модели я уже говорил.
...
Рейтинг: 0 / 0
20.09.2010, 19:56
| Ответить | Цитировать | Написать  
На сколько развито программирование из спецификации?
    #36871357
Фотография tchingiz
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
tchingizПривилегированный пользователь
Участник
по поводу спецификаций.

есть группа которая rsl занимается. лекции с его использованием читают в мгу
ftp://ftp.iist.unu.edu/pub/RAISE/method_book/
есть группа, которая z толкает.

http://en.wikipedia.org/wiki/Z_notation

недавно появился (в смысле в глаз попал) event-b
http://www.event-b.org/

ну и Мейер со своим дизайном по контракту в ейфеле

курс мгу по rsl
http://sp.cmc.msu.ru/courses/fmsp/
...
Рейтинг: 0 / 0
29.09.2010, 02:41
| Ответить | Цитировать | Написать  
15 сообщений из 15, страница 1 из 1
Форумы / Программирование [игнор отключен] [закрыт для гостей] / На сколько развито программирование из спецификации?
Найденые пользователи ...
Разблокировать пользователей ...
Читали тему (0):
Читали форум (0):
Пользователи онлайн (0):
Польз. соглашение   Полит. конфиден.  
NoSQL.ru       Кролег: Проекты, Новости, Чат       РЕД ФОРУМ       Фотоальбом: Участники, Встречи
Закрыть
start [/forum/topic.php?fid=16&msg=36853238&tid=1343430]:
 0ms
get settings:
 9ms
get forum list:
 17ms
check forum access:
 3ms
check topic access:
 3ms
track hit:
 182ms
get topic data:
 9ms
get forum data:
 2ms
get page messages:
 52ms
get tp. blocked users:
 1ms
others: 334ms
total:  612ms
созд. / загр.: 612ms
x
x
Закрыть


Просмотр
0 / 0
Close
Debug Console [Select Text]