ReSQL.ru
     
powered by simpleCommunicator - 2.0.59     © 2025 Programmizd 02
Мобильная версия    Контакт    Правила    FAQ    Помощь
Целевая тема:
Создать новую тему:
Автор:
Закрыть
Цитировать
Доб. в избранное | Игнор. тему | Прикреп. тему | Пометить прочит. / непрочит. | Фильтр
Форумы / Программирование [игнор отключен] [закрыт для гостей] / литературное программирование: +
10 сообщений из 10, страница 1 из 1
литературное программирование: +
    #32476332
Фотография tchingiz
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
tchingizПривилегированный пользователь
Участник
ИСПОЛЬЗОВАНИЕ ЯЗЫКА ФОРМАЛЬНЫХ
СПЕЦИФИКАЦИЙ RAISE ДЛЯ ПРОЕКТИРОВАНИЯ ТЕСТОВЫХ НАБОРОВ ДАННЫХ

Статья содержит описание попытки использовать идеи Donald
E. Knuth и Г.Майерса о минимизации усилий программиста при
разработке и сопровождения программы на протяжении ее жизненного
цикла.


---
хотя его уже нет с нами, ;))))))))
хочется выразить свою признательность "Chicago" -
разговоры
с ним были предпоследней каплей для инсталляции MikTex-а

---

курс лекций в МГУ

некоторые ресурсы по теме

RSL 4 RDBMS


картина круговорот бит в природе
...
Рейтинг: 0 / 0
10.04.2004, 08:35
| Ответить | Цитировать | Написать  
литературное программирование: +
    #32524492
Фотография Купер
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Купер
Участник
чингиз,

а не мог бы ты всё-таки... для особо одаренных и своими словами...

РАССКАЗАТЬ ОБ ЧЁМ ЗДЕСЬ ИДЕТ РЕЧЧЬ.
...
Рейтинг: 0 / 0
19.05.2004, 17:03
| Ответить | Цитировать | Написать  
литературное программирование: +
    #32524927
Фотография Купер
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Купер
Участник
чингиз;

Обнаружена ошибка на ссылке про пример с GSAU:

3. шланг насоса (nozzle);

Ответственно заявляю и безо всякого словаря: nozzle - это наконечник
(в виде сопла), насаживаемый на шланг; сам шланг - это скорее hose.

Применяя modus ponens, приходим к выводу: всё там брехня, а ты - редиска.

===============================
ratty-huetty, наиредчайший.
...
Рейтинг: 0 / 0
19.05.2004, 22:10
| Ответить | Цитировать | Написать  
литературное программирование: +
    #32527210
Фотография tchingiz
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
tchingizПривилегированный пользователь
Участник
2 RT
о использовании латеха
...
Рейтинг: 0 / 0
21.05.2004, 00:18
| Ответить | Цитировать | Написать  
литературное программирование: +
    #32529086
Фотография Купер
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Купер
Участник
Ну ваще чингиз. уважаю... прикинь, до чего уже там дописались:

Сейчас Чингиз судорожно листает учебники, чувствуя, что сказал
очередной ляп. Не стоит обращать внимание на его ляпы. Лучше
попросите представить протокол работы его программы на конкретных
входных данных (теоремах). Может тогда он что-нибудь поймёт.
=================================
Квесчан: а кто же я в таком случае?
...
Рейтинг: 0 / 0
21.05.2004, 22:44
| Ответить | Цитировать | Написать  
литературное программирование: +
    #32529149
Фотография Купер
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Купер
Участник
чингиз;
истинные перлы! мерси за доставленное удовольствие:
я от него уже начинаю ждать программу, которая докажет
что паралельные прямые не пересекаются
> Что-то не заметил я помидоров.
как глухарь на токовище.
кстати меня больше всего интересует психологический аспект того треда.
Как так: вроде же все там не дураки и подкованы по высшему классу, а
спорят однако.
Впрочем я разгадку знаю: понятие "доказательства" принадлежит только
человеческой психологии (i.e., "the endorphins") и ничему больше. Вот тока
не надо про непадающие вниз самолеты и нерушающиеся мосты. Проходили.
...
Рейтинг: 0 / 0
22.05.2004, 01:51
| Ответить | Цитировать | Написать  
литературное программирование: +
    #32529159
Фотография tchingiz
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
tchingizПривилегированный пользователь
Участник
был такой проект болтливаю луиза.
или ктото там еще.
составляли программу, которая имитировала разговор человека,
садили ее и человека за разные компы. меряли за сколькол чел догадается
с кем он разговаривает.
это было лет 25 назад.
техника шагнула вперед.
аристарх - препод.
я уже второй день подозреваю, что они тестируют свою прогу на живых людях.

процентов на 70 текст выдает программа.
писать столько ахинеи, сколько они пишут не может не только Репликант,
а даже полдюжины девиц.


а, вообще, я там разговариваю не с глухарями.
мне было интересно вспомнить свои занятия прологом и подумать над разницей между ним и обычными языками.
...
Рейтинг: 0 / 0
22.05.2004, 02:29
| Ответить | Цитировать | Написать  
литературное программирование: +
    #32529488
Фотография Купер
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Купер
Участник
чингиз,

а что ты думаешь... вполне могет быть... вполне. элиза - луиза...
...
Рейтинг: 0 / 0
22.05.2004, 22:22
| Ответить | Цитировать | Написать  
литературное программирование: +
    #32529555
Фотография чингиз
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
чингиз
Участник
с++ -> html

пысы.
сегодня мне уже кажется, что я слишком хорошо о них думал.
на предмет тестирования проги. это просто такая запущенная форма.
...
Рейтинг: 0 / 0
23.05.2004, 09:21
| Ответить | Цитировать | Написать  
литературное программирование: +
    #32539698
Фотография tchingiz
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
tchingizПривилегированный пользователь
Участник
вот эта штука на которую я дал ссылку C++ -> html
doxygen
поддерживает С/С++/С#, java, javascript, php, idl, может выводить в хтмл,
юникс ман пайджес, латех, pdf, микросовфтовский rtf.
строит схемы зависимостей обьектов.
...
Рейтинг: 0 / 0
28.05.2004, 23:33
| Ответить | Цитировать | Написать  
10 сообщений из 10, страница 1 из 1
Форумы / Программирование [игнор отключен] [закрыт для гостей] / литературное программирование: +
Найденые пользователи ...
Разблокировать пользователей ...
Читали тему (0):
Читали форум (0):
Пользователи онлайн (0):
x
x
Закрыть


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