Перейти к содержимому

DDD1978

DDD1978

Регистрация: 27.03.2006, 18:00
Offline Активность: 28.03.2006, 17:47
-----

В теме: Кто нибудь пользуется C Sharp

27.03.2006, 18:38:30

а нафига в магазин бегаь когда можно по инету скачать. Короче дело так наверное все знают. Решил его подучить и столкнулся с такой проблемкой. Насчет корректности методов.
вот определение
Пусть P(x,z) - программа P с входными аргументами x и выходными z. Пусть Q(y) - некоторое логическое условие (предикат) над переменными программы y. Язык для записи предикатов Q(y) формализовать не будем. Отметим только, что он может быть шире языка, на котором записываются условия в программах, и включать, например, кванторы. Предусловием программы P(x,z) будем называть предикат Pre(x), заданный на входах программы. Постусловием программы P(x,z) будем называть предикат Post(x,z), связывающий входы и выходы программы. Для простоты будем полагать, что программа P не изменяет своих входов x в процессе своей работы.
в своих функциях я получаю инвариант функции создаю дополниельную функцию которая проинициализирует все и проверит значение на выходе вот на входе как проверить?
ну операторы ref и оut ведут себя ужас мля такого извращения не видел или может я как то не так использую

В теме: MS Live Communication Server 2005

27.03.2006, 18:30:57

Думаю Жаббер намного лучше будет работать я сам и с тем и с другим работал жаба работает намного лучше а пользователей можно брать с актив директори я как то делал в пору админства на С++ прогу написал которую вытаскивала пользователей из актив директори и врубала на жабе

В теме: freebsd.kz

27.03.2006, 18:08:13

да нет почему у нас везде FreeBSD стоят

Размещение рекламы на сайте     Предложения о сотрудничестве     Служба поддержки пользователей

© 2011-2022 vse.kz. При любом использовании материалов Форума ссылка на vse.kz обязательна.