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

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


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

---

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

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

RSL 4 RDBMS


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

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

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

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

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

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

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

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

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

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


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

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

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


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