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