Спецификация - задача
Cтраница 2
Однако уже первый опыт работы с системами управления базами данных в автоматизированных информационных системах показал, что для внедрения современной информационной технологии необходимо значительное расширение программного окружения СУБД. Это связано с тем, что спецификация задач и запросов на обработку данных при создании информационных систем, ориентированных на массовых пользователей различной профессиональной ориентации, не могут быть выполнены с применением только алгоритмических языков. [16]
X о а р а, где спецификация задачи задается в виде двух формул исчисления предикатов - пред - и постусловий ( см. Динамическая логика), а аксиомами являются схемы пред - и постусловий, связываемых теми или иными конструкциями языка программирования. [17]
 |
Структура логических связей в системе SOPHIE ( [ Clancey, 1985 ]. [18] |
Нужно отметить, что предложенная Кленси методика анализа фундаментальных аспектов решения проблем с помощью технологии экспертных систем не является единственной. Родовая задача представляет собой, по сути, спецификацию задачи, включающую описание различных форм знаний о предметной области и их организации для выполнения задачи вручную и набор режимов выполнения задачи. [19]
Вычислительная программа CONDUCT состоит из двух частей: большой неизменяемой части, общей для всех приложений, и части, зависящей от конкретной задачи и состоящей из подпрограммы, которую должен написать пользователь для каждого приложения. Таким образом, вместо простого представления входных данных пользователь пишет спецификацию задачи в специальной подпрограмме. Это делает программу чрезвычайно гибкой и широко применимой, и, что более важно, студенты оказываются вовлеченными в общий процесс решения физических задач. [20]
В языке Ада задачи могут выполняться параллельно. Каждая задача может предоставить другим задачам некоторый набор ресурсов при помощи спецификации задачи, независимой от реализации. Параллельное выполнение задач предусмотрено для обеспечения функционирования архитектур с общей памятью, а также архитектур с распределенной обработкой, в которых обмен информацией осуществляется путем передачи сообщений. [21]
В предыдущих обсуждениях мы изложили начальные сведения, необходимые для понимания структуры и семантики задач, создаваемых на языке Ада. В этом приложении дается написанная на языке Ада задача Portfolio Server и части спецификации задачи Roster Server и пакета Membership. [22]
Еще нерешенной проблемой изложения математической теории, завершающейся алгоритмами, является отсутствие доказательной логической связи между теоретическим материалом и алгоритмами. Доказательное программирование в его логическом и трансформационном подходах предлагает те или иные процедуры систематического извлечения алгоритма из спецификации задачи, использующие отношения и факты соответствующей теории, однако мы еще далеки от того, чтобы излагать эти процедуры в стандартном и непринужденном стиле, вошедшем в обыденную научно-литературную практику. Акту-альность этой проблемы постоянно нарастает, особенно потому, что часто практическая реализация алгоритмов требует их определенной модификации, которая не должна снижать степень математической достоверности окончательного варианта программы. [23]
Пользуемся мы логикой или любой другой формальной системой программирования, всегда желательно иметь какие-либо практические средства, позволяющие решать, является ли каждая конкретная программа правильной. При широком понимании программа считается правильной, если в результате ее исполнения получаются правильные решения рассматриваемой задачи. Правильность вычисленных решений связана с некоторой спецификацией задачи, представленной независимо от программы. Разумеется, предполагается также, что интерпретатор программы сам правильно исполняется на машине. [24]
Бэкуса Может ли программирование освободиться от бремени неймановского стиля. Функциональный стиль и его алгебра программ ( 1978 г.), в которой эта парадигма была четко сформулирована и проведена, начиная со спецификаций задачи, логического анализа ее разрешимости и получения программы как продукта такого анализа. В настоящее время техника функционального программирования получает широкое распространение, и важность ее как средства, позволяющего продвинуться в развитии языков самого высокого уровня, будет возрастать. Программы на таких языках могут быть на порядок короче, чем программы для решения тех же самых вычислительных задач, но написанных на традиционных языках. [25]
По способу влияния действия на реакцию выделяют: 1) свободный ( неограниченный) выбор, т.е. действие не накладывает ограничений на вид реакции; 2) ограниченный выбор, т.е. действие ограничивает разнообразие реакций. Ограничения на возможные реакции могут быть заданы либо путем указания множества выбора ( как в меню), либо заданием жесткого формата, который должен быть соблюден в реакции. Например, меню и синтаксически правильная команда вызывают однозначную спецификацию задачи системой, а высказывания на ограниченном естественном языке не гарантируют однозначной спецификации. [26]
Страницы: 1 2