Cтраница 1
Методы спецификации, используемые для абстракции данных / / Данные в языках программирования. [1]
Методы спецификации, используемые для абстракции данных. [2]
Все методы спецификаций в [14] разбиты на пять категорий. Основой такой классификации является специфика применяемого формального аппарата. [3]
При проектировании обработки экономической информации наибольшее значение из всего множества методов спецификации имеют методы спецификации требований к функционированию системы; методы спецификации системных параметров; методы спецификации функциональных требований, включающих в себя методы явной и неявной спецификации. [4]
При проектировании обработки экономической информации наибольшее значение из всего множества методов спецификации имеют методы спецификации требований к функционированию системы; методы спецификации системных параметров; методы спецификации функциональных требований, включающих в себя методы явной и неявной спецификации. [5]
При проектировании обработки экономической информации наибольшее значение из всего множества методов спецификации имеют методы спецификации требований к функционированию системы; методы спецификации системных параметров; методы спецификации функциональных требований, включающих в себя методы явной и неявной спецификации. [6]
При проектировании обработки экономической информации наибольшее значение из всего множества методов спецификации имеют методы спецификации требований к функционированию системы; методы спецификации системных параметров; методы спецификации функциональных требований, включающих в себя методы явной и неявной спецификации. [7]
В заключение следует еще раз отметить, что протокольная индустрия является очень молодой, но бурно развивающейся областью. Хотя методы спецификаций, основанные на языках ESTELLE и LOTOS, являются наиболее известными, включившими в себя значительное обобщение опыта, сейчас насчитывается более сотни других методов. Это говорит о том, что многие вопросы, стоящие в области формального описания и анализа протокольных систем, ждут еще своего решения. Это же можно отнести и к описанным в книге методам, которые также продолжают развиваться. Так, в настоящее время ведутся эксперименты по объединению языка LOTOS с временной логикой, языка ESTELLE - с абстрактными типами данных, а в язык ОСА встраиваются средства определения сервисов. [8]
Опыт разработки [2-12] и анализ методов спецификаций [14] показывает, что невозможно подобрать абстракции, которые одинаково хорошо описывали бы все эти классы. В частности, во всех методах спецификации, рассматриваемых в [14], полностью отсутствуют средства описания требований к исполнению гобра-ботки ошибочных ситуаций / описания внешних требований. [9]
Книга начинается с изложения основ колориметрии и обзора современных публикаций по теории цветового зрения. Далее дается обзор современных методов и аппаратуры колориметрии, а также подробно излагаются методы спецификации окрашенных образцов по эталонам разнообразных атласов цветов. В главе, посвященной теории окраски различных материалов, читатель знакомится с теорией Кубелки - Мунка, ее модификациями и формулами расчета смесей красок, отвечающих тем или иным требованиям колориметрии. Подробное изложение методик расчета сопровождается численными примерами, что представляет не только научный, но и практический интерес. [10]
В этой работе он показал, как вероятностный подход к формулированию экономических теорий делает возможным использование статистических методов для получения строгих выводов относительно основных взаимосвязей на основе случайной выборки эмпирических данных. Подход позволяет строить экономет-рические модели, осуществлять их проверку и использовать для прогнозирования. Его диссертация также продвинула вперед решение проблемы взаимозависимости экономических переменных, им были предложены методы спецификации, идентификации и оценки отношений между экономическими переменными при наличии взаимозависимости. Его методы были приняты и развиты другими специалистами в области эконометрии. [11]